Strop ëd përmutassion

strop ëd përmutassion ansima a n'ansem a l'é në strop G dont j'element a son ëd përmutassion d' e l'operassion a l'é la composission ëd fonsion. La cardinalità d'X a l'é ciamà gré ëd G e j'element d'X a son soens ciamà litre. La colession ëd tute le përmutassion d' a l'é soens denotà .
Dagià che la composission ëd fonsion a l'é associativa, che l'identità ansima a a l'é na përmutassion e che l'anversa ëd minca përmutassion a l'é na përmutassion, a arzulta che a l'é në strop, ciamà strop simétrich dzora X, e che jë strop ëd përmutassion ansima a a son tuti ij sot-ëstrop ëd . S'a-i son almanch 3 litre, Sym(X) a l'é nen abelian.
An efet, al concet dë strop ëd përmutassion a l'é d'aotut general trames a jë strop, për via dël teorema sì da press.

Teorema. Minca strop a l'é isomòrfich a në strop ëd përmutassion ansima a .
Dimostrassion. La fonsion definìa da per tuti ij a l'é n'isomorfism tra e soa plancia.

Minca strop ëd përmutassion G a agiss an sl'ansem ëd soe litre X con n'assion definìa da gx=g(x).

Strop ëd sostitussion

modìfica

Cand X a l'é n'ansem finì con n element, antlora Sym(X) a l'ha n! element e le përmutassion d'X a son ëdcò ciamà sostitussion. Ël sot-ansem dle sostitussion par a l'ha element e a l'é 'n sot-ëstrop normal ëd Sym(X); a l'é ciamà strop alternà.

Isomorfism dë strop ëd përmutassion

modìfica

Si G a l'é në strop ëd përmutassion ansima a X e H a l'é në strop ëd përmutassion ansima a Y, n'isomorfism an tra la cobia (X,G) e la cobia (Y,H) a l'é na cobia (T,U) anté che a l'é na bijession, a l'é n'isomorfism dë strop e për minca .

Si (X,G) e (Y,H) a son isomòrfich, antlora jë strop G e H a son isomòrfich e j'ansem X e Y a l'han la midema cardinalità, ma G e H a peulo esse dë strop isomòrfich e X e Y a peulo avèj la midema cardinalità sensa che (X,G) e (Y,H) a sio isòmorfich tanme strop ëd përmutassion.