Dominio de integridad

Un dominio de integridad, dominio ntegro, anillo n- 2 Cuerpo de cocientes de un domi-

tegro, dominio entero[1] es un anillo (R, +, ) que care-
ce de elementos divisores de cero por la izquierda y de
nio ntegro
elementos divisores de cero por la derecha (con lo cual
carece de elementos divisores de cero). Una de las propiedades ms interesantes de un dominio
de integridad es la de que existe el menor cuerpo que lo
Un subanillo de un dominio de integridad es tambin un
contiene. De forma ms precisa:
dominio de integridad.
Sea R un dominio ntegro (conmutativo y unitario). De-
En la literatura antigua se exige (a veces se sobreen-
notamos por R al conjunto R \ {0} . Establecemos en el
tiende) que el anillo es conmutativo y unitario, porque se
conjunto R R la relacin R denida por (a, b)R(c, d)
ignoraba la existencia de anillos no conmutativos que no
cuando y slo cuando a d = b c . Es sencillo comprobar
tuvieran divisores de cero (por la izquierda o por la de-
[2] que R es una relacin de equivalencia. Denotaremos por
recha). Los dominios de Maltsev son un tipo de ani-
Q(R) al conjunto cociente RR R , y por ab a la clase de
llos no conmutativos que carecen de elementos divisores
equivalencia del par ordenado (a, b) .
de cero (ni por la izquierda ni por la derecha). Respec-
to a dominios ntegros no unitarios, el conjunto 2Z es un
subanillo no unitario del dominio de integridad Z . En
este artculo, un dominio ntegro ser siempre un anillo 2.1 Operaciones suma y producto en el
conmutativo y unitario (ya que as se entiende en la ma- cuerpo de cocientes
yor parte de la literatura, sealndose los casos en que no
se adopta estos criterios). 2.1.1 Suma
Todo cuerpo es dominio de integridad conmutativo y uni-
tario. Ms en general, todo anillo de divisin es dominio Se dene la suma + : Q(R) Q(R) Q(R) de la
de integridad unitario. siguiente manera:

(a c ) a c (a d) + (b c)
+ , := + =
1 Ejemplos b d b d bd

cualesquiera que sean ab , dc Q(R) . Es sencillo compro-

1. (Z, +, ) bar que es operacin interna, asociativa, conmutativa, que
tiene elemento neutro 10 y que todo elemento ab Q(R)
2. (Q, +, ) (R, +, ) (C, +, ) [3] tiene por elemento simtrico (elemento opuesto) a ab .
As, (Q(R), +) es un grupo abeliano.

3. (Z[i], +, ) siendo Z[i] = {r+si/ r, s estn en Z} es

un dominio entero llamado anillo de los enteros de 2.1.2 Producto
Gauss.
Se dene la multiplicacin : (Q(R) \ {0}) (Q(R) \
4. (H, +, ) siendo
sus elementos los nmeros reales {0}) Q(R) de la siguiente manera:
x = m + n 5 con m, n nmeros enteros
(a c ) a c ac
5. (J, +, ) siendo sus
elementos los nmeros comple- , := =
b d b d bd
jos x = m + ni 5 con m, n nmeros enteros, i,
unidad imaginaria. cualesquiera que sean ab , dc Q(R) \ {0} . Es sencillo
comprobar que es operacin interna, asociativa, conmu-
6. (K, +, ) siendo sus elementos
los nmeros reales tativa, que tiene elemento neutro 11 y que todo elemento
x = m + n 5 + p 25 con m, n, p nmeros b Q(R) tiene por elemento simtrico (elemento inver-
3 3 a

enteros. [4]
so) a ab . As, (Q(R) \ {0}, ) es un grupo abeliano.

1
2 4 PROPOSICIONES

