Presentació de grup

Plantilla:Confusió En matemàtiques, un mètode per definir un grup és mitjançant una presentació. Hom especifica un conjunt S de generadors, de tal manera que tot element del grup es pot escriure com a producte de potències d'aquests generadors, i un conjunt R de relacions entre aquests generadors. llavors es diu que G admet una presentació

$⟨S\mid R⟩$.

Informalment, G té la presentació anterior si és el "grup més lliure" generat per S subjecte només a les relacions R. Formalment, hom diu que el grup G té la representació anterior si és isomorf al quocient d'un grup lliure sobre S pel subgrup normal generat per les relacions R.

A tall d'exemple, el grup cíclic d'ordre n té la presentació

$⟨a\mid a^n=1⟩$,

on 1 és l'element neutre del grup. Això es pot escriure, de forma equivalent, com

$⟨a\mid a^n⟩$,

ja que s'assumeix que els termes que no duen un signe d'igualtat són, de fet, iguals a l'element neutre.

Tot grup té una presentació; de fet, admet diverses presentacions. Una presentació acostuma a ser la manera més compacta de descriure l'estructura del grup.

Conceptes previs

Un grup lliure sobre un conjunt S és un grup en el qual tot element es pot descriure de manera unívoca com un producte finit de la forma

$s_1^{a_1}{s}_2^{a_2}\dots s_n^{a_n}$

on s_i són elements de S, els s_i adjacents són diferents, i a_i són enters diferents de zero (encara que n pot ser zero). En termes menys formals, el grup consisteix en paraules on les lletres són els generadors i els seus inversos, subjectes només a les cancel·lacions d'un generador amb el seu invers.

Si G és un grup qualsevol, i S és un subconjunt generador de G, llavors tot element de G també té la forma anterior; en general, però, aquests productes no descriuen unívocament un element de G.

Per exemple, el grup diedral D₈ d'ordre 16 es pot generar per una rotació, r, d'ordre 8; i una reflexió, f, d'ordre 2; efectivament, tot element de D₈ és un producte de (potències de) r i f.

Tanmateix tenim, per exemple, que Plantilla:Nowrap, Plantilla:Nowrap, etc., de tal manera que aquests productes no són únics a D₈. Cadascuna d'aquestes equivalències de productes es pot expressar com una igualtat amb la identitat, com per exemple

rfrf = 1,

r⁸ = 1,

f² = 1.

Informalment, hom pot considerar aquests productes com a elements del grup lliure Plantilla:Nowrap, i es pot considerar el subgrup R de F generat per aquestes cadenes, cadascuna de les quals és igual a 1 vistes com a productes dins D₈.

Si llavors designem per N el subgrup de F generat per tots els conjugats x⁻¹Rx de R, aleshores és fàcil veure que tot element de N és un producte finit x₁⁻¹r₁x₁ ... x_m⁻¹r_m x_m de membres d'aquests conjugats. Com a conseqüència, N és un subgrup normal de F; addicionalment, tot element de N, considerat com a producte a D₈, també és igual a 1. Per tant, D₈ és isomorf al grup quocient Plantilla:Nowrap. Hom diu aleshores que D₈ té la presentació

$⟨r,f\mid r^8=f^2=(rf{)}^2=1⟩$.

Definicions

Sigui S un conjunt, i sigui F_S el grup lliure sobre S. Sigui R un conjunt de paraules de S, de tal manera que R proporciona naturalment un subconjunt de F_S. Per tal de formar un grup amb presentació Plantilla:Nowrap, la idea és prendre el quocient de F_S pel més petit subgrup normal tal que cada element de R quedi identificat amb la identitat. Notem que R pot no ser un subgrup, molt menys un subgrup normal de F_S i, per tant, no es pot prendre el quocient per R. La solució és prendre la clausura normal N de R dins F_S. El grup Plantilla:Nowrap es defineix llavors com el grup quocient

$⟨S\mid R⟩=F_S/N$.

Els elements de S s'anomenen generadors de Plantilla:Nowrap i els elements de R configuren les relacions. Es diu que un grup G té la presentació Plantilla:Nowrap si G és isomorf a Plantilla:Nowrap.

És comú escriure les relacions en la forma Plantilla:Nowrap, on x i y són paraules de S. Això significa que Plantilla:Nowrap. Això té el significat intuïtiu de què les imatges de x i y són iguals en el grup quocient. Per tant, si hom té rⁿ a la llista de relacions, això és equivalent a dir que Plantilla:Nowrap. Una altra simplificació de la notació és escriure Plantilla:Nowrap per a un commutador xyx⁻¹y⁻¹.

Hom diu que una presentació és finitament generada si S és finit, i finitament relacionat si R és finit. Si ambdós conjunts són finits, hom parla d'una presentació finita. Un grup és finitament generat (respectivament finitament relacionat, finitament presentat) si té una presentació finitament generada (respectivament finitament relacionada, presentació finita).

