Grup (matemàtiques)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a6/Rubik%27s_cube.svg/220px-Rubik%27s_cube.svg.png)
Un grup és una estructura algebraica formada per un conjunt G d'elements on hi ha definida una operació binària, com pot ser la suma o el producte, i que compleix unes propietats determinades que es detallaran més endavant.[1][2]
Molts objectes estudiats en matemàtiques tenen estructura de grup.[3] Entre aquests es troben els nombres enters, els racionals, els reals i els complexos amb l'operació de la suma, així com els racionals, reals i complexos sense el zero amb l'operació del producte. També té estructura de grup el conjunt de les matrius quadrades no singulars amb el producte o el conjunt de les funcions invertibles amb la composició.
Definició de grup
[modifica]Un grup és un conjunt G on hi ha definida una operació binària amb les propietats següents:[4][5][6]
- (existència d'element neutre)
- (existència d'element invers)
Si a més G verifica la propietat addicional següent:
es diu que el grup (G,*) és un grup abelià o commutatiu.[7] Per indicar que un grup és abelià és comú notar l'operació binària pel símbol + en comptes de *.
Definició alternativa
[modifica]Es pot donar una definició alternativa de grup, que té l'avantatge que no conté existencials. Un grup és un conjunt G on hi ha definides tres operacions, una binària anomenada producte, una unària anomenada invers, i una zero-ària anomenada element neutre, notades respectivament
i que compleixen les propietats següents:
Història
[modifica]El concepte modern d'un grup abstracte es va desenvolupar a partir de diversos camps de les matemàtiques.[8][9][10] La motivació original de la teoria de grups era la recerca de solucions d'equacions polinòmiques de grau superior a 4. El matemàtic francès del segle XIX Évariste Galois, estenent l'obra prèvia de Paolo Ruffini i Joseph Louis Lagrange, va donar un criteri sobre la resolubilitat d'una equació polinòmica en particular en termes del grup de simetria de les seves arrels (solucions). Els elements dels anomenats grups de Galois corresponen a certes permutacions de les seves arrels. Al principi, les idees de Galois van ser rebutjades pels seus contemporanis, i només es van publicar pòstumament.[11][12] En particular, Augustin Louis Cauchy va estudiar grups de permutacions més generals. En el text Sobre la teoria de grups, i la seva dependència de l'equació simbòlica (1854) d'Arthur Cayley es dona la primera definició abstracta de grup finit.[13]
La geometria va ser el segon camp en què es van utilitzar els grups de forma sistemàtica, especialment els grups de simetria dins del programa d'Erlangen de Felix Klein de 1872.[14] Després que emergissin les noves geometries com ara la hiperbòlica i la projectiva, Klein va utilitzar la teoria de grups per organitzar-les d'una forma més coherent. Avançant encara més aquestes idees, Sophus Lie va iniciar l'estudi dels grups de Lie l'any 1884.[15]
El tercer camps que va contribuir en l'estudi de la teoria de grups va ser la teoria de nombres. Carl Friedrich Gauß havia utilitzat implícitament algunes estructures de grups abelians en la seva obra de teoria de nombres Disquisitiones arithmeticae (1798), i Leopold Kronecker ho va fer de forma més explícita.[16] Al 1847, Ernst Kummer va fer els primers intents de demostrar el darrer teorema de Fermat desenvolupant la factorització descrita per grups en nombres primers.[17]
La convergència d'aquestes diverses fonts en una teoria unificada de grups va començar amb el llibre de Camille Jordan Traité des substitutions et des équations algébriques (1870).[18] Walther von Dyck (1882) va introduir la idea d'especificar un grup a partir de generadors i relacions, i també va ser el primer a donar una definició axiomàtica d'un "grup abstracte", en la terminologia del seu temps.[19] Durant el segle XX, els grups van guanyar un gran reconeixement gràcies a l'obra pionera de Ferdinand Georg Frobenius i de William Burnside, que van treballar en la teoria de la representació de grups finits, en la teoria de la representació modular de Richard Brauer i en els articles d'Issai Schur.[20] La teoria dels grups de Lie, i més generalment dels grups localment compactes va ser estudiada per Hermann Weyl, Élie Cartan i molts d'altres.[21] La seva contrapartida algebraica, la teoria dels grups algebraics, va prendre forma per primer cop gràcies a Claude Chevalley (a partir de finals dels anys 1930) i més tard gràcies a l'obra d'Armand Borel i Jacques Tits.[22]
En l'Any de la Teoria de Grups de la Universitat de Chicago (1960-1961), es van unir diversos teòrics de grups com Daniel Gorenstein, John Griggs Thompson i Walter Feit, establint les bases d'una col·laboració que, amb l'ajuda d'altres matemàtics, donaria lloc a la classificació de grups simples finits. L'últim pas el van fer Aschbacher i Smith l'any 2004. Aquest projecte va excedir altres empreses prèvies per la seva magnitud, tant en l'extensió de les seves demostracions com en el nombre d'investigadors implicats. Encara avui en dia s'està fent recerca sobre la demostració d'aquesta classificació.[23]
Propietats bàsiques
[modifica]De l'element de la primera propietat se'n diu element neutre. Un grup només té un element neutre, perquè si suposem que té dos elements neutres aplicant dos cops la primera propietat tenim
De l'element de la segona propietat se'n diu element invers de . La segona propietat afirma que cada element del grup té almenys un invers. A més tot element té com a màxim un invers, perquè si tingués dos elements inversos llavors tindríem
Com que l'element invers d'un element de G és únic el notem . L'invers del neutre és el neutre. L'invers de l'invers d'un element és ell mateix. Amb la nostra notació:
Si llavors perquè tenim
(posar altres propietats bàsiques)
Morfismes de grups
[modifica]Siguin i dos grups amb les seves respectives operacions. Hi ha moltes maneres d'assignar a cada element de un element de . De entre totes les maneres que hi ha de fer això
anomenarem morfismes de grups a aquelles que verifiquen un "bon comportament" respecte de les estructures de grup de cada grup. Concretament anomenarem morfismes de grups a totes les aplicacions que verifiquen:
Els morfismes de grups no són aplicacions massa alocades. La idea és arribar a definir amb precisió què significa que dos grups siguin equivalents tot i no ser la mateixa cosa conjuntísticament parlant.
Primera propietat senzilla: si i són els respectius elements neutres i és morfisme llavors . Vegem-ho:
Moltes vegades aquesta propietat s'imposa en la definició de morfisme, però ja es veu que no cal.
Segona propietat senzilla: si és un morfisme de grups, llavors . Vegem-ho:
Exemples de grups
[modifica]Grup simètric
[modifica]Sigui X un conjunt qualsevol, i sigui el conjunt de les aplicacions bijectives de X en X. Llavors és un grup on és la composició d'aplicacions. L'element neutre n'és l'aplicació identitat, i la inversa d'una aplicació n'és l'invers en el grup. Aquest grup s'anomena grup simètric de X.
Si X és un conjunt finit de n elements llavors té n! elements.
Si és un grup qualsevol, llavors té algun subgrup isomorf a . En altres paraules, tot grup es pot veure com a subgrup d'algun grup simètric.
El producte de matrius invertibles és un grup
[modifica]El producte és intern al conjunt
[modifica]En primer lloc, dues matrius són multiplicables si la primera té el mateix nombre de columnes que files de la segona. En realitzar el producte de dues matrius aquesta condició es compleix.
Les dimensions de la matriu obtinguda en multiplicar dues matrius corresponen al nombre de files de la primera i al nombre de columnes de la segona. Llavors, en multiplicar dues matrius , la matriu resultant és també una matriu .
En segon lloc, s'ha de demostrar que el determinant de la matriu obtinguda sigui 0, ja que això és una condició necessària per ser invertible. Per fer-ho es farà ús de la propietat següent: . La qual enuncia que el producte de dos determinants de dues matrius és igual al determinant del producte de les matrius. Per tant, si es multipliquen dos determinants diferents de 0, el determinant de la matriu obtinguda serà diferent de 0.
En vista d'això, es confirma que el producte és tancat al conjunt.
Té element neutre
[modifica]L'element neutre és la matriu , anomenada matriu identitat. Això es pot verificar comprovant que aquesta matriu satisfaci que per a qualsevol matriu A del conjunt.
Sigui .
Efectivament, en operar I amb A per l'esquerra i per la dreta s'aconsegueix la matriu A, demostrant que la matriu identitat és l'element neutre.
Té element invers
[modifica]Atès que s'ha establert que les matrius del conjunt són invertibles, existeix un element invers en el conjunt per a qualsevol matriu. Aquest element invers s'anomena matriu inversa i es calcula com:
La divisió és sempre possible
[modifica]Per a cada matriu A i B del conjunt, existeixen una matriu X i una matriu Y tals que . Aquestes equacions es verifiquen si es pren i , ja que una matriu multiplicada per la seva inversa dona com a resultat la matriu identitat i una matriu multiplicada per la matriu identitat dona com a resultat ella mateixa. Per tant, el divisor per l'esquerra es calcula com i el divisor per la dreta com .
Subgrups
[modifica]Direm que és un subgrup de si i té estructura de grup amb l'operació binària * de (verifica les tres propietats de la definició de grup) i és tancat amb aquesta operació,
Si un grup és abelià aleshores els seus subgrups també ho són. A més tot grup conté un subgrup abelià. De fet el grup format per un sol element
sempre és un subgrup de qualsevol grup i és abelià.
Exemple de subgrup: Z(G)
[modifica]Definim Z(G) (el centre de G) com:
L'objectiu és veure que és un subgrup de .
Per una banda sabem que:
A més és tancat per l'operació * de , perquè si donat un qualsevol tenim
Per tant
Per veure que té estructura de grup només cal veure que el neutre hi pertany (la qual cosa és certa per la primera propietat de grup i la definició de ) i que l'invers d'un element que hi pertanyi també hi pertany. Això és dir:
però ho podem justificar perquè tenim les identitats:
Per com està definit és clar que és un grup abelià.
Si llavors resulta que és un grup abelià. El recíproc també és cert.
Subgrups relacionats amb morfismes
[modifica]Donat un morfisme de grups podem definir a i els subgrups i de la següent manera:
A partir d'aquí es pot obtenir un resultat, conegut com el Primer Teorema d'Isomorfia:
Categoria dels grups
[modifica]La categoria Grp, anomenada categoria dels grups, té per objectes els grups i per morfismes els morfismes de grups. Els isomorfismes d'aquesta categoria coincideixen amb els isomorfismes de grups.
Referències
[modifica]- ↑ «group | mathematics | Britannica» (en anglès). [Consulta: 6 febrer 2022].
- ↑ Group. MathWorld
- ↑ «Introduction to Groups». [Consulta: 14 febrer 2022].
- ↑ Artin, 2018, p. 40, §2.2.
- ↑ Lang, 2002, p. 3, I.§1 and p. 7, I.§2.
- ↑ Lang, 2005, p. 16, II.§1.
- ↑ Gardner, Martin. «2. Las trenzas y la teoría de grupos». A: Nuevos pasatiempos matemáticos (en castellà). Alianza Editorial, p. 32. ISBN 9788491810636 [Consulta: 28 gener 2022]. «La estructura no es un grupo si no posee las cuatro siguientes características: 1. Cuando se combinan mediante la operación dos elementos del conjunto, el resultado es otro elemento del mismo conjunto [...] 2. La operación obedece a la “ley asociativa”: (a ⬭ b) ⬭ c = a ⬭ (b ⬭ c). 3. Existe un elemento e (llamado “neutro”) tal que a ⬭ e = e ⬭ a = a. 4. Para cada elemento a existe un elemento inverso a' tal que a ⬭ a' = a' ⬭ a = e. Si además de estas características, la operación obedece a la ley conmutativa (a ⬭ b = b ⬭ a), el grupo se llama conmutativo o Abeliano.»
- ↑ Wussing, 2007.
- ↑ Kleiner, 1986.
- ↑ Smith, 1906.
- ↑ Galois, 1908.
- ↑ Kleiner, 1986, p. 202.
- ↑ Cayley, 1889.
- ↑ Wussing, 2007, §III.2.
- ↑ Lie, 1973.
- ↑ Kleiner, 1986, p. 204.
- ↑ Wussing, 2007, §I.3.4.
- ↑ Jordan, 1870.
- ↑ von Dyck, 1882.
- ↑ Curtis, 2003.
- ↑ Mackey, 1976.
- ↑ Borel, 2001.
- ↑ Solomon, 2018.
Bibliografia
[modifica]- Artin, Michael. Algebra. Prentice Hall, 2018. ISBN 978-0-13-468960-9., El capítol 2 conté una explicació de les nocions presentades en aquest capítol.
- Wussing, Hans. The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory. Nova York: Dover Publications, 2007. ISBN 978-0-486-45868-7..
- Kleiner, Israel «The evolution of group theory: A brief survey». Mathematics Magazine, 59, 4, 1986, p. 195–215. DOI: 10.2307/2690312..
- Smith, David Eugene. History of Modern Mathematics, 1906..
- Galois, Évariste. Manuscrits de Évariste Galois [Évariste Galois' Manuscripts] (en francès). París: Gauthier-Villars, 1908. (l'obra de Galois va ser publicada per primer cop per Joseph Liouville l'any 1843).
- Cayley, Arthur. The Collected Mathematical Papers of Arthur Cayley. II (1851–1860). Cambridge University Press, 1889..
- Lie, Sophus. Gesammelte Abhandlungen. Band 1 [Collected papers. Volume 1] (en alemany). Nova York: Johnson Reprint Corp., 1973.
- Lang, Serge. Algebra. Rev. print. Reading, Mass.: Addison-Wesley, 1971. ISBN 978-0-201-04177-4.
- Lang, Serge. Undergraduate Algebra. 3rd. Berlin, New York: Springer-Verlag, 2005. ISBN 978-0-387-22025-3..
- Jordan, Camille. Traité des substitutions et des équations algébriques [Study of Substitutions and Algebraic Equations] (en francès). París: Gauthier-Villars, 1870..
- von Dyck, Walther «Gruppentheoretische Studien (Group-theoretical studies)» (en alemany). Mathematische Annalen, 20, 1, 1882, p. 1–44. Arxivat de l'original el 2014-02-22. DOI: 10.1007/BF01443322..
- Curtis, Charles W. Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer. Providence, R.I.: American Mathematical Society, 2003. ISBN 978-0-8218-2677-5..
- Mackey, George Whitelaw. The Theory of Unitary Group Representations. University of Chicago Press, 1976.
- Borel, Armand. Linear Algebraic Groups. 126. 2a edició. Berlin, New York: Springer-Verlag, 1991. ISBN 978-0-387-97370-8..
- Solomon, Ronald «The classification of finite simple groups: A progress report». Notices of the AMS, 65, 6, 2018, p. 1. DOI: 10.1090/noti1689.
Vegeu també
[modifica]- Bucle
- Grup abelià
- Grup cíclic
- Introducció a la teoria de grups
- Monoide
- Teoria de categories
- Teoria de grups