2.1.3 Distributividad Un mnimo comn mltiplo de a y b , (denotado

por mcm(a, b) ) es, si existe, un elemento m R
Se demuestra sin dicultad que es distributiva respecto de tal manera que a|m , b|m y si m R es tal que
de +. Esto hace que (Q(R), +, ) quede dotado de estruc- a|m y b|m , entonces m|m .
tura de cuerpo.
Es de destacar que no se dice el mximo comn deno-
minador ni el mnimo comn mltiplo, sino un mximo
3 Divisibilidad en un dominio n- comn divisor o un mnimo comn mltiplo. Esto es de-
bido a que, tal y como estn denidos, un mismo par de
tegro (conmutativo y unitario) elementos a, b R pueden tener ms de un mximo co-
mn divisor y ms de un mnimo comn mltiplo. Por
cualquiera otra parte, en un dominio de integridad no siempre est
asegurada la existencia del mnimo comn mltiplo o del
Quizs el aspecto ms interesante que ofrecen los domi- mximo comn denominador de dos elementos cuales-
nios ntegros es el de poder genralizar a ellos muchas de quiera.
las propiedades sobre divisibilidad que conocemos en el
Dos elementos a, b R se dicen coprimos si existe
anillo de los nmeros enteros Z .
mcd(a, b) y adems mcd(a, b) U (R) (es decir, 1 es
En adelante, a, b, c, d, r, x, y, m, u representa- mcd(a, b) ).
rn elementos en el dominio ntegro R (i.e.
a, b, c, d, r, x, y, m, u R ).
3.1.1 Propiedades
Se dice que a y b son asociados si existe un u U (R)
de manera que a = b u . Se denota por a b . Si d y d son mcd(a, b) , entonces d d . Si m
Se denota por U (R) el conjunto formado por todos los y m son mcm(a, b) , entonces m m . Escri-
divisores de la identidad, 1, llamados unidades del anillo. biremos entonces siempre d mcd(a, b) en lugar
de d = mcd(a, b) y m mcm(a, b) en lugar de
Se dice que a divide a b si existe un r R de manera
m = mcm(a, b) .
que b = a r . Se denota por a|b . Si a y b son asociados,
entonces a divide a b y b divide a a . mcd(a c, b c) = mcd(a, b) c .
Se dice que un elemento a de un dominio ntegro R es un
Si d mcd(a, b) entonces mcd( ad , db ) 1 (es de-
tomo o elemento irreducible (a veces se dice simple-
cir, ad y db son coprimos).
mente que es un irreducible) de R si a = 0 , a
/ U (R)
, y si a = b c entonces o bien es b U (R) o bien Si a y b son coprimos (i.e. mcd(a, b) U (R) ),
c U (R) (o los dos). entonces, para cualquiera que sea r R se cumple
Se dice que un elemento a de un dominio es un elemento que mcd(r, a b) = mcd(r, a) mcd(r, b) .
primo (o simplemente primo) si el ideal generado por a
Si a|b entonces mcd(a, b) = a .
es ideal primo de R .
Lo cierto es que la notacin es un poco confusa cuando Si d mcd(a, b) y m mcm(a, b) entonces m
nos referimos a los nmeros enteros. En ese caso, el con- d a b (en particular esto signica que si existe
cepto de nmero primo corresponde con el de elemento mximo comn divisor de dos elementos, entonces
irreducible (que adems sea positivo), y tedramos que el existe su mnimo comn mltiplo, y viceversa).
0 y el 1 seran elementos primos de Z , aunque no seran
Si a, b, c, r R \ {0} y a = b c + r , entonces
nmeros primos.
mcd(a, b) mcd(b, r) .
Si a es elemento primo del dominio ntegro R , a = 0 y
a/ U (R) entonces a es irreducible. Estas son las principales armaciones que podemos decir
sobre divisibilidad en dominios de integridad sin exigir
ms condiciones, como que el anillo R sea dominio de
3.1 Mximo comn divisor y mnimo co- factorizacin nica, dominio de ideales principales o que
mn mltiplo sea dominio eucldeo.

Sean a, b R .
4 Proposiciones
Un mximo comn divisor de a y b , (denotado por
mcd(a, b) ) es, si existe, un elemento d R de tal Teorema
manera que d|a , d|b y si d R es tal que d |a y
d |b , entonces d |d . Todo dominio entero nito es un campo[5]
 3

Corolario

Si p es un primo, entonces el dominio entero Z(p)= {0, 1,

2,..., p-1} es un campo[5]

5 Bibliografa
Birkho- Mc Lane. Algebra Moderna ( en un captulo
inicial)

6 Vase tambin
Dominio (lgebra)

7 Notas y referencias
[1] Este ltimo trmino es un abuso de lenguaje y puede dar
lugar a confusin, ya que la palabra dominio tiene varios
usos en Matemtica

[2] Entre otros, hay un manual de lgebra lineal de Maltsev

[3] Kostrikin Introduccin al lgebra Editorial Mir, Mosc

( 1987)

[4] Kostrikin. Op. cit.

[5] Fraleigh. lgebra abstracta (1987)

8 Enlaces externos
Weisstein, Eric W. Integral Domain. En Weiss-
tein, Eric W. MathWorld (en ingls). Wolfram Re-
search.

Wikilibros
Wikilibros alberga un libro o manual sobre
lgebra Abstracta. incluyendo un captulo sobre
Dominios de Integridad.
4 9 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

9 Origen del texto y las imgenes, colaboradores y licencias

9.1 Texto
Dominio de integridad Fuente: https://es.wikipedia.org/wiki/Dominio_de_integridad?oldid=98349737 Colaboradores: Tano4595, Hal-
cn, Yrbot, FlaBot, Wewe, KnightRider, Maldoror, CEM-bot, Ingenioso Hidalgo, JAnDbot, TXiKiBoT, HiTe, Rehernan~eswiki, Plux,
VolkovBot, Castelo, YonaBot, SieBot, Juan Mayordomo, Raulshc, LucienBOT, Dangelin5, SuperBraulio13, Xqbot, WikitanvirBot, Mer-
lIwBot, Julio grillo, Invadibot, Acratta, Legobot, X2y3, Rehernan, MomijiRoBot, Matzapin y Annimos: 9

9.2 Imgenes
Archivo:Wikibooks-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Licencia: CC BY-SA
3.0 Colaboradores: Trabajo propio Artista original: User:Bastique, User:Ramac et al.

9.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0