- Dominio euclídeo
-
Dominio euclídeo
Un dominio euclídeo (o anillo euclídeo) es un par (R,φ) donde R es un dominio de integridad y φ es una aplicación norma euclídea, es decir, una aplicación que cumple las siguientes dos condiciones:
- cualesquiera que sean .
- Para cualesquiera tales que se cumple que existen de manera que a = bq + r si ha de ser φ(r) < φ(b).
Es importante señalar que la definición es exactamente esa, aun cuando en algún caso particular pueda extenderse φ a todo el conjunto R.
Ejemplos
- 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.
- Considerando el anillo de polinomios en una variable con coeficientes en el cuerpo y como aplicación norma euclídea tomo el grado deg de cada polinomio, el resultado es un dominio euclídeo.
Véase también algoritmo de la división
Categoría: Teoría de anillos
Wikimedia foundation. 2010.