1.

Anillos: Definición y Ejemplos

Definición 1. Sea A un conjunto no vacı́o con dos operaciones binaras denotadas

por +, ·. A se llama anillo si:

1. (A, +) es grupo abeliano.

2. (A, ·) es semigrupo.

3. Para todo a, b, c ∈ A valen:

a · (b + c) = a · b + a · c.

(a + b) · c = a · c + b · c.

Si A es anillo y además:

1. La operación · es conmutativa, entonces A se llama anillo conmutativo.

2. Existe elemento unitario para la operación ·, entonces A se llama anillo

unitario.

3. Satisface 1. y 2., entonces A se llama anillo conmutativo unitario.

4. Si A es anillo conmutativo unitario y para cada elemento a ∈ A, a ̸= 0,

existe b ∈ A tal que a · b = b · a = 1, entonces A se llama cuerpo.

Ejemplos:

1. (Z, +, ·) es un anillo conmutativo unitario. 2 ∈ Z y como Z ⊆ R, sabemos

que el inverso multiplicativo de 2 es 1
2
∈
/ Z. Esto quiere decir que no todo
 elemento de Z tiene inverso multiplicativo en Z. Entonces (Z, +, ·) no es
cuerpo.

2. (Q, +, ·) es un anillo conmutativo unitario. Si a

b
∈ Q con a
b
̸= 0, entonces
a ̸= 0 y entonces b
a
∈ Q y además

a
b · ab = ab · ab = 1.
Y esto quiere decir que todo elemento no nulo de Q tiene inverso multipli-
cativo en Q. Con esto concluimos que (Q, +, ·) es un cuerpo.

3. (R, +, ·) es un anillo conmutativo unitario. Si r ∈ R con r ̸= 0, entonces

1
r
∈ R y además

r · 1r = 1r · r = 1.
Y esto quiere decir que todo elemento no nulo de R tiene inverso multipli-
cativo en R. Con esto concluimos que (R, +, ·) es un cuerpo.
√
4. Sea el conjunto M = {a + b 2 : a, b ∈ Q} con las operaciones usuales de
√ √
R. Sean a + b 2, c + d 2 ∈ M , entonces
√ √ √
(a + b 2) + (c + d 2) = (a + c) + (b + d) 2 ∈ M , ya que a + c ∈ Q y
b + d ∈ Q.
√ √ √
(a + b 2) · (c + d 2) = (ac + 2bd) + (ad + bc) 2 ∈ M , ya que ac + 2bd ∈ Q
y ad + bc ∈ Q. Esto quiere decir que las operaciones suma y producto son
clausurativas en M .

Como M ⊆ R y las operaciones son las mismas, entonces la suma y el

producto en M son operaciones asociativas y conmutativas......y también
valen las distributivas.

2
 √
Como 0 es el neutro para la suma en R y 0 = 0 + 0 2 ∈ M , entonces 0 es
el neutro para la suma en M .
√ √ √
Si a + b 2 ∈ M , entonces −a − b 2 ∈ M y satisface que (a + b 2) + (−a −
√ √ √ √
b 2) + (−a − b 2) + (a + b 2) = 0. Ası́ −a − b 2 es el inverso aditivo de
√
a + b 2 en M . De aquı́ concluimos que (M, +) es grupo abeliano.
√
Como 1 es el neutro para el producto en R y 1 = 1 + 0 2 ∈ M , entonces 1
es el neutro para el producto en M .
√
Sea 0 ̸= a + b 2 ∈ M . Como M ⊆ R, entonces el inverso multiplicativo de
√
a + b 2 en R es a+b1√2 . Observemos que

√ √
1√
a+b 2
= 1√
a+b 2
· a−b√2
a−b 2
= a
a −2b2
2 − a2−2b
b
2 · 2 ∈ M.

Esto quiere decir que todo elemento no nulo de M tiene inverso multipli-
cativo en M . Con esto concluimos que (M, +, ·) es un cuerpo. Observe que
Q ⊆ M ⊆ R.

Definición 2. Sea (A, +, ·) un anillo y ∅ ̸= H ⊆ A. H se llama subanillo de A

(H ≤ A) si (H, +, ·) es un anillo.

Note que si A es un anillo y ∅ ̸= H ⊆ A, entonces H hereda varias propiedades

de A como asociativas, conmutativas y distributivas. Esto permite obtener el
siguiente teorema.

Teorema 1. Sea A un anillo y H ⊆ A. H es subanillo de A ssi:

1. H ̸= ∅.

2. Para todo x, y ∈ H se tiene que x − y ∈ H.

3
 3. Para todo x, y ∈ H se tiene que x · y ∈ H.

Ejemplos:

1. Sabemos que Z, Q, R, C son anillos con las mismas operaciones, entonces

Z ≤ Q ≤ R ≤ C.

2. Tomemos a 2Z ⊆ Z y veamos si es subanillo. Es claro que 2Z ̸= ∅. Ahora

si 2s, 2t ∈ 2Z, entonces 2s − 2t = 2(s − t) ∈ 2Z y (2s)(2t) = 2(2st) ∈ 2Z.
De aquı́ concluimos que 2Z ≤ Z.

√
3. Sea p un primo y consideremos el conjunto T = {a + b p : a, b ∈ Z} con
las mismas operacioens de R. Es claro que Z ⊆ T ⊆ R y esto quiere decir
√ √
que T ̸= ∅ y podemos ver si T ≤ R. Si a + b p, c + d p ∈ T , entonces
√ √ √ √ √
(a + b p) − (c + d p) = (a − c) + (b − d) p ∈ T y (a + b p) · (c + d p) =
√
(ac + bdp) + (ad + bc) p ∈ T . Concluimos entonces que T ≤ R.

4. Si A es un anillo cualquiera es claro que los subconjuntos A y {0} son

subanillos de A. Estos subanillos se llaman subanillos triviales.