Vés al contingut

Teorema d'isomorfisme

De la Viquipèdia, l'enciclopèdia lliure
(S'ha redirigit des de: Primer 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òria

[modifica]

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, Bartel 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.

Grups

[modifica]

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'isomorfisme

[modifica]
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 f: GG' 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'isomorfisme

[modifica]
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ó HN és un subgrup normal de H, i
  3. Els grups quocient (HN) / N i H / (HN) 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, HN 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 / (SN) són "iguals", en el sentit que són isomorfs.[5]

Tercer teorema d'isomorfisme

[modifica]

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ò dona 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ó SN n'és l'ínfim.

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

Anells

[modifica]

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

Primer teorema d'isomorfisme

[modifica]

Siguin R i S dos anells, i sigui φ: RS 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'isomorfisme

[modifica]

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

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

Tercer teorema d'isomorfisme

[modifica]

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òduls

[modifica]

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'isomorfisme

[modifica]

Siguin M i N dos mòduls, i sigui φ: MN 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'isomorfisme

[modifica]

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

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

Tercer teorema d'isomorfisme

[modifica]

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 .

General

[modifica]

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'isomorfisme

[modifica]

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'isomorfisme

[modifica]

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'isomorfisme

[modifica]

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

Referències

[modifica]
  1. Jacobson 2009, p. 101, anomena "primer" a l'isomorfisme dels mòduls (S + T) / T i S / (ST), 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. 

Bibliografia

[modifica]

Enllaços externs

[modifica]