Grup abelià

En una estructura algebraica sobre un conjunt A, en la qual hem definit una operació o llei de composició interna binària " $\circ$ ", diem que presenta estructura $(A,\circ )$ de grup abelià o grup commutatiu respecte a l'operació $\circ$ si...^[1]^[2]

$(A,\circ )$ té estructura algebraica de grup.
$(A,\circ )$ té la propietat commutativa.

Els grups abelians reben aquest nom en honor del matemàtic noruec Niels Henrik Abel,^[3] que fou qui utilitzà aquests grups en l'estudi de les equacions algebraiques solubles per radicals.^[4] Els grups que no són commutatius es denominen no abelians (a també no commutatius, menys sovint).

Definició[modifica]

Un grup abelià és un conjunt $A$ , juntament amb una operació $\cdot$ que combina dos elements qualssevol $a$ i $b$ d' $A$ per formar un altre element d' $A,$ denotat $a\cdot b$ . El símbol $\cdot$ és un marcador de posició general per a una operació concreta. Per qualificar com a grup abelià, el conjunt i l'operació, $(A,\cdot )$ , 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$ ):

Associativitat: per a tot $a$ , $b$ , i $c$ en $A$ , es compleix l'equació $(a\cdot b)\cdot c=a\cdot (b\cdot c)$ .
Element d'identitat: existeix un element $e$ en $A$ , tal que per a tots els elements $a$ en $A$ , es compleix l'equació $e\cdot a=a\cdot e=a$ .
Element invers: per a cada $a$ en $A$ existeix un element $b$ en $A$ tal que $a\cdot b=b\cdot a=e$ , on $e$ és l'element identitat.
Commutativitat: per a tot $a$ , $b$ en $A$ , $a\cdot b=b\cdot a$ .

Un grup en què l'operació de grup no és commutativa es denomina "grup no abelià" o "grup no commutatiu".^[5]^:11

Notació[modifica]

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	aⁿ	a⁻¹ 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.

Taula de multiplicació[modifica]

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ó.^[6]^:10 Si el grup és $G=\{g_{1}=e,g_{2},\cdot ,g_{n}\}$ sota la operació $\cdot$ , la $(i,j)$ -èssima entrada d'aquesta taula conté el producte $g_{i}\cdot g_{j}$ .

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 $g_{i}\cdot g_{j}=g_{j}\cdot g_{i}$ per a tot $i,j=1,...,n$ , que és el mateix que l'entrada $(i,j)$ de la taula sigui igual a l'entrada $(j,i)$ per a tot $i,j=1,...,n$ , és a dir, la taula és simètrica respecte a la diagonal principal.

Exemples[modifica]

Qualsevol grup cíclic G és abelià, puix que si $x,y\in G=<a>$ , $x=a^{m}$ i $y=a^{n}$ per a alguns m, n enters, com a conseqüència, $xy=a^{m}a^{n}=a^{m+n}=a^{n+m}=a^{n}a^{m}=yx$ . 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, Z_n.^[7]

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ó.^[8]

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 $G$ arbitrari, és possible construir l'abelianització de $G$ , que és el quocient de $G$ pel seu subgrup commutador: $G/[G,G]$ . Aquest grup és abelià i té la propietat que si donat qualsevol altre subgrup normal $N$ , el quocient $G/N$ és abelià, llavors $[G,G]\subset N$ .^[9]

Tot grup $G$ conté un subgrup abelià anomenat centre del grup, que està format pels seus selements que commuten amb qualsevol altre element del grup.^[10]

Apunts històrics[modifica]

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.^[11]^:144-145

Propietats[modifica]

Si n és un nombre natural i x un element d'un grup abelià G (en notació additiva), podem definir $nx=x+x+...+x$ (n sumands), i $(-n)x=-(nx)$ , amb la qual cosa G esdevé un mòdul sobre l'anell Z dels enters. De fet, els mòduls sobre Z no són altres que els grups abelians.^[12]^:94–97
Si f, g: G → H són dos homomorfismes entre grups abelians, la suma (definida per $(f+g)(x)=f(x)+g(x)$ ) serà també un homomorfisme; aquest fet no s'esdevé en general per a grups no abelians. Amb aquesta operació, el conjunt d'homomorfismes entre G i H esdevé, aleshores, un grup abelià en si mateix.

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).^[13]^: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).

