Teorema d'isomorfisme

En matemàtiques, i més específicament en l'àmbit de l'àlgebra abstracta, els teoremes d'isomorfisme són tres teoremes que descriuen la relació entre quocients, homomorfismes i subobjectes. Existeixen diferents versions dels teoremes per a grups, anells, espais vectorials, mòduls, àlgebres de Lie i altres estructures algebraiques. En àlgebra universal, els teoremes d'isomorfisme es poden generalitzar a l'àmbit d'àlgebres i congruències.

HistòriaModifica

Els teoremes d'isomorfisme foren enunciats per primer cop per al cas de morfismes de mòduls per la matemàtica Emmy Noether en la seva publicació Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern del 1927 als Mathematische Annalen. Es poden trobar altres resultats menys generals d'aquests teoremes a l'obra de Richard Dedekind i a publicacions anteriors de Noether.

Tres anys més tard, B.L. van der Waerden publicà la seva obra Algebra, el primer tractat d'àlgebra abstracta que introduí l'aproximació grups-anells-cossos. Van der Waerden basà part de la seva obra en exposicions de Noether sobre teoria de grups i d'Emil Artin sobre àlgebra, així com en un seminari conduït per Artin, Wilhelm Blaschke, Otto Schreier, i el propi van der Waerden sobre ideals. Els tres teoremes d'isomorfisme, anomenats teorema d'homomorfisme, i les dues lleis d'isomorfisme quan s'apliquen a grups, apareixen explícitament a l'obra de van der Waerden.

GrupsModifica

Enunciem primer els tres teoremes per al cas de grups. Notem que algunes fonts intercanvien l'ordre dels teoremes segon i tercer.[1] Una altra variant que es pot trobar a la bibliografia, particularment a l'Algebra de van der Waerden, és anomenar Teorema Fonamental d'Homomorfisme al primer teorema d'isomorfisme, i llavors reduir a dos el nombre de teoremes d'isomorfisme restants.[2] D'altra banda, alguns autors consideren que el teorema del reticle (també conegut com el teorema de correspondència) és el quart teorema d'isomorfisme.

Primer teorema d'isomorfismeModifica

 
Primer teorema d'isomorfisme per a grups; aquí, σ és la projecció de G sobre el seu nucli, j és la inclusió de Im f sobre G', i   és l'isomorfisme entre G / Ker(f) i Im f.

Siguin G i G' dos grups, i sigui fG → G' un homomorfisme. Aleshores:

  1. El nucli de f és un subgrup normal de G,
  2. La imatge de f és un subgrup de G', i
  3. La imatge de f és isomorfa al grup quocient G / Ker(f).

En particular, si f és exhaustiva, llavors G' és isomorf a G / Ker(f).[3]

Segon teorema d'isomorfismeModifica

 
Segon teorema d'isomorfisme per a grups

Sigui G un grup. Sigui H un subgrup de G, i sigui N un subgrup normal de G. Aleshores:

  1. El conjunt producte HN és un subgrup de G,
  2. La intersecció H ∩ N és un subgrup normal de H, i
  3. Els grups quocient (HN) / N i H / (H ∩ N) són isomorfs.

Aquest segon teorema d'isomorfisme es dedueix del primer, ja que ai   és normal a G, llavors també   és normal a  , i es pot demostrar que l'epimorfisme

 

verifica  . Si   i   són projeccions canòniques, llavors la construcció de l'isomorfisme   es descriu pel diagrama commutatiu de la figura.

Alguns autors anomenen aquest teorema d'isomorfisme el "teorema diamant", a causa de la forma del reticle de subgrups resultant, amb HN al capdamunt, H ∩ N a la part inferior, i amb N i H als costats.[4] Altres autors també l'anomenen "llei del paral·lelogram" (per analogia amb la llei del paral·lelogram per a vectors) perquè, en el reticle de subgrups, els dos costats que representen els grups quocients (SN) / N i S / (S ∩ N) són "iguals", en el sentit que són isomorfs.[5]

Tercer teorema d'isomorfismeModifica

