字的有效性与群的幂零性