Vai al contenuto

Strop

Da Wikipedia.
Vos an lenga piemontèisa
Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì.
L'ansema ëd tute le posission possìbij dël Cubo 'd Rubik a forma në strop, ciamà strop dël Cubo 'd Rubik

strop a son n'esempi dë strutura algébrica. As trata d'un-a dle nossion pì amportante ant la matemàtica, dzortut ant l'àlgebra, e a l'é motobin rica d'aplicassion, për esempi ant la fìsica e ant la chìmica.

Ël nòm a ven dal fransèis groupe: a l'é 'l nòm dovrà da Galois, che dël 1832 a l'é ancorzusse dl'amportansa dë studié ëd fasson sistemàtica la strutura general dle përmutassion dle rèis dj'equassion polinomiaj. Na definission formal astrata dë strop a l'é stàita smonùa dël 1854 da Arthur Cayley; na codificassion dla teorìa djë strop as treuva ant ël Traité des substitutions ëd Camille Jordan dël 1870.

La definission dë strop astrat a ven da E.H. Moore.
strop a l'é un monòid anté che minca element a l'ha n'anvers, visadì a l'é n'ansem nen veuid con n'operassion binaria ch'a l'ha coste proprietà:

  • l'operassion a l'é associativa: ;
  • a-i é n'element nèutr, visadì n'element con la proprietà che për minca element ;
  • për minca element an a-i é n'anvers, visadì n'element ëd , denotà , con la proprietà che .

S'a-i é gnun privo ëd confondse, soens ël sign dl'operassion a l'é sotantendù e a së scriv mach ab pitòst che .

Dj'element a,b a son ciamà përmutàbij cand ab=ba. Se an në strop G a-i val la proprietà che për tuti j', G as dis strop comutativ o abelian. Soens jë strop abelian a së scrivo an notassion aditiva (e a son ciamà mòdoj).

Në strop a peul avèj na quantità finìa o infinìa d'element. Ël nùmer d'element ëd në strop finì a l'é ciamà órdin ëd lë strop.

, , , ,, , a son dë strop abelian.

a l'é në strop, nen abelian si n>1. Lë strop ëd përmutassion su n'ansem con pì che n'element a l'é nen abelian.

N'esempi amportant dë strop a l'é l'ansem dle simetrìe ëd na figura geométrica, con l'operassion ëd composission.

D'àutri esempi anteressant dë strop as ancontro an ëstudiand la strutura dij cristaj. Ant un cristal, j'àtom ch'a lo formo a son piassà an configurassion regolar, le reitin-e cristalin-e, ch'as arpeto ëd fasson periòdica ant lë spassi: le simetrìe ëd na reitin-a cristalin-a a formo në strop, lë strop cristalogràfich ëd la reitin-a.
La classificassion djë strop cristalogràfich a përmet d'oten-e na classificassion sempia e coerenta dla gran quantità dij cristaj ch'a-i son an natura.

Prime conseguense dla definission

[modìfica | modifiché la sorgiss]

Da la definission dë strop a-i ven-o vàire proprietà elementar.

Proprieta. An në strop minca element a l'ha mach n'anvers.
Dimostrassion. Si a e b a son tuti doi anvers ëd c, a-i ven che a=a(cb)=(ac)b=b.

J'assiòma ëd definission ëd në strop smonù dëdzora a son nen ij pì conòmich possìbij.

Proprietà. Na strutura algébrica G dotà ëd n'operassion assossiativa a l'é në strop s'a l'ha n'element nèutr u a snistra e minca a l'ha n'anvers a snistra a' rëspet a u. L'istess për le proprietà a drita.
Dimostrassion. Da a'a=u a-i ven a'au=a'a. Da sì, , dont uau=ua e au=u, ch'a veul dì che u a l'é element nèutr ëdcò a drita. Apress, a'aa'=ua'=a' e , visadì aa'=u e a' a l'é ëdcò anvers d'a a drita.

Proprietà. .
Dimostrassion. .

Ant jë strop a valo le proprietà dë scancelassion.

Proprietà. . L'istess për la scancelassion a drita.
Dimostrassion. .

An dzorpì, an në strop j'equassion linear ax=b e ya=b a l'han tavòta n'ùnica solussion: e . Da sòn a-i ven la proprietà sì da press.

Proprietà. Fissà , le traslassion snistra e drita a son ëd bijession .

Pijà n'element a an në strop G as peulo definisse soe potense antreghe pr'andussion:

,
,
.

A-i na ven antlora, sempe për andussion, che

,
.

Donca, doe potense d'un midem element a son sempe përmutàbij: .

Un morfism o omomorfism antra jë strop G e G' a l'é na fonsion tal che .
Si a l'é surietiv, as ciama ëdcò epimorfism; s'a l'é inietiv as ciama ëdcò monomorfism; cand a l'é na bijession, antlora a l'é n'isomorfism e G e G' as diso isomòrfich e sòn as peul ëscrivse . N'isomorfism antra në strop G e chiel-midem a l'é ëdcò ciamà automorfism ëd G.

