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