# Anell euclidià

Un anell euclidià, en matemàtiques i més precisament en àlgebra, en la teoria dels anells, és un tipus particular d'anell commutatiu unitari íntegre. Un anell és anomenat euclidià si és possible definir-hi una divisió euclidiana.
Aquesta propietat és rica en conseqüències: un anell euclidià és sempre principal, verifica la identitat de Bézout, el lema d'Euclides, és factorial i satisfà les condicions del teorema fonamental de l'aritmètica. Així es troben tots els resultats de l'aritmètica elemental i més específicament de l'aritmètica modular, però en un marc més general.
L'anell euclidià més clàssic és el dels enters, però també hi ha el dels enters de Gauss o també un altre anell, que permet construir una aritmètica vinculada al nombre auri i que explica nombroses propietats d'aquest irracional. L'anell dels polinomis amb coeficients en els nombres reals o complexos, i més en general en qualsevol cos commutatiu és també euclidià, donant així a llum a una aritmètica dels polinomis.

## Història
### Origen

La primera referència que va influir en el món matemàtic sobre la qüestió de la divisió euclidiana és al llibre VII, dels Elements d'Euclides datat aproximadament 300 anys A.C. S'hi troba la primera definició teòrica de la divisió i l'estudi de les seves conseqüències. Aquesta branca de les matemàtiques pren el nom d'aritmètica. Tracta essencialment de les qüestions relatives als nombres enters.
Certs matemàtics com Diofant d'Alexandria (env. 200/214 - aproximadament 284/298), més tard, Pierre de Fermat (1601 - 1665) compren la riquesa d'aquesta branca de les matemàtiques. Estableix alguns resultats com el petit teorema de Fermat i formula conjectures com el teorema de la suma dels dos quadrats o el gran teorema de Fermat. Una eina teòrica important és l'anàlisi de les propietats del residu de la divisió euclidiana dels membres d'una igualtat d'enters. Al Segle XVIII, certes conjectura es demostren. Es pot citar Leonhard Euler (1707 - 1783) amb el teorema dels dos quadrats o el cas n igual a tres del gran teorema de Fermat, gairebé tractat en 1753. Apareixen altres conjectures com la de la llei de reciprocitat quadràtica. Aquests resultats són en essència demostrats gràcies a l'enginy dels matemàtics, però l'aportació teòrica és feble, en conseqüència els resultats són poc generalitzables.

### Emergència del concepte

En 1801, Carl Friedrich Gauß (1777 - 1855) estudia el primer anell d'enters algebraics, el dels enters que porten ara el seu nom. Aquest anell posseeix l'equivalent d'una divisió euclidiana en Z . En conseqüència, la identitat de Bézout, el lema d'Euclides, i el teorema fonamental de l'aritmètica se li apliquen. Igualment, l'anell dels polinomis amb coeficients en un cos commutatiu, disposa també d'una divisió euclidiana. Gauss hi construeix una aritmètica anàloga a les precedents. Així, la divisió euclidiana ja no apareix com una especificitat dels nombres enters sinó com un algorisme que s'aplica a diversos conjunts proveïts d'una multiplicació i d'una addició.
Aquest enfocament es fa servir per a altres enters algebraics, per exemple per Ferdinand Eisenstein (1823 - 1852) que descobreix el conjunt dels nombres anomenats enters d'Eisenstein i que disposen d'una divisió euclidiana.
L'aportació d'una divisió euclidiana a una estructura és un pas fecund. Gauss se'n serveix per a una de les seves demostracions de la llei de reciprocitat quadràtica i es fan progressos tangibles cap a la resolució del gran teorema de Fermat. El cas n igual a tres es fa perfectament rigorós. Es demostren els casos n igual a cinc, després catorze, després set, amb l'aportació massiva d'altres idees. L'aplicació de la descomposició en factors primers als polinomis ciclotomics permet a Gauss trobar un nou polígon regular construïble amb el regle i el compàs, l'heptadecàgon o polígon regular a disset costats.
La idea és prou innovadora i fructuosa perquè el lema d'Euclides i el teorema fonamental de l'aritmètica de vegades siguin rebatejats lema de Gauss i teorema de Gauss . El llibre d'aritmètica de Gauss val ràpidament al seu autor, el sobrenom de príncep dels matemàtics.

