En matemàtiques, un grup finit és un grup constituït per un nombre finit d'elements, és a dir, que té cardinal finit.

Introducció

modifica

Sigui G un grup. Es nota la seva llei multiplicativement i 1 el seu element neutre, excepte en el cas on G és abelià, on la llei (respectivament l'element neutre) es nota de manera additiva (respectivament 0).

Es diu que G és un grup finit si el seu cardinal és finit. Llavors el cardinal es nota card G i s'anomena ordre del grup.

Se suposarà en la resta d'aquest text que G és un grup finit.

Sigui g un element de G. Com que G és finit, el principi de Dirichlet (o del colomar) permet demostrar que el conjunt   no és buit. Admet per tant un element que és el més petit de tots, que s'anomena l'ordre de  .

Compte amb el risc de confusió, aquí el terme ordre designa de manera successiva dos conceptes diferents, però hi ha en tot cas un vincle, veure més endavant (grup cíclic).

L'ordre   d'un element   posseeix una propietat aritmètica molt útil (que prové directament de la divisió euclidiana):

Sigui   un enter no nul tal com   llavors   divideix  .

Un subconjunt   de   genera aquest grup si tots els elements de   s'escriuen com un producte d'elements o d'inversos d'elements de  . El conjunt   s'anomena una part generadora de  .

Com que   és finit, l'invers d'un element   és una potència de   (més precisament, es té  , on   designa l'ordre de  ). És per tant que una subclasse   de   és una part generadora si i només si tot element de   és un producte d'elements de  .

Un grup finit generat per un singletó {g} s'anomena cíclic. Per abús del llenguatge, es diu que l'element g genera  , i es nota llavors  . És fàcil verificar que tal grup és necessàriament abelià.

Fixem-nos que, en aquest cas, l'ordre de G és igual a l'ordre d'un dels seus generadors.

Tots els elements d'un grup finit G tenen un ordre inferior o igual al cardinal de G.

Un resultat fonamental en l'estudi dels grups finits és el teorema de Lagrange:

Sia   un grup finit i   un subgrup de  , llavors l'ordre de   divideix l'ordre de  .


Una conseqüència immediata és que si G és un grup finit, si m=card G, llavors si  . (considerar el subgrup engendrat per g)

Paritat de l'ordre i involució

modifica

L'ordre d'un grup finit que no té involució (element d'ordre 2) és senar, en efecte el nombre d'elements diferents del neutre és parell.

Recíprocament si el seu ordre és senar' no té involució, en efecte si posseeix almenys una involució, segons el Teorema de Lagrange, el seu ordre és parell.

En conclusió l'ordre d'un grup finit és

  • senar si i només si no té involució.
  • 'parell si i només si posseeix almenys una involució.

En el cas on l'ordre és parell el nombre d'involution(s) és senar.

Exemples

modifica

Heus aquí alguns exemples clàssics de grups finits:

  • El grup de les arrels n-èsimes de la unitat:   on  ;
  • Els grups simètrics:  grups de les bijections d'un conjunt finit en ell mateix;
  • Grups dièdrics,  : grups de les isometries planes que conserven un polígon regular de n costats;

Els dos primers exemples designen de fet el mateix grup. Per comprendre el que s'entén per mateix, s'introduirà la noció de morfisme de grup.

Morfismes de grup

modifica

Consultar també l'article homomorfisme de grup

Quan dos grups són isomorfs, són idèntics des del punt de vista de la teoria dels grups.

L'estudi dels morfismes de grup és per tant important per a la comprensió dels grups. Les branques de la teoria de grups finits, com la teoria de les representacions d'un grup finit, Es consagren completament a aquesta activitat.

Per exemple, els grups   i   són isomorfs.

Per demostrar-ho, n'hi ha prou amb verificar que l'aplicació   definida per

 

és un isomorfisme de grup.

Dir que aquests grups són isomorfs significa que són idèntics: totes les propietats d'un es troben en l'altre. Per tant en teoria de grups, no s'estudiaran més que les propietats d'un sol d'aquests dos grups (el que es vulgui).

Teorema de Wilson

modifica

En un grup abelià finit el producte dels elements és igual

  • al neutre si el seu ordre és senar
  • al producte de les involucions si el seu ordre és parell

Per al grup  , amb   primer senar, es troba el Teorema de Wilson clàssic.

En efecte, l'ordre, que és igual a  , és parell i l'única involució és  .

Producte directe - Producte semidirecte

modifica

A Partir de dos grups finits   i  , es pot construir un nou grup: el producte directe extern de   per  ; més generalment, si es dona a més un morfisme  , llavors es pot construir el producte semidirecte extern de H per K seguint f. Són grups finits, de cardinal (card 'H)⋅(card K).

Llavors es presenta una qüestió natural: si   és un grup, a quina condició   és un producte directe intern (o un producte semidirecte interna) de dos subgrups   i  ?

Es dona un criteri que respon a aquesta qüestió. Es posa   (atenció, aquest subconjunt de   en general no és un grup).


Producte directe intern

Un grup   és producte directe intern de dos subgrups   i   si i només si:

  • Els grups   i   són distingits en  ,
  •  ,
  •  .

Producte semidirecte intern

Un grup   és produït semidirecte intern de dos subgrups   i   si i només si:

  • El grup   és distingit en  ,
  •  ,
  •  .


Quan   és finit, es pot fer servir la igualtat combinatòria següent:

 

Així, en el cas que G és finit, els dos criteris es veuen considerablement simplificats. En efecte si es verifiquen els dos primers punts del criteri, llavors el tercer punt es pot reemplaçar per card G = (card H)(card K).


Entre els exemples donats damunt, es pot mostrar que el grup de Klein és isomorf al producte directe  . El grup dièdric és isomorf al producte semidirecte de   per  .

S'ha vist que tot grup cíclic és abelià. El grup de Klein mostra que el recíproc és fals. Tanmateix es té el resultat destacable següent:

Tot grup abelià finit és un producte directe de grups cíclics.

Subgrups de Sylow

modifica

Sigui   un grup finit d'ordre  , sigui   un divisor primer de  , sigui   la major potència de   que divideix  , de manera que  ,   és un enter no divisible per  . Es diu  -subgrup de Sylow de   tot subgrup d'ordre   de  .
es demostren els enunciats següents (teoremes de Sylow):

  1. tot  -subgrup de  , és a dir tot subgrup de   l'ordre del qual és una potència de  , està contingut en almenys un  -subgrup de Sylow de  ; en resulta que els  -subgrups de Sylow de   són els elements màxims del conjunt dels  -subgrup de  , és per això que certs autors els defineixen;
  2. els  -subgrups de Sylow de   són conjugats entre ells ;
  3. el seu nombre és congruent amb 1 mòdul   ;
  4. aquest nombre divideix el factor   definit més amunt.

Els subgrups de Sylow són un instrument essencial en l'estudi dels grups finits.

Classificació dels grups finits

modifica

Es troben nombroses estructures de grups finits per natura molt diferents. A aquest efecte, l'estudi dels grups finits és ric i complicat. Un enfocament natural per abordar aquesta teoria seria de donar una classificació dels grups finits, és a dir, una llista de famílies de grups descrivint, tret d'isomorfismes, tots els grups finits. Aquest problema és molt ardu. D'altra banda actualment no s'és capaç de produir tal llista.

S'aporten amb tot alguns elements de resposta. En el cas on l'agrupi és abelià, la teoria és perfectament coneguda. Es generalitza fins i tot als grups abelians de tipus finit. Si no, s'introdueixen grups d'un tipus particular: els grups simples. S'intenta captar el paper primordial que tenen i comprendre com, en certa manera, permeten aprehendre la classificació dels grups finits. Abans, cal introduir algunes nocions.


Sigui   un grup finit, s'anomena successió normal de   tota successió finita estrictament decreixent (en el sentit de la inclusió) de subgrups:

 

tal que   és un subgrup distingit de  .

Una successió normal s'anomena de descomposició si és màxima. El grup   és distingit en  , té sentit considerar el grup quocient   (notat   en la successió). Els grups   que apareixen en aquesta construcció s'anomenen els factors de descomposició de la successió. La maximalitat de la successió de descomposició arrossega immediatament que són simples.

D'altra banda, un teorema de Jordan-Hölder afirma que dues successions de descomposició de   tenen (tret d'isomorfismes) els mateixos factors de descomposició. (Atenció, poden no aparèixer en el mateix ordre).


Així, a tot grup finit  , se li pot associar una successió de grups simples  .

Aquesta successió no caracteritza el grup   (el que és una llàstima, si no s'hauria portat completament l'estudi dels grups finits i de la seva classificació a la dels grups simples!). Es pren per convèncer-se'n el cas del grup cíclic amb 4 elements   i del grup de Klein (isomorf a  ). Aquests dos grups tenen la mateixa successió de factors de descomposició   sense ser però isomorfs.


Tanmateix té una molt forta influència sobre la seva estructura. Es pot citar per exemple l'estudi dels grups resolubles (és a dir, en el cas finit, dels grups els factors de descomposició del qual són grups cíclics d'ordre primer).


S'arriba de manera natural a una qüestió capital en teoria dels grups finits, coneguda sota el nom del problema de l'extensió que s'enuncia per:

Donats dos grups finits   i  , quins són els grups finits   tals que

  •   és isomorf a un subgrup distingit de   (que es nota sempre  ).
  •  .

Els grups   solucions d'aquest problema s'anomenen les extensions de   per  .


Els productes directes i semidirectes són exemples de solucions al problema de l'extensió. Tanmateix, desgraciadament no tota solució del problema de l'extensió es presenta sota la forma d'un producte directe o d'un producte semidirecte. Es pot veure per exemple amb el grup dels quaternions, que és una extensió de   per   sense ser però un producte directe o un producte semidirecte.

Suposant un instant que se sàpiga resoldre el problema de l'extensió en general. Llavors se seria capaç de reconstruir tots els grups finits a partir dels grups simples (resolent el problema de l'extensió pas a pas a partir d'una successió de grups simples - que es faria llavors la successió de factors de descomposició del grup construït).

El problema de l'extensió apareix per tant com una mena de recíproc al d'associar a un grup finit una successió de factors de descomposició.


Aquest enfocament mostra que l'estudi dels grups finits porta a:
  • L'estudi dels grups simples.
  • El problema de l'extensió.


Així els grups finits simples apareixen com els maons elementals de la teoria dels grups finits (es pot fer l'analogia amb els nombres primers en teoria dels enters! Atenció amb tot, la successió dels factors primers d'un nombre sencer caracteritza completament el nombre, cosa que no és el cas dels grups simples per als grups finits com s'acaba de veure!)


El 1981, després de més de mig segle de treball acarnissat i alguns milers de pàgines de demostració, la comunitat matemàtica dona una classificació dels grups finits simples. Més precisament, tot grup finit simple pertany a una de les famílies següents:


  • els grups cíclics l'ordre dels quals és un nombre primer.
  • els grups alternats  , amb  .

Bibliografia

modifica

H. Kurzweil et B. Stellmacher, The Theory of Finite Groups. An Introduction. Springer, 2004.

Vegeu també

modifica