Dominio euclídeo

(Redirigido desde «Dominio euclidiano»)

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 mismos 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]

Definición editar

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 cualquier   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 editar

Algunos autores consideran que la (condición segunda condición) es redundante y puede ser omitida de la definición. En efecto, si en un dominio íntegro 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) por sí sola implica que el dominio es euclídeo.

Terminología editar

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 editar

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) 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 cualquier elemento   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 editar

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:

Véase también editar

Referencias editar

Notas editar

  1. a b (Cohn, 2012, p. 112)
  2. a b (Artin, 2010, p. 362)
  3. a b (Artin, 2010, p. 365)
  4. Gallian, 2012, p. 337.
  5. Rogers, Kenneth (1971). «The Axioms for Euclidean Domains». American Mathematical Monthly (Mathematical Association of America) 78 (10): 1127-1128. JSTOR 2316324. Zbl 0227.13007. doi:10.2307/2316324. 
  6. Gallian (2012) y Artin (2010) la llaman «medida» (the measure) y «tamaño» (size function) respectivamente.
  7. Cohn (2012) se refiere a ella como norm function.
  8. Por ejemplo Jackson (1995).
  9. Jackson, 1995, p. 145.
  10. Gallian, 2012, p. 330.

Bibliografía editar

Enlaces externos editar