Dominio de integridad

Dominio de integridad

Dominio de integridad

Un dominio de integridad, dominio íntegro, anillo íntegro, o sencillamente dominio (este último término es un abuso de lenguaje y puede dar lugar a confusión, ya que la palabra dominio tiene varios usos en Matemática) es un anillo (R,+,\cdot) que carece de elementos divisores de cero por la izquierda y de elementos divisores de cero por la derecha (con lo cual carece de elementos divisores de cero).

Un subanillo de un dominio de integridad es también un dominio de integridad.

En la literatura "antigua" se exige (a veces se sobreentiende) que el anillo es conmutativo y unitario, porque se ignoraba la existencia de anillos no conmutativos que no tuvieran divisores de cero (por la izquierda o por la derecha). Los dominios de Mal'cev son un tipo de anillos no conmutativos que carecen de elementos divisores de cero (ni por la izquierda ni por la derecha). Respecto a dominios íntegros no unitarios, el conjunto 2\mathbb{Z} es un subanillo no unitario del dominio de integridad \mathbb{Z}. En este artículo, un dominio íntegro será siempre un anillo conmutativo y unitario (ya que así se entiende en la mayor parte de la literatura, señalándose los casos en que no se adopta estos criterios).

Todo cuerpo es dominio de integridad conmutativo y unitario. Más en general, todo anillo de división es dominio de integridad unitario.

Contenido

Cuerpo de cocientes de un dominio íntegro

Una de las propiedades más interesantes de un dominio de integridad es la de que existe "el menor cuerpo que lo contiene". De forma más precisa:

Sea R un dominio íntegro (conmutativo y unitario). Denotamos por R * al conjunto R \setminus \{0\}. Establecemos en el conjunto R \times R^* la relación \mathcal{R} definida por (a,b) \mathcal{R} (c,d) cuando y sólo cuando a \cdot d = b \cdot c. Es sencillo comprobar que \mathcal{R} es una relación de equivalencia. Denotaremos por Q(R) al conjunto cociente \frac{R \times R^*}{\mathcal{R}}, y por \frac{a}{b} a la clase de equivalencia del elemento (a,b).

Operaciones suma y producto en el cuerpo de cocientes

Suma

Definimos la aplicación  +: Q(R) \times Q(R) \longrightarrow Q(R) de la siguiente manera:  + (\frac{a}{b},\frac{c}{d}) := \frac{a}{b} + \frac{c}{d} = \frac{(a \cdot d) + (b \cdot c)}{b \cdot d}, cualesquiera que sean \frac{a}{b},\frac{c}{d} \in Q(R). Es sencillo comprobar que es operación interna, asociativa, conmutativa, que tiene elemento neutro \frac{0}{1} y que todo elemento \frac{a}{b} \in Q(R) tiene por elemento simétrico (elemento opuesto) a - \frac{a}{b}. Así, (Q(R), + ) es un grupo abeliano.

Producto

Definimos la aplicación  \cdot: (Q(R) \setminus \{ 0 \}) \times (Q(R) \setminus \{ 0 \}) \longrightarrow Q(R) de la siguiente manera:  \cdot (\frac{a}{b},\frac{c}{d}) := \frac{a}{b} \cdot \frac{c}{d} = \frac{a \cdot c}{b \cdot d}, cualesquiera que sean \frac{a}{b},\frac{c}{d} \in Q(R) \setminus \{ 0 \}. Es sencillo comprobar que es operación interna, asociativa, conmutativa, que tiene elemento neutro \frac{1}{1} y que todo elemento \frac{a}{b} \in Q(R) tiene por elemento simétrico (elemento inverso) a  \frac{b}{a}. Así, (Q(R) \setminus \{ 0 \},\cdot) es un grupo abeliano.

Distributividad

Se demuestra sin dificultad que \cdot es distributiva respecto de +. Esto hace que (Q(R),+,\cdot) quede dotado de estructura de cuerpo.

Divisibilidad en un dominio íntegro (conmutativo y unitario) cualquiera

Quizás el aspecto más interesante que ofrecen los dominios íntegros es el de poder genralizar a ellos muchas de las propiedades sobre divisibilidad que conocemos en el anillo de los números enteros \mathbb{Z}.

En adelante, a,b,c,d,r,x,y,m,u representarán elementos en el dominio íntegro R (i.e. a,b,c,d,r,x,y,m,u \in R).

Se dice que a y b son asociados si existe un u \in U(R) de manera que a = b \cdot u. Se denota por a \sim b.

Se dice que a divide a b si existe un r \in R de manera que b = a \cdot r. Se denota por a | b. Si a y b son asociados, entonces a divide a b y b divide a a.

Se dice que un elemento a de un dominio íntegro R es un átomo o elemento irreducible (a veces se dice simplemente que es un irreducible) de R si a \neq 0, a \notin U(R), y si a = b \cdot c entonces o bien es b \in U(R) o bien c \in U(R) (o los dos).

Se dice que un elemento a de un dominio es un elemento primo (o simplemente primo) si el ideal generado por a es ideal primo de R.

Lo cierto es que la notación es un poco confusa cuando nos referimos a los números enteros. En ese caso, el concepto de número primo corresponde con el de elemento irreducible (que además sea positivo), y tedríamos que el 0 y el 1 serían elementos primos de \mathbb{Z}, aunque no serían números primos.

