Como justificación del término "nilpotente" observemos la siguiente propiedad de los elementos de un grupo "G" nilpotente: sea "g" en "G" y definimos la función "f" : "G" → "G" dada por "f"("x") = ["x","g"].