### Formalització

Paradoxalment la formalització moderna prové de les limitacions de les aritmètiques precedents. Per un camí que fa servir la noció d'anell d'enters Gabriel Lamé (1795 - 1870) pensa que ha demostrat el gran teorema de Fermat. Ernst Kummer (1810 - 1893) mostra per un exemple en 1844 que un anell d'enters no disposa, en general, d'una descomposició única en factors primers. Aquest resultat invalida la prova de Lamé. Kummer descobreix en 1846 un nou concepte que bateja nombre complex ideal per retrobar sota una nova forma la necessària unicitat.
Aquests treballs obren la via a la formalització de l'estructura d'anell. Es pot citar Richard Dedekind (1831 1916) i David Hilbert (1862 1943) entre els principals contribuents. Un anell euclidià esdevé un cas particular simple d'una vasta teoria, la teoria dels anells. En aquest context, l'anell euclidià és un cas específic d'anell commutatiu unitari i integre. Entra en la subfamília dels anells factorials i més precisament dels anells principals, un cas particular d'anell factorial. Els anells d'enters estudiats per Kummer entren en una família diferent, la dels anells de Dedekind.

## Exemples
### Enters

Els enters formen el prototip de l'anell euclidià. Aquest conjunt verifica la propietat següent:
$\forall (a,b)\in \mathbb {Z} \times \mathbb {Z} ^{*},\exists q,r\in \mathbb {Z} \quad /\quad a=bq+r\quad {\rm {i}}\quad |r|<|b|$
Hom hi reconeix la forma de la divisió euclidiana en el conjunt dels naturals N per a la qual |n| = n. Es pot observar tanmateix que, d'una banda N no és un anell, d'altra banda aquí no cal la unicitat de q i r. Això s'explica pel fet que, per poder perllongar a Z (conjunt dels enters) la definició de la divisió en N, cal, o bé fixar una condició suplementària sobre b (b > 0) restringint així el camp de validesa de la divisió euclidiana, o acceptar prendre b negatiu i prendre per definició a = bq + r amb |r| < |b|. Però llavors es poden trobar dues descomposicions possibles:
    19 = (- 5) × (- 3) + 4 amb |4| < |-5| però també 19 =(- 5) × (- 4) + (-1) amb |-1| < |-5|
Aquesta divisió permet construir una aritmètica que verifica les propietats següents:
* Els ideals dels enters són els conjunts de múltiples (de la forma n.Z). L'anell s'anomena principal.
* La identitat de Bézout es verifica.
* El lema d'Euclides es verifica.
* El teorema fonamental de l'aritmètica s'aplica.
En conseqüència, és possible definir: la família dels nombres primers, el mínim comú múltiple així com el màxim comú divisor. L'anell quocient Z/nZ està ben definit, és l'estructura base de l'aritmètica modular.
La primera aplicació coneguda és probablement la demostració de la irracionalitat de l'arrel quadrada de dos. El petit teorema de Fermat es demostra ràpidament una vegada establert el fet que si n és primer Z/nZ disposa d'una estructura de cos. Fermat fa servir àmpliament aquesta aritmètica, per exemple per demostrar l'absència de solució per al seu gran teorema si n és igual a quatre. Euler dona una àmplia quantitat d'exemples d'utilització de l'aritmètica en Z , com l'estudi de l'equació de Pell-Fermat.
Aquests resultats són les propietats que han motivat la creació de la noció abstracte d'anell euclidià. En efecte, totes aquestes propietats no són més que les conseqüències d'una sola, la divisió euclidiana.

### Polinomis amb coeficients en un cos commutatiu