Si S està indexat per un conjunt I consistent de tots els nombres naturals o d'un subconjunt finit d'ells, llavors és senzill establir una codificació unívoca (o nombre de Gödel) Plantilla:Nowrap del grup lliure sobre S en el conjunt dels nombres naturals, tal que hom pot trobar algorismes que, donat f(w), es pot calcular w, i viceversa. Amb aquestes definicions, hom pot dir que un subconjunt U de F_S és recursiu (respectivament recursivament enumerable) si f(U) és recursiu (respectivament recursivament enumerable). Si S està indexat de la manera anterior i R és recursivament enumerable, llavors hom diu que la presentació és una presentació recursiva i que el corresponent grup és recursivament presentat. Aquesta terminologia pot semblar estranya, però es pot demostrar que si un grup té una presentació amb R recursivament enumerable, llavors en té una altra amb R recursiu.

Donat un grup finit G, la taula de multiplicació en proporciona una representació. Sigui S el conjunt dels elements g_i de G, i sigui R el conjunt de totes les paraulea de la forma $g_i{g}_j{g}_k^{-1}$, on $g_i{g}_j=g_k$ és una entrada de la taula de multiplicació. Llavors es pot interpretar que una presentació és una generalització d'una taula de multiplicació.

Tot grup finitament presentat és recursivament presentat, però hi ha grups recursivament presentats que no poden ser finitament presentats. Tanmateix, un teorema de Graham Higman afirma que un grup finitament generat té una presentació recursiva si i només si es pot submergir en un grup finitament presentat. A partir d'aquí, hom pot deduir que hi ha (llevat d'isomorfisme) només una quantitat numerable de grups finitament generats i recursivament presentats. Bernhard Neumann demostrà que hi ha una quantitat no numerable de grups generadors. Per tant, existeixen grups finitament generats que no es poden presentar de manera recursiva.

Exemples

Història

Una de les primeres presentacions d'un grup per generadors i relacions fou establerta pel matemàtic irlandès William Rowan Hamilton l'any 1856, en el seu icosian calculus, una presentació del grup icosaèdric.

Walther von Dyck, alumne de Felix Klein, en va realitzar el primer estudi sistemàtic a principis de la dècada dels 1880, establint així els fonaments de la teoria combinatòria de grups.

Exemples comuns

La següent taula enumera alguns exemples de presentacions per a grups estudiats habitualment. Cal notar que, en cada cas, poden ser possibles altres presentacions. La presentació indicada pot no ser la més eficient possible.

Grup	Presentació	Comentaris
el grup lliure sobre S	$⟨S\mid \varnothing ⟩$	Un grup lliure és "lliure" en el sentit que no està subjecte a cap relació.
Cn, el grup cíclic d'ordre n	$⟨a\mid a^n⟩$
Dn, el grup diedral d'ordre 2n	$⟨r,f\mid r^n,f^2,(rf{)}^2⟩$	Aquí, r representa una rotació i f una reflexió.
D∞, el grup diedral infinit	$⟨r,f\mid f^2,(rf{)}^2⟩$
Plantilla:ÀncoraDicn, el grup dicíclic	$⟨r,f\mid r^{2n},r^n=f^2,fr{f}^{-1}=r^{-1}⟩$	El grup dels quaternions n'és un cas especial quan n = 2.
Z × Z	$⟨x,y\mid xy=yx⟩$
Z/mZ × Z/nZ	$⟨x,y\mid x^m,y^n,xy=yx⟩$
el grup abelià lliure sobre S	$⟨S\mid R⟩$ on R és el conjunt de tots els commutadors d'elements de S
Sn, el grup simètric en n símbols	generadors: ${\sigma }_1,\dots ,{\sigma }_{n-1}$ relacions: ${\sigma }_i^2=1$, ${\sigma }_i{\sigma }_j={\sigma }_j{\sigma }_i\text{ si }j\ne i\pm 1$, ${\sigma }_i{\sigma }_{i+1}{\sigma }_i={\sigma }_{i+1}{\sigma }_i{\sigma }_{i+1}$ El darrer conjunt de relacions es pot transformar en $({\sigma }_i{\sigma }_{i+1}{)}^3=1$ escrivint ${\sigma }_i^2=1$.	Aquí, σi és la permutació que intercanvia l'element i-sim amb l'(i+1)-sim. El producte σiσi+1 és un 3-cicle sobre el conjunt {i, i+1, i+2}.
Bn, els grups de trenes	generadors: ${\sigma }_1,\dots ,{\sigma }_{n-1}$ relacions: ${\sigma }_i{\sigma }_j={\sigma }_j{\sigma }_i\text{ if }j\ne i\pm 1$, ${\sigma }_i{\sigma }_{i+1}{\sigma }_i={\sigma }_{i+1}{\sigma }_i{\sigma }_{i+1}$	Cal notar la semblança amb el grup simètric; l'única diferència és la supressió de la relació ${\sigma }_i^2=1$.
Plantilla:Nowrap, el grup tetraèdric	$⟨s,t\mid s^2,t^3,(st{)}^3⟩$
Plantilla:Nowrap, el grup octaèdric	$⟨s,t\mid s^2,t^3,(st{)}^4⟩$
Plantilla:Nowrap, el grup icosaèdric	$⟨s,t\mid s^2,t^3,(st{)}^5⟩$
Q₈, el grup dels quaternions	$⟨i,j\mid jij=i,iji=j⟩$	Per a una presentació alternativa, vegeu Dicn més amunt.
SL(2, Z), el grup lineal especial	$⟨a,b\mid aba=bab,(aba{)}^4⟩$	Topològicament, es poden visualitzar a i b com a girs de Dehn sobre el tor.
GL(2, Z), el grup lineal general	$⟨a,b,j\mid aba=bab,(aba{)}^4,j^2,(ja{)}^2,(jb{)}^2⟩$	Extensió de grups no trivial de SL(2, Z) per Z/2Z
PSL(2, Z), el grup modular	$⟨a,b\mid a^2,b^3⟩$	PSL(2, Z) és el producte lliure dels grups cíclics Z/2Z i Z/3Z.
Grup de Heisenberg	$⟨x,y,z\mid z=xy{x}^{-1}{y}^{-1},xz=zx,yz=zy⟩$
BS(m, n), els grups de Baumslag-Solitar	$⟨a,b\mid a^n=b{a}^m{b}^{-1}⟩$
Grup de Tits	$⟨a,b\mid a^2,b^3,(ab{)}^{13},[a,b{]}^5,[a,bab{]}^4,(ababababa{b}^{-1}{)}^6⟩$	[a, b] és el commutador.