Sigui G un grup, i sigui N un subgrup normal de G. Aleshores

  1. Si   és un subgrup de   tal que  , llavors   és un subgrup de  .
  2. Tot subgrup de   és de la forma  , per a algun subgrup   de   tal que  .
  3. Si   és un subgrup normal de   tal que  , llavors   és un subgrup normal de  .
  4. Tot subgrup normal de   és de la forma  , per a algun subgrup normal   de   tal que  .
  5. Si   és un subgrup normal de   tal que  , llavors el grup quocient   és isomorf a  .

Això dóna lloc al següent diagrama commutatiu:

 

on   són projeccions canòniques,   és l'aplicació identitat, i les fletxes horitzontals formen una successió d'homomorfismes exacta.

Hom pot visualitzar l'enunciat d'aquest teorema com que es pot "cancel·lar el denominador N", encara que això no és formalment correcte.

DiscussióModifica

 
Primer teorema d'isomorfisme

El primer teorema d'isomorfisme és una conseqüència del resultat de la teoria de categories de què la categoria de grups és (normal epi, mono)-factoritzable; en altres paraules, els epimorfismes normals i els monomorfismes formen un sistema de factorització per a la categoria. El diagrama commutatiu de la figura il·lustra aquest fet, que mostra els objectes i morfismes que es poden deduir a partir del morfisme f: GH. Aquest diagrama mostra que tot morfisme de la categoria de grups té un nucli en el sentit de la teoria de categories; un morfisme qualsevol f factoritza en  , on ι és un monomorfisme i π és un epimorfisme (en una categoria conormal, tot epimorfisme és normal). Això es representa en el diagrama mitjançant un objecte   i un monomorfisme   (els nuclis són sempre monomorfismes), que completen la successió exacta curta que va des de la part inferior esquerra a la part superior dreta del diagrama. L'ús de la convenció de les seqüències exactes ens estalvia haver de representar els morfismes zero de   a H i  .

Si la successió és separable per la dreta (és a dir, si hi ha un morfisme σ que envia   a una π-preimatge de si mateix), llavors G és el producte semidirecte del subgrup normal   i el subgrup  . Si és separable per l'esquerra (és a dir, si existeix algun   tal que  ), llavors també ha de ser separable per la dreta, i   és una descomposició en producte directe de G. En general, l'existència d'una separació per la dreta no implica l'existència d'una separació per l'esquerra; però en una categoria abeliana (com la dels grups abelians), les separacions per l'esquerra i per la dreta són equivalents pel lema de separació, i és suficient tenir una separació per la dreta per tenir una descomposició en suma directa  . En una categoria abeliana, tot monomorfisme és normal, i es pot estendre el diagrama amb una segona successió exacta curta  .

Pel que fa al segon teorema d'isomorfisme, el producte SN és el suprem de S i N en el reticle de subgrups de G, mentre que la intersecció S ∩ N n'és l'ínfim.

Es pot generalitzar el tercer teorema d'isomorfisme mitjançant el lema dels nou en categories abelianes.

AnellsModifica

Els enunciats dels teoremes per a anells són similars, amb el concepte de subgrup normal reemplaçat pel d'ideal.

Primer teorema d'isomorfismeModifica

Siguin R i S dos anells, i sigui φR → S un homomorfisme d'anells. Aleshores:

  1. El nucli de φ és un ideal de R,
  2. La imatge de φ és un subanell de S, i
  3. La imatge de φ és isomorfa a l'anell quocient R / ker(φ).

En particular, si φ és exhaustiva, llavors S és isomorf a R / ker(φ).

Segon teorema d'isomorfismeModifica

Sigui R un anell. Siguin S un subanell de R i I un ideal de R. Aleshores:

  1. La suma S + I = {s + i | s ∈ Si ∈ I} és un subanell de R,
  2. La intersecció S ∩ I és un ideal de S, i
  3. Els anells quocient (S + I) / I i S / (S ∩ I) són isomorfs.

Tercer teorema d'isomorfismeModifica

Siguin R un anell, i B un ideal de R. Aleshores

  1. Si   és un subanell de   tal que  , llavors   és un subanell de  .
  2. Tot subanell de   és de la forma  , per a algun subanell   de   tal que  .
  3. Si   és un ideal de   tal que  , llavors   és un ideal de  .
  4. Tot ideal de   és de la forma  , per a algun ideal   de   tal que  .
  5. Si   és un ideal de   tal que  , llavors l'anell quocient   és isomorf a  .

MòdulsModifica