Proprietà. Si a l'é 'n morfism, .
Dimostrassion. , dont , pr'ëscancelassion.
.

Proprietà. Si a l'é n' epimorfism e G a l'é abelian, antlora ëdcò G' a-l l'é.
Dimostrassion. .

Automorfism anterior

[modìfica | modifiché la sorgiss]

Fissoma n'element a ant lë strop G; consideroma la fonsion definìa da . As trata ëd n'automorfism ëd G, dit automorfism anterior generà da l'element a. J'automorfism anterior ëd në strop G a formo a soa vira në strop, ciamà lë strop anterior ëd G.
Si G a l'é në strop abelian, antlora sò strop anterior a l'ha mach l'element identità, e viceversa.

Si e H a l'é ancor në strop rëspet a la restrission dl'operassion ëd G, antlora H as dis sot-ëstrop ëd G.
Për vëdde si un sot-ansem nen veuid a l'é 'n sot-ëstrop ëd G, a basta verifiché che për minca . An efet, sota se ipòtesi, e për minca .

Për esempi, a l'é 'n sot-ëstrop ëd .
Dàita na famija nen veuida ëd sot-ëstrop ëd G, l'antërsession ëd la famija a l'é 'n sot-ëstrop ëd G.
N'àutr esempi ëd sot-ëstrop ëd në strop G a l'é 'l normalisant d'un sot-ansem , visadì .

Për as definiss ëdcò ël sot-ëstrop ëd G generà da A, visadì ël pì cit sot-ëstrop ëd G ch'a conten A 'me sot-ansem.
Në strop ës dis sìclich s'a l'é generà da n'ùnich element. N'esempi a l'é .

Si a l'é 'n morfism, a l'é 'n sot-ëstrop ëd G, ciamà la nos ëd , e a l'é 'n sot-ëstrop ëd G'. Pì an general, si H a l'é 'n sot-ëstrop ëd G e H' a l'é un sot-ëstrop ëd G', antlora a l'é un sot-ëstrop ëd G' e a l'é un sot-ëstrop ëd G.

Sot-ëstrop normaj

[modìfica | modifiché la sorgiss]

Si H a l'é un sot-ëstrop ëd G con la proprietà che , antlora H as dis sot-ëstrop normal ëd G. Për esempi, tuti ij sot-ëstrop ëd në strop abelian a son normaj.

Ij sot-ëstrop normaj ëd G a son tuti e soj coj sot-ëstrop ch'a son nos ëd chèich morfism ch'a l'han G 'me domini.
Esempi ëd sot-ëstrop normaj a son ël sènter e ël derivà (visadi ël sot-ëstrop generà da l'ansem ëd tuti ij comutator ).

Proprietà. Si H e K a son sot-ëstrop ëd G e H a l'é normal, antlora ël sot-ëstrop generà da a l'é HK.
Dimostrassion. Dagià che a basta fé vëdde che HK a l'é 'n sot-ëstrop. Pijà , për chèich , donca .

Proprietà. Si H a l'é 'n sot-ëstrop normal ëd G e a l'é n'epimorfism, antlora f(H) a l'é 'n sot-ëstrop normal ëd G'.
Dimostrassion. Si , ch'as pija . Antlora , për chèich , donca .

Proprietà. Si a l'é 'n morfism e H' a l'é 'n sot-ëstrop normal ëd G', a l'é 'n sot-ëstrop normal ëd G.
Dimostrassion. Pijà , as oten che .

Si G a l'ha mach e G midem 'me sot-ëstrop normaj, antlora G as dis sempi.
Për esempi, jë strop sempi con un nùmer dëscobi d'element a son pròpe jë strop ëd rotassion ëd polìgon regolar con un nùmer prim ëd bande. Në strop alternà su n litre a l'é sempi, gavà ël cas n=4.

Si H a l'é 'n sot-ëstrop normal ëd G, as peul definisse lë strop cossient G/H, dont j'element a son ij lateraj gH, për , e l'operassion a l'é definìa 'me fHgH=fgH. La projession canonica a l'é n'epimorfism .

N'esempi dë strop cossient a l'é l'ansem dle class ëd resta mòdol n: . As trata ëd në strop sìclich. An efet minca strop sìclich infinì a l'é isomòrfich a e minca strop sìclich finì a l'é isomòrfich a chèich .

Proprietà. Si H e K a son sot-ëstrop normaj ëd G e , antlora .

Proprietà. Si H e K a son sot-ëstrop ëd G, con K normal, a ven che

Teorema fondamental djë strop. Si a l'é 'n morfism dë strop, .

Strop arzolùbij

[modìfica | modifiché la sorgiss]

Në strop G as ciama arzolùbil s'a-i son dij sot-ëstrop , anté che minca a l'é normal an e a l'é abelian.