Si un cos K és commutatiu, llavors l'anell dels polinomis K[X] és euclidià. La divisió pren la forma següent:
$\forall A(X),B(X)\in \mathbb {K} [X]\quad \exists !Q(X),R(X)\in \mathbb {K} [X]$
${\text{tel que}}\quad A(X)=B(X)Q(X)+R(X)\;i\quad {\text{deg}}R(X)<{\text{deg}}B(X)$
Si bé la forma és globalment anàloga a la dels enters, fixeu-vos no obstant això que una relació d'ordre sobre el conjunt K[X ] no és necessària. N'hi ha prou amb una aplicació, anàloga a aquella que, a un polinomi li associa el seu grau, i el conjunt d'arribada de la qual és ordenat, tal aplicació s'anomena norma euclidiana.
L'aritmètica es fonamenta en les mateixes conseqüències, l'anell és principal, la identitat de Bézout es verifica, el lema d'Euclides i el teorema fonamental de l'aritmètica s'apliquen. Els equivalents dels nombres primers són els polinomis irreductibles, és a dir els que no tenen per a divisors més que a ells mateixos o la unitat tret d'una constant multiplicativa. La descomposició en polinomis irreductibles és la factorització més completa possible.
L'equivalent de l'aritmètica modular es' focalitza sobre els anells quocients ideals primers (és a dir els ideals engendrats per polinomis irreductibles). Com anteriorment aquests ideals posseeixen una estructura de cos. Els quocients s'anomenen cos de ruptura, ja que se són el cos més petit que conté una arrel del polinomi. Aquest enfocament, que permet definir una extensió finita del cos K defineix l'eina de base de la teoria de Galois.
Un exemple d'aplicació és seguint: els polinomis ciclotòmics corresponen a la descomposició en factors irreductibles del polinomi de les arrels de la unitat X$^n$ - 1. L'anàlisi d'aquests polinomis permet determinar tots els polígons construïbles amb el regle i el compàs.

### Enters de Gauss

Els enters de Gauss notats ℤ[i] corresponen als nombres de la forma u + i. v on u i v són enters. Formen un anell euclidià, la definició es dona per la proposició següent, si N(x) designa la norma algebraica és a dir el quadrat del mòdul de x:
$\forall (a,b)\in \mathbb {Z} (i)\times \mathbb {Z} (i)^{*}\;\exists q,r\in \mathbb {Z} (i)\quad /\quad a=bq+r\quad amb\quad N(r)<N(b)$
L'aplicació que en un enter li associa la seva norma algebraica és una aplicació dels enters de Gauss en un conjunt ordenat, és a dir el dels naturals. Aquesta norma correspon gràficament al quadrat de la distància entre l'origen i l'enter de Gauss.
Dir que la divisió euclidiana existeix significa que existeix un enter de Gauss a una distància inferior a 1 del nombre complex a/b. La figura adjunta il·lustra amb un fons vermell el quadrat amb vèrtex els enters de Gauss i que conté a/b . La figura mostra que existeix sempre almenys un enter a una distància inferior a 1 de a/b . En el cas il·lustrat, n'hi ha tres que verifiquen aquesta propietat. La unicitat de la solució no és una condició necessària per a l'existència d'una divisió euclidiana.
Una vegada més, la divisió euclidiana aporta una aritmètica anàloga als dos casos precedents.
Les aplicacions són nombroses. Dedekind va trobar, per exemple, una prova elegant del teorema de la suma dels dos quadrats a partir d'aquest conjunt. Certes equacions diofantines quadràtiques es resolen bé en aquest conjunt. Gauss va fer servir aquesta aritmètica per demostrar la llei de reciprocitat quadràtica.
Per regla general, un conjunt d'aquesta naturalesa, anomenat anell d'enters quadràtics, no té divisió euclidiana. Així, ℤ[i√3] no és euclidià.

### Altres anells euclidians

