Dominio eucldeo
En matemticas, ms concretamente en lgebra abstracta
y teora de anillos, un dominio eucldeo o anillo eucl-
deo (usualmente abreviado DE) es un anillo conmutativo
sobre el que se puede denir una funcin euclidea (ex-
plicada ms adelante) que permite generalizar la nocin
de divisin euclidea usual de los nmeros enteros. Este
algoritmo de Euclides generalizado se puede utilizar para
los mismo nes que el algoritmo de Euclides original en
el anillo de los enteros: en un dominio eucldeo se puede
utilizar este algoritmo para calcular el mximo comn di-
visor de dos elementos cualesquiera. En particular, el m-
ximo comn divisor de dos elementos siempre existe
lo cual no es en general cierto para un anillo arbitrario,
y puede ser expresado como una combinacin lineal de
ellos (identidad de Bezout).[1] Adems, todo ideal de un
dominio eucldeo es principal,[2] lo que implica que se
puede generalizar el teorema fundamental de la aritmti-
ca: todo dominio eucldeo es un dominio de factorizacin
nica.[3]
1 Denicin
Un dominio eucldeo es un par (A, ) donde A es
un dominio de integridad y es una aplicacin : Es importante destacar que la funcin de norma solamen-
A \ {0} N {0} que cumple las siguientes dos te toma valores enteros, aun cuando en algn caso particu-
condiciones:[4]
1. Para cualesquiera a, b A tales que b = 0 se cumple
que existen q, r A de manera que
(1)
a = bq + r ; \ tales que
r = 0 , o bien (r) <
(b)
2 Para dos elementos cualesquiera a, b A \ {0} :
(2)
(a) (a b)
A los elementos q y r se les denomina respectivamente
cociente y resto, como en la divisin usual.
1.1 Deniciones alternativas
Algunos autores consideran que la (condicin segunda
condicin) es redundante y puede ser omitida de la deni-
cin. En efecto, si en un dominio integro se puede denir
una funcin que cumple la primera condicin, enton-
ces siempre es posible denir otra que cumpla tambin la
segunda, en particular:[5]
(x) = M in{(ax) : a A \ {0}}
Puesto que la unicidad no es imprescindible, la condicin
(1) por s sola implica que el dominio es eucldeo.
1.2 Terminologa
Diversos autores se reeren a la funcin que dene
un dominio eucldeo, con diferentes nombres: aplica-
cin (o funcin) eucldea, funcin de medida (o de
tamao),[6] grado o funcin de norma.[7] En algunos
contextos se habla de norma eucldea,[8] si bien esta
denominacin puede inducir a confusin con la norma
vectorial que dene la distancia usual.
lar pueda extenderse a todo el conjunto de los nmeros
reales.
2 Ejemplos
Los siguientes son ejemplos de anillos que son dominios
eucldeos:
Si tomamos el conjunto de los nmeros enteros Z y
como norma eucldea tomamos la aplicacin valor
absoluto | | , tenemos un dominio eucldeo, pues
|a| |ab| para todo a, b Z con b = 0 . Usando es-
ta denicin, la propiedad (1) equivale al algoritmo
de divisin usual entre enteros.
En todo cuerpo K puede denirse una norma eucl-
dea, tomndose sta como la aplicacin constante 1
, ya que, para cualesquiera elementos a y b de K ,
se satisfacen las dos propiedades de forma trivial, a
saber:
1. tomando q = a/b se tiene que r = 0 .
1
2 6 ENLACES EXTERNOS

2. 1 = (a) (a b) = 1 . 5 Referencias
Considerando el anillo de polinomios en una varia-
ble K[x] con coecientes en un cuerpo K y como 5.1 Notas
norma eucldea la aplicacin [1] (Cohn, 2012, p. 112)

[2] (Artin, 2010, p. 362)

grad : K[x] {0} N {0}
que a cada polinomio no nulo de K[x] le asigna
su grado, el resultado es un dominio eucldeo.
en el anillo de los enteros gaussianos, si para cada
elemento = a + bi , donde a, b Z , denimos su
norma como N () = a2 +b2 , tenemos un dominio
eucldeo.
[3] (Artin, 2010, p. 365)
[4] Gallian, 2012, p. 337.
[5] Rogers, Kenneth (1971). The Axioms for Eucli-
dean Domains. American Mathematical Monthly
(Mathematical Association of America) 78 (10): 1127
1128. doi:10.2307/2316324. JSTOR 2316324. Zbl
0227.13007.

Los siguientes son ejemplos de anillos que no son domi- [6] Gallian (2012) y Artin (2010) la llaman medida (the
measure) y tamao (size function) respectivamente.
nios euclideos:
[7] Cohn (2012) se reere a ella como norm function.
En general, el anillo de polinomios con coecientes
en un anillo A , incluso aun cuando el propio A es [8] Por ejemplo Jackson (1995).
un dominio euclideo. Por ejemplo Z[X] no es un
[9] Jackson, 1995, p. 145.
dominio eucldeo aunque Z s lo es.
[10] Gallian, 2012, p. 330.

3 Propiedades
En un dominio euclideo, la identidad multiplicativa
el elemento 1A siempre tiene la norma ms pequea
posible, es decir, (1A ) = 1 . Misma propiedad tienen
todas las unidades del anillo: u A : u es unidad =
(u) = 1 .[9]
Todo dominio eucldeo A satisface las siguientes propie-
dades:
Todo par de elementos a, b A tienen mnimo co-
mn mltiplo y mximo comn divisor, y se verica
la identidad de Bezout.[1]
Todo ideal de A es principal, es decir, A es un
dominio de ideales principales.[2]
Todo elemento a A tiene una descomposicin
nica en factores irreducibles, es decir, A es un
dominio de factorizacin nica.[3]
En un dominio eucldeo todo elemento irreducible
es primo.[10]
5.2 Bibliografa
Artin, M. (2010). Algebra (2 edicin). Pearson.
Cohn, Paul M. (2012). Introduction to Ring
Theory. Springer Science & Business Media. ISBN
1447104757.
Gallian, Joseph A. (2012). Contemporary Abstract
Algebra (8 edicin). Brooks/Cole. ISBN 1-133-
59970-2.
Jackson, T.H. (1995). CRC Press, ed. From Polyno-
mials to Sums of Squares. ISBN 0750303298.
6 Enlaces externos
Weisstein, Eric W. Euclidean Domain. En Weiss-
tein, Eric W. MathWorld (en ingls). Wolfram Re-
search.
Euclidean Ring en PlanetMath..

4 Vase tambin
Dominio ntegro.
Algoritmo de la divisin.
Cuerpo.
Anillo.
Anillo de polinomios.
 3

7 Origen del texto y las imgenes, colaboradores y licencias

7.1 Texto
Dominio eucldeo Fuente: https://es.wikipedia.org/wiki/Dominio_eucl%C3%ADdeo?oldid=98911814 Colaboradores: Tano4595, Taichi,
RobotQuistnix, BOT-Superzerocool, YurikBot, Echani, Wewe, Lin linao, Eskimbot, Juan Antonio Cordero, Juan Marquez, CEM-bot, In-
genioso Hidalgo, Thijs!bot, TXiKiBoT, Alephcero~eswiki, Gerakibot, BOTarate, Alexbot, Juan Mayordomo, Raulshc, Luckas-bot, Xqbot,
ZroBot, Grillitus, Addbot, X2y3, MomijiRoBot y Annimos: 9

7.2 Imgenes

7.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0