Grups abelians finits[modifica]

El grup $\mathbb {Z} _{n}$ 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:^[14] Qualsevol grup abelià finit G és isomorf a $\mathbb {Z} _{p_{1}^{k_{1}}}\oplus \ldots \oplus Z_{p_{r}^{k_{r}}}$ , on $p_{1},\ldots ,p_{r}$ són nombres primers i $k_{1},\ldots ,k_{r}\in \mathbb {N}$ .
Els enters $p_{1}^{k_{1}},\ldots ,p_{r}^{k_{r}}$ 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=2⁴, per la qual cosa les formes de descompondre 16 com a producte de nombres naturals majors d'1 són (a menys d'ordre): $16=16,\ 16=2\times 8,\ 16=2\times 2\times 4,\ 16=2\times 2\times 2\times 2{\mbox{ y }}16=4\times 4$ .
Per tant, un grup abelià amb 16 elements és isomorf a un i a només un dels següents: $\mathbb {Z} _{16},\ \mathbb {Z} _{8}\oplus \mathbb {Z} _{2},\ \mathbb {Z} _{4}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2},\ \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}\oplus \mathbb {Z} _{2},\ \mathbb {Z} _{4}\oplus \mathbb {Z} _{4}$ .

Qualsevol grup abelià d'orde 30 és isomorf a $\mathbb {Z} _{5}\oplus \mathbb {Z} _{3}\oplus \mathbb {Z} _{2}$ .
Això s'esdevé perquè no hi ha cap altra manera d'escriure 30 com a producte de potències de primers que $30=2\times 3\times 5$ .

Una forma equivalent d'exposar el teorema anterior és aquesta:

Teorema:^[14] Qualsevol grup abelià finit G és isomorf a $\mathbb {Z} _{d_{1}}\oplus \ldots \oplus Z_{d_{t}}$ , on $d_{1},\ldots ,d_{t}$ són enters majors d'1 que verifiquen $d_{i}|d_{i+1}\ \forall i=1,\ldots ,t-1$ . Els enters $d_{1},\ldots ,d_{t}$ són únics.

Aquest teorema es dedueix de l'anterior a partir que $\mathbb {Z} _{m}\oplus \mathbb {Z} _{n}$ és isomorf a $\mathbb {Z} _{nm}$ quan n i m són coprimers.

Referències[modifica]

↑ «Abelian group | mathematics | Britannica» (en anglès). [Consulta: 26 gener 2022].
↑ Abelian Group. MathWorld (anglès)
↑ i Jacobson, 2009, p. 41.
↑ Encyclopedia of Mathematics. «Abelian group» (en anglès).
↑ Ramík, J., Pairwise Comparisons Method: Teoría y aplicaciones en la toma de decisiones (Cham: Springer Nature Switzerland, 2020), p. 11.
↑ Isaev, A. P., & Rubakov, V. A., Theory of Groups and Symmetries: Finite Groups, Lie Groups, and Lie Algebras (Singapore: World Scientific, 2018), p. 10.
↑ Bujalance, Etayo i Gamboa, 2002, p. 52.
↑ Rotman, 2012, p. 13.
↑ Bujalance, Etayo i Gamboa, 2002, p. 289.
↑ Dummit i Foote, 2004, p. 50.
↑ Cox, D. A., Galois Theory (Hoboken, New Jersey: John Wiley & Sons, 2004), pp. 144-145.
↑ Eklof, Paul C., & Göbel, Rüdiger, eds., Abelian Groups and Modules: International Conference in Dublin, August 10–14, 1998 (Basel: Springer Basel AG, 1999), pp. 94–97.
↑ Dixon, M. R., Kurdachenko, L. A., & Subbotin, I. Y., Linear Groups: The Accent on Infinite Dimensionality (Milton Park, Abingdon-on-Thames & Oxfordshire: Taylor & Francis, 2020), pp. 49–50.
↑ ^14,0 ^14,1 Rotman, Joseph. «Groups II». A: Advanced modern algebra (en anglès). 1a edició, 2003, p. 249-269. ISBN 0130878685.