有限幺半群的构造(Ⅳ)

本文令[a]表示一个实数a的整数部分,且令{a}=a-[a]。令μ和φ分别表示Mbius函数和Euler函数.令|GA|表示群G的子群A的指数。