Els enunciats dels teoremes d'isomorfisme per a mòduls són particularment senzills, ja que és possible formar un mòdul quocient a partir d'un submòdul qualsevol. Els teoremes d'isomorfisme per a espais vectorials i per a grups abelians són casos particulars dels resultats per a mòduls. Per a espais vectorials de dimensió finita, aquests teoremes són una conseqüència del teorema del rang.

En els teoremes següents, el terme “mòdul” vol dir “R-mòdul”, on R és un anell fixat.

Primer teorema d'isomorfismeModifica

Siguin M i N dos mòduls, i sigui φM → N un homomorfisme de mòduls. Aleshores:

  1. El mòdul de φ és un submòdul de M,
  2. La imatge de φ és un submòdul de N, i
  3. La imatge de φ és isomorfa al mòdul quocient M / ker(φ).

En particular, si φ és exhaustiva, llavors N és isomorf a M / ker(φ).

Segon teorema d'isomorfismeModifica

Sigui M un mòdul, i siguin S i T dos submòduls de M. Aleshores:

  1. La suma S + T = {s + t | s ∈ St ∈ T} és un submòdul de M,
  2. La intersecció S ∩ T és un submòdul de M, i
  3. Els mòduls quocient (S + T) / T i S / (S ∩ T) són isomorfs.

Tercer teorema d'isomorfismeModifica

Sigui M un mòdul, i sigui T un submòdul de M.

  1. Si   és un submòdul de   tal que  , llavors   és un submòdul de  .
  2. Tot submòdul de   és de la forma  , per a algun submòdul   de   tal que  .
  3. Si   és un submòdul de   tal que  , llavors el mòdul quocient   és isomorf a  .

GeneralModifica

Per tal de generalitzar aquests resultats a una àlgebra universal, cal substituir els subgrups normals per congruències.

Una congruència sobre una àlgebra   és una relació d'equivalència   que és una subàlgebra de   dotada amb l'estructura d'operació component a component. Hom pot definir el conjunt de classes d'equivalència   sobre una àlgebra del mateix tipus, si es defineixen les operacions mitjançant elements representatius; això està ben definit perquè   és una subàlgebra de  . L'estructura resultant és l'àlgebra quocient.

Primer teorema d'isomorfismeModifica

Sigui   un homomorfisme d'àlgebres. Llavors la imatge de   és una subàlgebra de  , la relació donada per   (és a dir, el nucli de f) és una congruència sobre  , i les àlgebres   i   són isomorfes. (Notem que, en el cas d'un grup, f(x)=f(y) si i només si f(xy-1) = 1, amb la qual cosa hom recupera la noció de nucli emprada en teoria de grups.)

Segon teorema d'isomorfismeModifica

Donades una àlgebra  , una subàlgebra   De  , i una congruència   sobre  , sigui   la traça de   dins   i   la col·lecció de classes d'equivalència que intersecten amb  . Aleshores:

  1.   és una congruència sobre  ,
  2.   és una subàlgebra de  , i
  3. L'àlgebra   és isomorfa a l'àlgebra  .

Tercer teorema d'isomorfismeModifica

Sigui   una àlgebra i siguin   dues relacions de congruència sobre   tals que  . Aleshores   és una congruència sobre  , i   és isomorf a  .

ReferènciesModifica

  1. Jacobson 2009, p. 101, anomena "primer" a l'isomorfisme dels mòduls (S + T) / T i S / (S ∩ T), i "segon" a l'isomorfisme entre (M / T) / (S / T) i M / S.
  2. Durbin, John R. Modern Algebra: An Introduction. Wiley, 2009, p. 238. ISBN 978-0-470-38443-5. 
  3. Castellet, Manuel; Llerena, Irene. «Teorema 5.2». A: Àlgebra Lineal i Geometria. 4a edició. Universitat Autònoma de Barcelona, 2005, p. 49. ISBN 84-7488-943-X. 
  4. Isaacs, I. Martin. Algebra: A Graduate Course. American Mathematical Soc., 1994, p. 33. ISBN 978-0-8218-4799-2. 
  5. Cohn, Paul Moritz. Classic Algebra. Wiley, 2000, p. 245. ISBN 978-0-471-87731-8. 

BibliografiaModifica

Enllaços externsModifica