2.4 可逆函数群中的积性函数子群