幂零群p-群若干性质的计算机证明的中期报告

幂零群p-群若干性质的计算机证明的中期报告自幂零群和p-群的概念出现以来，人们一直在探究它们的性质。本次计算机证明的目的是进一步验证幂零群和p-群的若干性质，以加深对它们的理解。我们首先定义幂零群和p