on::::定义.首先先定义群"G"的降中央列，其为一系列的群"G" = "A"、"A"、"A"、...、"A"，其中每个"A" = ["A", "G"]为所有由"A"中的"x"及"G"中的"y"所算出的所有交换子["x","y"]所产生出来的"G"的子群。因此，"A"=["G","G"]="G"为"G"的导群，而"A" = ["G", "G"]，以此类推。若"G"为可换的，则["G","G"] = "E"，即为其平凡子群。将此一概念延伸，则可定义一个群"G"为幂零的，若其存在一自然数"n"使得"A"