关于特征标π-理论的群理论性质