Төркөм (математика): өлгөләр араһындағы айырма

Эстәлек юйылған Эстәлек өҫтәлгән
30 юл:
* ''[[Аҫтөркөм]]'' — <math>G</math> төркөмөнөң, <math>G</math>-ла билдәләнгән операцияға ҡарата төркөм булып торған <math>H</math> аҫкүмәклеге ул.
* <math>(G,*)</math> ''төркөмөнөң тәртибе'' — <math>G</math> [[күмәклек ҡеүәте|ҡеүәте]] (йәғни уның элементтары һаны).
** Әгәр <math>G</math> күмәклеге сикле булһа, ул саҡта төркөм [[Сикле төркөм|''сиклнсикле'']] тип атала.
* ''Төркөмдөң гомоморфизмдары'' — ул төркөм структураһын һаҡлаусы төркөмдәрҙең [[Сағылыш|сағылыштары]]. Йәғни төркөмдәрҙең <math>f \colon (G,*) \to (H,\times)</math> сағылышы [[Гомоморфизм|гомоморфизм]] тип атала, әгәр <math>f(a * b) = f(a) \times f(b)</math> шартын ҡәнәғәтләндерһә.
* Әгәр <math>f(g(a)) = a</math> һәм <math>g(f(b))=b</math>, бында <math>b\in G</math> һәм <math>a\in H</math> үтәлерлек <math>f \colon (G,*) \to (H,\times)</math> төркөмдәр гомоморфизмы һәм <math>g\colon