Grup divisible

En matemàtiques, i especialment en el camp de teoria de grups, un grup divisible és un grup abelià on tot element es pot dividir per enters positius, en algun sentit, o més exactament, on tot element és un múltiple n-sim per a qualsevol enter positiu n. Els grups divisibles són importants a l'hora d'entendre l'estructura dels grups abelians, sobre tot perquè són els grups abelians injectius.

Definició

Un grup abelià $(G,+)$ és divisible si, per a qualsevol enter positiu $n$ i per a tot $g\in G$, existeix un element $y\in G$ tal que $ny=g$.Plantilla:Sfn Una condició equivalent és: per a qualsevol enter positiu $n$, es té que $nG=G$, ja que l'existència d'un element $y$ per a qualssevol $n$i $g$ implica que $nG\supset G$ (en sentit contrari, $nG\subset G$ és cert per a qualsevol grup). Una tercera condició equivalent és que un grup abelià $G$ és divisible si i només si $G$ és un objecte injectiu dins la categoria de grups abelians; per aquest motiu, de vegades es diu que un grup divisible és un grup injectiu.

Un grup abelià és $p$-divisible per un nombre primer $p$ si per a tot $g\in G$ existeix un element $y\in G$ tal que $py=g$. Equivalentment, un grup abelià és $p$-divisible si i només si $pG=G$.

Exemples

• Els nombres racionals $\mathbb{Q}$ formen un grup divisible amb la suma.
• Més en general, el grup additiu subjacent de qualsevol espai vectorial sobre $\mathbb{Q}$ és divisible.
• Tot quocient d'un grup divisible és divisible. Així, $\mathbb{Q}/\mathbb{Z}$ és divisible.
• El component p-primari $\mathbb{Z}[1/p]/\mathbb{Z}$ de $\mathbb{Q}/\mathbb{Z}$, que és isomorf al grup p-quasicíclic $\mathbb{Z}[p^{\mathrm{\infty }}]$, és divisible.
• El grup multiplicatiu dels nombres complexos ${ℂ}^{*}$ és divisible.
• Tot grup abelià existencialment tancat (en el sentit de la teoria de models) és divisible.

Propietats

• Si un grup divisible és un subgrup d'un grup abelià, llavors és un sumand directe.Plantilla:Sfn
• Tot grup abelià es pot submergir en un grup divisible.Plantilla:Sfn
• Els grups divisibles no trivials no són finitament generats.
• Addicionalment, tot grup abelià es pot submergir de manera única en un grup divisible com un subgrup essencial.Plantilla:Sfn
• Un grup abelià és divisible si i només si és p-divisible per a tot nombre primer p.
• Sigui A un anell. Si T és un grup divisible, llavors Plantilla:Nowrap és injectiu dins la categoria dPlantilla:'A-mòduls.Plantilla:Sfn

Teorema d'estructura dels grups divisibles

Sigui G un grup divisible. Llavors el subgrup de torsió Tor(G) de G és divisible. Com que un grup divisible és un mòdul injectiu, llavors Tor(G) és un sumand directe de G. Per tant,

$G=\mathrm{T}\mathrm{o}\mathrm{r}(G)\oplus G/\mathrm{T}\mathrm{o}\mathrm{r}(G).$

Plantilla:Nowrap és divisible perquè és un quocient d'un grup divisible. A més, és lliure de torsió. Per tant, és un espai vectorial sobre Q, i existeix un conjunt I tal que

$G/\mathrm{T}\mathrm{o}\mathrm{r}(G)={\oplus }_{i\in I}\mathbb{Q}={\mathbb{Q}}^{(I)}.$

L'estructura del subgrup de torsió és difícil de determinar, però es pot demostrarPlantilla:SfnPlantilla:Sfn que per a tots els nombres primers p existeix $I_p$ tal que

$(\mathrm{T}\mathrm{o}\mathrm{r}(G){)}_p={\oplus }_{i\in I_p}\mathbb{Z}[p^{\mathrm{\infty }}]=\mathbb{Z}[p^{\mathrm{\infty }}{]}^{(I_p)},$

on $(\mathrm{T}\mathrm{o}\mathrm{r}(G){)}_p$ és el component p-primari de Tor(G).

Així, si P és el conjunt dels nombres primers,

$G=(\underset{p\in 𝐏}{⨁}\mathbb{Z}[p^{\mathrm{\infty }}{]}^{(I_p)})\oplus {\mathbb{Q}}^{(I)}.$

Les cardinalitats dels conjunts I i I_p per a Plantilla:Nowrap estan unívocament determinades pel grup G.

Grups abelians reduïts

Es diu que un grup abelià és reduït si el seu únic subgrup divisible és el grup trivial {0}. Tot grup abelià és la suma directa d'un subgrup divisible i un subgrup reduït. De fet, tot grup té un únic subgrup divisible maximal, i aquest subgrup divisible és un sumand directe.Plantilla:Sfn Això és una característica especial dels anells hereditaris com els enters Z: la suma directa de mòduls injectius és injectiva perquè l'anell és noetherià, i els quocients de mòduls injectius són injectius perquè l'anell és hereditari, així que qualsevol submòdul generat per mòduls injectius és injectiu. El recíproc és un resultat de Plantilla:Harvnb: si tot mòdul té un únic submòdul injectiu maximal, llavors l'anell és hereditari.

El teorema d'Ulm proporciona una classificació completa dels grups abelians periòdics reduïts comptables.

Generalització

Es poden donar diverses definicions que generalitzen el concepte de grup divisible al cas de mòduls divisibles. Les següents definicions s'utilitzen en la bibliografia per definir un mòdul divisible M sobre un anell R:

1. Plantilla:Nowrap per a qualsevol element r de R no nulPlantilla:Sfn (de vegades cal que r no sigui un divisor de zero, i alguns autorsPlantilla:SfnPlantilla:Sfn requereixen que R sigui un domini).
2. Per a tot ideal principal per l'esquerra Ra, qualsevol homomorfisme de Ra cap a M s'estén a un homomorfisme de R cap a MPlantilla:SfnPlantilla:Sfn (aquest tipus de mòdul divisible també s'anomena mòdul principalment injectiu).
3. Per a tot ideal finitament generat per l'esquerra L de R, qualsevol homomorfisme de L cap a M s'estén a un homomorfisme de R cap a M.Plantilla:Sfn

Les últimes dues condicions són "versions restringides" del criteri de Baer per a mòduls injectius. Com que els mòduls injectius per l'esquerra estenen els homomorfismes de tots els ideals per l'esquerra cap a R, els mòduls injectius són clarament divisibles en els sentits de les definicions 2 i 3.

Si, a més, R és un domini, llavors les tres definicions són equivalents. Si R és un domini d'ideals principals per l'esquerra, llavors els mòduls divisibles coincideixen amb els mòduls injectius.Plantilla:Sfn Per això, en el cas de l'anell dels enters Z, el qual és un domini d'ideals principals, un Z-mòdul (que és exactament un grup abelià) és divisible si i només si és injectiu.

Si R és un domini commutatiu, llavors els mòduls R injectius coincideixen amb els mòduls R divisibles si i només si R és un domini de Dedekind.Plantilla:Sfn

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-llibre
• Plantilla:Ref-publicació
• Plantilla:Ref-publicació