En una estructura algebraica sobre un conjunt A, en la qual hem definit una operació o llei de composició interna binària ∘ , diem que presenta estructura ( A , ∘ ) de grup abelià o grup commutatiu respecte a l'operació ∘ si...
Els grups abelians reben aquest nom en honor del matemàtic noruec Niels Henrik Abel, que fou qui utilitzà aquests grups en l'estudi de les equacions algebraiques solubles per radicals. Els grups que no són commutatius es denominen no abelians (a també no commutatius, menys sovint).
Un grup abelià és un conjunt , juntament amb una operació que combina dos elements qualssevol i d' per formar un altre element d' denotat . El símbol és un marcador de posició general per a una operació concreta. Per qualificar com a grup abelià, el conjunt i l'operació, , han de satisfacer quatre requisits coneguts com els axiomes de grup abelià (alguns autors van incloure en els axiomes algunes propietats que pertanyen a la definició d'una operació: És a dir, que l'operació estigui definida per a qualsevol parell ordenat d'elements d'A, que el resultat sigui ben definit, i que el resultat pertanyi a A):
Un grup en què l'operació de grup no és commutativa es denomina "grup no abelià" o "grup no commutatiu".:11
Hi ha dues notacions principals per als grups abelians: additiva i multiplicativa:
Notació | Operació | Element neutre | Potències | Elements inversos | Suma directa / Producte directe |
---|---|---|---|---|---|
Addició | a + b | 0 | na | −a | G ⊕ H |
Multiplicació | a * b o ab | e o 1 | an | a−1 o 1/a | G × H |
La notació multiplicativa es fa servir, en general, per als grups, en canvi l'additiva s'utilitza per als mòduls. Quan només es treballa amb grups abelians, s'usa la notació additiva, com a norma general.
Per verificar que un grup finit és abelià, es pot construir una taula (matriu) -coneguda com a taula de Cayley- de manera similar a una taula de multiplicació.:10 Si el grup és sota la operació , la -èssima entrada d'aquesta taula conté el producte .
El grup és abelià si i només si aquesta taula és simètrica respecte la diagonal principal. Això és cert ja que el grup és abelià si i només si per a tot , que és el mateix que l'entrada de la taula sigui igual a l'entrada per a tot , és a dir, la taula és simètrica respecte a la diagonal principal.
Qualsevol grup cíclic G és abelià, puix que si , i per a alguns m, n enters, com a conseqüència, . En particular, el grup Z d'enters, en relació a la suma, és abelià, de la mateixa manera que el grup d'enters mòdul n, Zn.
Els nombres reals formen un grup abelià amb l'addició, de la mateixa manera que els reals no nuls el formen amb la multiplicació.
Qualsevol anell és un grup abelià respecte a la seva addició. En un anell commutatiu, els elements invertibles formen un grup abelià amb la multiplicació.
Qualsevol subgrup d'un grup abelià és normal, i per tant, per a qualsevol subgrup hi ha un grup quocient. Subgrups, grups quocients, i sumes directes de grups abelians també són abelians.
Donat un grup arbitrari, és possible construir l'abelianització de , que és el quocient de pel seu subgrup commutador: . Aquest grup és abelià i té la propietat que si donat qualsevol altre subgrup normal , el quocient és abelià, llavors .
Tot grup conté un subgrup abelià anomenat centre del grup, que està format pels seus selements que commuten amb qualsevol altre element del grup.
Camille Jordan va donar nom als grups abelians prenent el del matemàtic noruev Niels Henrik Abel, ja que Abel havia descobert que la commutivitat del grup d'un polinomi implica que les arrels del polinomi poden ser calculades mitjançant radicals.:144-145
De manera més o menys similar a la dimensió dels espais vectorials, tot grup abelià té un rang. Es defineix com la cardinalitat maximal d'un conjunt d'elements del grup linealment independents (en els enters).:49–50 Els grups abelians finits i els grups de torsió tenen rang zero, i tot grup abelià de rang zero és un grup de torsió. Els enters i els nombres racionals tenen rang u, així com tot grup additiu no-zero dels racionals. D'altra banda, el grup multiplicatiu dels racionals no-zero té rang infinit, ja que és un grup abelià lliure amb el conjunt de nombres primers com a base (això resulta del teorema fonamental de l'aritmètica).
El grup dels enters mòdul n és un grup amb l'operació de la suma mòdul n. Aquest grup és abelià i finit.
El següent resultat ens indica que els anteriors formen l'estructura bàsica de tots els conjunts abelians finits.
Teorema: Qualsevol grup abelià finit G és isomorf a , on són nombres primers i .
Els enters són únics a menys de l'orde.
Vegem-ne un parell d'exemples:
Llevat del cas d'isomorfisme, existeixen cinc grups abelians amb 16 elements.
Per fer-ho veure, observem primer que 16=24, per la qual cosa les formes de descompondre 16 com a producte de nombres naturals majors d'1 són (a menys d'ordre): .
Per tant, un grup abelià amb 16 elements és isomorf a un i a només un dels següents: .
Qualsevol grup abelià d'orde 30 és isomorf a .
Això s'esdevé perquè no hi ha cap altra manera d'escriure 30 com a producte de potències de primers que .
Una forma equivalent d'exposar el teorema anterior és aquesta:
Teorema: Qualsevol grup abelià finit G és isomorf a , on són enters majors d'1 que verifiquen . Els enters són únics.
Aquest teorema es dedueix de l'anterior a partir que és isomorf a quan n i m són coprimers.
|
This article uses material from the Wikipedia Català article Grup abelià, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). El contingut està disponible sota la llicència CC BY-SA 4.0 si no s'indica el contrari. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Català (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.