Un exemple d'un grup finitament generat que no és finitament presentat és el producte en corona $𝐙\wr 𝐙$ del grup dels enters amb ell mateix.

Teoremes

Plantilla:Teorema Per veure això, donat un grup G, considerem el grup lliure F_G sobre G. Per la propietat universal dels grups lliures, existeix un únic homomorfisme de grups Plantilla:Nowrap tal que la seva restricció a G és l'aplicació identitat. Sigui K el nucli d'aquest homomorfisme. Aleshores K és normal dins F_G i, per tant, és igual a la seva clausura normal, de manera que Plantilla:Nowrap. Com que l'aplicació identitat és exhaustiva, φ també és exhaustiva, i pel primer teorema d'isomorfisme, Plantilla:Nowrap.

Cal notar que aquesta presentació pot ser altament ineficient si tant G com K són més grans del que és necessari.

Plantilla:Teorema Hom pot prendre els elements del grup com a generadors i la taula de Cayley per a les relacions.

Teorema de Novikov-Boone

La solució negativa al problema de la paraula per a grups afirma que existeix una presentació finita Plantilla:Nowrap per a la qual no existeix cap algorisme que, donades dues paraules u, v, decideixi si u i v descriuen el mateix element del grup. Aquest resultat fou demostrat per Piotr Nóvikov l'any 1955 i William Boone en va donar una demostració alternativa l'any 1958.

Construccions

Suposem que G té una presentació Plantilla:Nowrap i H té una presentació Plantilla:Nowrap, on S i T són disjunts. Llavors

• el producte lliure Plantilla:Nowrap té una presentació Plantilla:Nowrap i
• el producte directe Plantilla:Nowrap té una presentació Plantilla:Nowrap, on [S,T] significa que tot element de S commuta amb tot element de T.

Deficiència

La deficiència d'una presentació finita Plantilla:Nowrap és simplement Plantilla:Nowrap, i la deficiència d'un grup finitament presentat G, denotat per def G, és el màxim de les deficiències de totes les presentacions de G. La deficiència d'un grup finit sempre és negativa o zero. El multiplicador de Schur d'un grup G es pot generar per −def G generadors, i G és eficient si es necessita efectivament aquest nombre.

Teoria geomètrica de grups

Una presentació d'un grup determina una geometria, en el sentit de la teoria geomètrica de grafs: hom té el graf de Cayley, que té una mètrica, anomenada mètrica de paraules. També se n'obtenen dos ordres, lPlantilla:'ordre feble i lPlantilla:'ordre de Bruhat, amb els corresponents diagrames de Hasse. Un exemple important en són els grups de Coxeter.

Addicionalment, algunes propietsts d'aquest graf (la geometria grollera) són intrínseques, en el sentit de què són independents de l'elecció dels generadors.

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre

Enllaços externs

• Plantilla:MathWorld