* Existeixen altres anells enters quadràtics euclidians. Els que no estan inclosos en R són tots coneguts. Els altres, com per exemple el dels enters de Q(√5), s'anomenen totalment reals. (Aplicades a cossos quadràtics, les nocions de real i totalment real són equivalents.) Es conjectura que existeix una infinitat d'anells quadràtics totalment reals euclidians.
* Si K és un cos commutatiu, K[[X]] l'anell de les seves sèries formals és euclidià per a l'avaluació: v(P) = grau més petit de X en P.
* Si A és un anell euclidià i si S és una part de A estable per la multiplicació. La localització de A respecte a S és també un anell euclidià.

## Definicions

Existeixen certs punts comuns entre els exemples: l'anell és sempre commutatiu unitari, integre i, en cada cas, es fa servir una funció amb valors en N (valor absolut, grau o norma) per definir la divisió euclidiana. Aquestes funcions són casos particulars de norma euclidiana. De manera general, si A designa un anell commutatiu unitari i integre, es formula la definició següent.
* Una norma euclidiana sobre A és una aplicació v A - {0} en el conjunt N dels naturals que verifica les dues propietats:
       $(1)\quad \forall (a,b)\in \mathbb {A} \times \mathbb {A} -\{0\}\;,\;\exists q,r\in A\quad /\quad a=b.q+r\quad {\text{amb}}\quad r=0\;\,{\text{on}}\;v(r)<v(b)$
       $(2)\quad \forall a,b\in \mathbb {A} -\{0\}\quad (\exists c\in \mathbb {A} \;{\text{tal que }}bc=a)\Rightarrow v(b)\leq v(a)$
La condició (2) significa dir que si A-{0} està proveït de la relació de preordre «dividida» i N de la relació d'ordre usual, l'aplicació v és creixent.
* El terme de prenorma euclidiana designa una aplicació de A - {0} en N que compleix la propietat (1).
* Un anell commutatiu unitari i integre s'anomena euclidià si i només si existeix una norma euclidiana sobre aquest anell. Es parla llavors de divisió euclidiana en aquest anell respecte a la norma.
Observacions: 1 Certs autors fan servir el terme de norma euclidiana per designar el que aquí s'anomena una prenorma. La diferència no és gran, ja que si existeix una prenorma sobre A, existeix també una norma.
* Sigui A un anell commutatiu unitari íntegre proveït d'una prenorma v , existeix una norma w:
Per hipòtesi, existeix una prenorma v sobre A. Es defineix una norma w . Per a tot element no nul x de A, es designa per w(x) el més petit dels valors v(y), y recorrent els múltiples no nuls de x. Ja que x és ell mateix tal y , es té:
$w(x)\leq v(x)$
* Siguin a i b dos elements no nuls de A tals que b divideix a, llavors w(a) és superior o igual a w(b):
Siguin E$_a$ el conjunt dels valors v(a'), on a' recorre els múltiples no nuls de a i E$_b$ el conjunt dels valors v(b), on b' recorre els múltiples no nuls de b. El valor w(a) és, per definició, el més petit element de w(E$_a$) i w(b) el més petit element de w(E$_b$). Ja que a és múltiple de bEl conjunt E$_a$ està contingut en el conjunt E$_b$, per tant inf(E$_a$), és a dir w(a), és superior o igual a inf(E$_b$), és a dir a w(b).
* La funció w és una norma, és a dir que verifica també la condició:
$\forall (a,b)\in \mathbb {A} \times \mathbb {A} -\{0\}\;,\;\exists q,r\in A\quad /\quad a=b.q+r\quad {\text{amb}}\quad r=0\quad on\quad w(r)<w(b)$
Per definició de w , existeix un element no nul c$_0$ de A tal que w(b) = v(bc$_0$). Ja que v és una prenorma, la divisió euclidiana de a entre bc$_0$ relativament a v proveeix una parella (q $_0$, r$_0$) d'elements de A tals que:
$a=bc_{0}.q_{0}+r_{0}\quad amb\quad r_{0}=0\quad {\text{on}}\quad v(r_{0})<v(bc_{0})$
Si r$_0$ és nul, la tesi és evidentment verdadera (amb q = c$_0$ q$_0$ i r= 0). Se suposa per tant r$_0$ no nul. Llavors v(r$_0$) és estrictament inferior a v(bc$_0$). S'ha vist que la funció w és inferior o igual a v, per tant w(r$_0$) és inferior o igual a v(r$_0$), per tant $w(r_{0})\leq v(r_{0})<v(bc_{0})$; d'altra banda, c$_0$ s'escull tal que w(b) = v(bc$_0$), per tant $w(r_{0})\leq v(r_{0})<v(bc_{0})=w(b)$, d'on w(r$_0$) < w(b).
2) com mostren els exemples donats en els casos particulars de la introducció, els elements q i r de la relació (1) no són per força únics.

