Ir al contenido

Dominio euclídeo

De Wikipedia, la enciclopedia libre
(Redirigido desde «Norma euclídea»)

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]