Dominio euclídeo

En matemáticas, más concretamente en álgebra abstracta y teoría de anillos, un dominio euclídeo o anillo
euclídeo (usualmente abreviado DE) es un anillo conmutativo sobre el que se puede definir una función euclidea
(explicada más adelante) que permite generalizar la noción de división euclidea usual de los números enteros. Este
algoritmo de Euclides generalizado se puede utilizar para los mismo fines que el algoritmo de Euclides original en el
anillo de los enteros: en un dominio euclídeo se puede utilizar este algoritmo para calcular el máximo común divisor
de dos elementos cualesquiera. En particular, el máximo común divisor de dos elementos siempre existe —lo cual no
es en general cierto para un anillo arbitrario—, y puede ser expresado como una combinación lineal de ellos (identidad
de Bezout).1 Además, todo ideal de un dominio euclídeo es principal,2 lo que implica que se puede generalizar el
teorema fundamental de la aritmética: todo dominio euclídeo es un dominio de factorización única.3

Índice
Definición
Definiciones alternativas
Terminología
Ejemplos
Propiedades
Véase también
Referencias
Notas
Bibliografía
Enlaces externos

Definición
Un dominio euclídeo es un par donde es un dominio de integridad y es una aplicación
que cumple las siguientes dos condiciones:4

1. Para cualesquiera tales que se cumple que existen de manera que

(1)
; \ tales que , o bien

2 Para dos elementos cualesquiera :

(2)

A los elementos y se les denomina respectivamente cociente y resto, como en la división usual.

Definiciones alternativas
Algunos autores consideran que la (condición segunda condición (https://es.wikipedia.org/wiki/Dominio_eucl%C3%
ADdeo#Equation_segunda)) es redundante y puede ser omitida de la definición. En efecto, si en un dominio integro
se puede definir una función que cumple la primera condición, entonces siempre es posible definir otra que cumpla
también la segunda, en particular:5

Puesto que la unicidad no es imprescindible, la condición (1 (https://es.wikipedia.org/wiki/Dominio_eucl%C3%ADde

o#Equation_1)) por sí sola implica que el dominio es euclídeo.

Terminología
Diversos autores se refieren a la función —que define un dominio euclídeo—, con diferentes nombres: «aplicación (o
función) euclídea», «función de medida» (o de tamaño),6 «grado» o «función de norma».7 En algunos contextos se
habla de «norma euclídea»,8 si bien esta denominación puede inducir a confusión con la norma vectorial que define
la distancia usual.

Es importante destacar que la función de norma solamente toma valores enteros, aun cuando en algún caso particular
pueda extenderse a todo el conjunto de los números reales.

Ejemplos
Los siguientes son ejemplos de anillos que son dominios euclídeos:

Si tomamos el conjunto de los números enteros y como norma euclídea tomamos la aplicación valor absoluto
, tenemos un dominio euclídeo, pues para todo con . Usando esta definición, la
propiedad (1 (https://es.wikipedia.org/wiki/Dominio_eucl%C3%ADdeo#Equation_1)) equivale al algoritmo de
división usual entre enteros.

En todo cuerpo puede definirse una norma euclídea, tomándose ésta como la aplicación constante , ya que,
para cualesquiera elementos y de , se satisfacen las dos propiedades de forma trivial, a saber:

1. tomando se tiene que .

2. .

Considerando el anillo de polinomios en una variable con coeficientes en un cuerpo y como norma
euclídea la aplicación

que a cada polinomio no nulo de le asigna su grado, el resultado es un dominio

euclídeo.

en el anillo de los enteros gaussianos, si para cada elemento , donde , definimos su norma
como , tenemos un dominio euclídeo.

Los siguientes son ejemplos de anillos que no son dominios euclideos:

En general, el anillo de polinomios con coeficientes en un anillo , incluso aun cuando el propio es un dominio
euclideo. Por ejemplo no es un dominio euclídeo aunque sí lo es.

Propiedades
En un dominio euclideo, la identidad multiplicativa —el elemento — siempre tiene la norma más pequeña posible,
es decir, . Misma propiedad tienen todas las unidades del anillo: .9
Todo dominio euclídeo satisface las siguientes propiedades:

Todo par de elementos tienen mínimo común múltiplo y máximo común divisor, y se verifica la identidad
de Bezout.1
Todo ideal de es principal, es decir, es un dominio de ideales principales.2
Todo elemento tiene una descomposición única en factores irreducibles, es decir, es un dominio de
factorización única.3
En un dominio euclídeo todo elemento irreducible es primo.10

Véase también
Dominio íntegro.
Algoritmo de la división.
Cuerpo.
Anillo.
Anillo de polinomios.

Referencias

Notas
(http://dx.doi.org/10.2307%2F2316324).
1. (Cohn, 2012, p. 112)
6. Gallian (2012) y Artin (2010) la llaman «medida» (the
2. (Artin, 2010, p. 362) measure) y «tamaño» (size function)
3. (Artin, 2010, p. 365) respectivamente.
4. Gallian, 2012, p. 337. 7. Cohn (2012) se refiere a ella como norm function.
5. Rogers, Kenneth (1971). «The Axioms for Euclidean 8. Por ejemplo Jackson (1995).
Domains». American Mathematical Monthly 9. Jackson, 1995, p. 145.
(Mathematical Association of America) 78 (10): 1127–
10. Gallian, 2012, p. 330.
1128. JSTOR 2316324 (https://www.jstor.org/stable/2316324).
Zbl 0227.13007 (http://www.zentralblatt-math.org/zmath/en/sear
ch/?format=complete&q=an:0227.13007). doi:10.2307/2316324

Bibliografía
Artin, M. (2010). Algebra (2ª edición). Pearson.
Cohn, Paul M. (2012). Introduction to Ring Theory. Springer Science & Business Media. ISBN 1447104757.
Gallian, Joseph A. (2012). Contemporary Abstract Algebra (8ª edición). Brooks/Cole. ISBN 1-133-59970-2.
Jackson, T.H. (1995). CRC Press, ed. From Polynomials to Sums of Squares. ISBN 0750303298.

Enlaces externos
Weisstein, Eric W. «Euclidean Domain» (http://mathworld.wolfram.com/EuclideanDomain.html). En Weisstein,
Eric W. MathWorld (en inglés). Wolfram Research.
Euclidean Ring (http://planetmath.org/EuclideanRing) en PlanetMath..

Obtenido de «https://es.wikipedia.org/w/index.php?title=Dominio_euclídeo&oldid=98911814»

Se editó esta página por última vez el 6 may 2017 a las 06:09.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.