## Propietats
### Propietats dels anells euclidians

En lo successiu de l'article, A és un anell commutatiu unitari i íntegre.
* Un anell euclidià és principal.
Més precisament, si v és una prenorma sobre l'anell euclidià A, si J és un ideal no nul d'A, J admet per generador tot element de J - {0} tal que el valor per la prenorma v és mínim.
$a=b.q+r\quad amb\quad r=0\;ou\;v(r)<v(b)$
$r\in Jo\{0\}$
$v(r)<v(b)$
En canvi, un anell principal no és sempre euclidià, a l'article anell principal es presenta un contra-exemple.
Un anell euclidià posseeix totes les propietats de divisibilitat dels anells principals: és factorial, el lema d'Euclides, el teorema fonamental de l'aritmètica i la identitat de Bézout es verifiquen i les operacions sobre el màxim comú divisor i el mínim comú múltiple s'apliquen.
Si es disposa d'un algorisme efectiu de divisió euclidiana, com per exemple en Z o en els polinomis amb coeficients en un cos, es poden definir algorismes efectius que subministren explícitament objectes l'existència dels quals continua sent teòrica en un marc més general. Així l'algorisme d'Euclides es generalitza i permet trobar un generador de la suma de dos ideals (en altres paraules, permet trobar un màxim comú divisor de dos elements). Igualment, el teorema dels factors invariants permet trobar una base d'un A-mòdul de tipus finit.
Observació: Per provar que un anell euclidià és principal, només s'ha utilitzat l'existència d'una prenorma i no la d'una norma, el que explica que certs autors no s'interessin més que pels prenormes (que anomenen normes). Tanmateix, la prova del fet que un anell principal és factorial descansa (quant a l'existència de la descomposició en productes d'elements irreductibles) sobre l'axioma de l'elecció. En el cas d'un anell euclidià, l'existència d'una norma (i no només d'una prenorma) permet de provar sense recurs a l'axioma d'elecció que l'anell és factorial.
* Tot anell euclidià és factorial:

### Propietats de les normes

* Siguin a i b dos elements no nuls de A i v una norma; si v(a .b) = v(a ), llavors b és un element del grup de les unitats.
Existeixen q i r a A tals que
$x=y.q+r\quad amb\quad r=0\;on\;v(r)<v(y)$
$\scriptstyle {v(x)\leq v(r)}$
$\scriptstyle {v(x)\leq v(r)<v(y)}$
Sempre és possible de normalitzar una norma v per translació, és a dir d'escollir una norma w tal que la imatge per la norma d'una unitat sigui igual a un. Més precisament, n'hi ha prou amb definir w per w(x) = v(x) - v+ 1 per a tot element no nul x de A . En aquest cas:
* Un element no nul u de A és element del grup de les unitats de A si i només si, w(u) = 1. A més, 1 és el valor mínim que pren w en A - {0}.
Si s'estén la norma normalitzada w a l'anell A tot enter fent w(0) = 0, 0 és l'únic element x de A tal que w(x) = 0, el que permet donar al principi de divisió euclidiana aquesta forma una mica més elegant:
$\forall (a,b)\in \mathbb {A} \times \mathbb {A} -\{0\}\;,\;\exists q,r\in A\quad /\quad a=b.q+r\quad amb\quad w(r)<w(b)$
Aquesta convenció no se segueix en tots els casos. La norma disposa de propietats que superen sovint les de la divisió euclidiana. En el primer exemple sobre Z, la norma disposa de propietats mètriques, en el segon exemple la funció grau verifica una propietat útil: el grau del producte de dos polinomis és igual a la suma dels graus dels polinomis. Per no perdre aquesta propietat, les unitats de l'anell tenen una norma (grau) que s'escull igual a zero i el polinomi nul té per imatge (grau) menys infinit.

## Bibliografia

* Theodore Motzkin, «The Euclidean algorithm», Bulletin of the American Mathematical Society, vol. 55, n° 12, pp. 1142-1146, 1949. Consulteu-lo en línia.
* S. Lang Algebre Dunod 2004
* D. Perrin Cours d'algèbre Ellipse 1996
* S. Mac Lane & G. Birkhoff; Algèbre

## Referències

* ↑ Euclides Els quinze llibres dels elements geomètrics d'Euclides
* ↑ Diofant d'Alexandria Arithmetica edició i tr. Roshdi Rashed. París: les Belles Lettres, 1984
* ↑ Pierre de Fermat Œuvres de Fermat, publicades per fills de Paul Tannery i Charles Henry sota els auspicis del Ministeri de la instrucció pública. Ann Arbor, Michigan 2005
* ↑ Leonhard Euler Opera mathematica volum 3 1771
* ↑ Carl Friedrich Gauß Recerques aritmètiques traducció A.-C.-M. Poullet-Delisle 1801 traducció 1807 va reimpres 1989 Edicions Jacques Gabay
* ↑ Ferdinand Eisenstein Formes quadràtiques i cúbiques Diari de Crelle 1844
* ↑ Gabriel Rebaixat Demostració general del teorema de Fermat, sobre la impossibilitat, en nombres enters, de l'equació x$^n$ +y$^n$ =z$^n$ Informes de les Sessions de l'Acadèmia de les Ciències. París 1847 24, 310-315 Lira sobre Gallica
* ↑ H.M. Edwards, The background of Kummer's proof of Fermat's Last Theorem fur regular primes, Arch. History Exact Sci. 14 (1975)
* ↑ Richard Dedekind Lehrbuch des Algebra 1871
* ↑ David Hilbert Relació sobre els nombres 1897
* ↑ Par exemple Bourbaki, Àlgebra , camí 7, § 1, exerc. 7, París, 1973, pàg. 125. Vegeu també F. Dress, «Stathmes euclidians i sèries formals», Seminari Delange-Pisot-Poitou. Teoria dels nombres , et. 1970-1971, pàg. 1-7 (on la noció de stathme és més general: el conjunt d'arribada és un ordinal qualsevol i no per força N ).
* ↑ Es pot citar per exemple D. Perrin, Curs d'àlgebra , edició Ellipses, 2004, déf. 3.28, p. 50. Per a diferents definicions de norma, vegeu també F. Dress, «Normes euclidanes i sèries formals», Seminari Delange-Pisot-Poitou. Teoria dels nombres , et. 1970-1971, pàg. 1-7, en línia; Bourbaki, Àlgebra , capítol 7, § 1, exerc. 7, París, 1973, pàg. 125; R. Goblot, Àlgebra commutativa Masson, 1997, pàg. 23
* ↑ D. Perrin, Curs d'àlgebra, edició Ellipses, 2004, déf. 3.28, p. 50. R. Goblot, Àlgebra commutativa Masson, 1997, pàg. 23

## Enllaços externs

* Référence historiques de l'université de St Andrews Arxivat 2010-02-09 a Wayback Machine. (anglès)
* Les-mathématiques.net Atenció l'article conté una definició diferent (francès)
* Christian Squarcini, Anneau et corps (francès)
* Integral Domains, Euclidean Domains a mathreference.com (anglès)
* Euclidean domain a planetmath.org (anglès)