Si a es elemento primo del dominio íntegro R, a \neq 0 y a \notin U(R) entonces a es irreducible.

Máximo común divisor y mínimo común múltiplo

Sean a,b \in R.

  • Un máximo común divisor de a y b, (denotado por mcd(a,b)) es, si existe, un elemento d \in R de tal manera que d | a, d | b y si d' \in R es tal que d' | a y d' | b, entonces d' | d.
  • Un mínimo común múltiplo de a y b, (denotado por mcm(a,b)) es, si existe, un elemento m \in R de tal manera que a | m, b | m y si m' \in R es tal que a | m' y b | m', entonces m | m'.

Es de destacar que no se dice el máximo común denominador ni el mínimo común múltiplo, sino un máximo común divisor o un mínimo común múltiplo. Esto es debido a que, tal y como están definidos, un mismo par de elementos a,b \in R pueden tener más de un máximo común divisor y más de un mínimo común múltiplo. Por otra parte, en un dominio de integridad no siempre está asegurada la existencia del mínimo común múltiplo o del máximo común denominador de dos elementos cualesquiera.

Dos elementos a,b \in R se dicen coprimos si existe mcd(a,b) y además mcd(a,b) \in U(R) (es decir, 1 es mcd(a,b)).

Propiedades

  • Si d y d' son mcd(a,b), entonces d \sim d'. Si m y m' son mcm(a,b), entonces m \sim m'. Escribiremos entonces siempre d \sim mcd(a,b) en lugar de d = mcd(a,b) y m \sim mcm(a,b) en lugar de m = mcm(a,b).
  • mcd(a \cdot c, b \cdot c) = mcd(a,b) \cdot c.
  • Si d \sim mcd(a,b) entonces mcd(\frac{a}{d},\frac{b}{d}) \sim 1 (es decir, \frac{a}{d} y \frac{b}{d} son coprimos).
  • Si a y b son coprimos (i.e. mcd(a,b) \in U(R)), entonces, para cualquiera que sea r \in R se cumple que mcd(r, a \cdot b) = mcd(r,a) \cdot mcd(r,b).
  • Si a | b entonces mcd(a,b) = a.
  • Si d \sim mcd(a,b) y m \sim mcm(a,b) entonces m \cdot d \sim a \cdot b (en particular esto significa que si existe máximo común divisor de dos elementos, entonces existe su mínimo común múltiplo, y viceversa).
  • Si a,b,c,r \in R \setminus \{0 \} y a=b \cdot c + r, entonces mcd(a,b) \sim mcd(b,r).

Estas son las principales afirmaciones que podemos decir sobre divisibilidad en dominios de integridad sin exigir más condiciones, como que el anillo R sea dominio de factorización única, dominio de ideales principales o que sea dominio euclídeo.

Obtenido de "Dominio de integridad"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Dominio de integridad — Un dominio de integridad, dominio íntegro, anillo íntegro, o sencillamente dominio (este último término es un abuso de lenguaje y puede dar lugar a confusión, ya que la palabra dominio tiene varios usos en Matemática) es un anillo que carece de… …   Enciclopedia Universal

  • Dominio de ideales principales — Saltar a navegación, búsqueda Un dominio de ideales principales (DIP) es un dominio de integridad en el que todo ideal es principal (está generado por un sólo elemento). Cualquier dominio de ideales principales es también un dominio de… …   Wikipedia Español

  • Dominio — Saltar a navegación, búsqueda El término dominio puede referirse a: Dominio (biología), una subdivisión de los seres vivos; Dominio (teología), un dogma eclesiástico basado en el Génesis (1:20 28); Dominio (redes informáticas); Dominio de… …   Wikipedia Español

  • Dominio (matemática) — Saltar a navegación, búsqueda En Matemática se le da diversos usos a la palabra dominio: Dominio de definición es el conjunto de valores para los que una determinada función matemática está definida Dominio de integridad en álgebra, es un anillo… …   Wikipedia Español

  • Dominio euclídeo — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • Dominio de factorización única — Saltar a navegación, búsqueda Un dominio de factorización única (DFU) es un dominio de integridad en el que todo elemento se descompone de forma única como producto de primos. En los DFU se verifica que un elemento es primo si, y sólo si, es… …   Wikipedia Español

  • Dominio (matemáticas) — En Matemática se le da diversos usos a la palabra dominio: ● Dominio de definición es el conjunto de valores para los que una determinada función matemática está definida ● Dominio de integridad en álgebra, es un anillo (no necesariamente… …   Enciclopedia Universal

  • Dominio euclídeo — Un dominio euclídeo (o anillo euclídeo) es un par donde 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 …   Enciclopedia Universal

  • Dominio (álgebra) — Saltar a navegación, búsqueda En Álgebra la palabra dominio presenta una seria dificultad. Por un lado designa originalmente a aquellos anillos conmutativos y unitarios en los que el elemento neutro para la suma y el elemento neutro para el… …   Wikipedia Español

  • Dominio público radioeléctrico (España) — Saltar a navegación, búsqueda El dominio público radioeléctrico o espacio radioeléctrico es el subconjunto de radiaciones electromagnéticas cuya frecuencia se ha fijado convencionalmente entre 9KHz y 3000GHz y cuyo uso se destina fundamentalmente …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”