һәм -ның -модулдәренең гомоморфизмы йәки -гомоморфизмы тип,  өҫтәлмә шарты үтәлгән  төркөм гомоморфизмы атала. Бөтә шундай гомоморфизмдар күмәклеген  аша тамғалайҙар. Был күмәклектә, 0,  һәм  түбәндәге тигеҙлектәр менән билдәләп, Абель төркөмөнөң структураһын индерергә була