Әгәр G {\displaystyle G} төркөмөнән S ( M ) {\displaystyle S(M)} төркөмөнә M {\displaystyle M} күмәклегенең бөтә алмаштырмаларының Φ : G → S ( M ) {\displaystyle \Phi :G\to S(M)} гомоморфизмы бирелһә, G {\displaystyle G} төркөмө M {\displaystyle M} күмәклегендә ғәмәлдә тип әйтәләр. Ҡыҫҡалыҡ өсөн ( Φ ( g ) ) ( m ) {\displaystyle (\Phi (g))(m)} йыш ҡына g m {\displaystyle gm} йәки g . m {\displaystyle g.m} тип яҙалар.