UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

(Universidad del Perú, DECANA DE AMÉRICA)

FACULTAD DE CIENCIAS MATEMÁTICAS
ESCUELA PROFESIONAL DE MATEMÁTICA
ESTRUCTURAS ALGEBRAICAS I
PRÁCTICA DIRIGIDA 13
Resolver los siguientes ejercicios:
1. Sea (A, +, ∗) un dominio de factorización única, y sean a, b ∈ A no nulos
tales que a, b ∈
/ U (A). Supongamos que:

a = pn1 1 ∗ . . . ∗ pnk k y b = pm mk
1 ∗ . . . ∗ pk
1

donde pi es irreducible, ni ≥ 0 y mi ≥ 0 para todo i = 1, . . . , k. Demuestre

que pl11 ∗ . . . ∗ plkk es un máximo común divisor de a y b, si li = min{ni , mi }
para todo i = 1, . . . , k.

2. Sea (A, +, ∗) un anillo con identidad y no nulo. Supongamos que todo

elemento de A es idempotente. Demuestre las siguientes afirmaciones:
i) A no tiene elementos irreducibles.
ii) Para cualesquier a, b ∈ A se cumple que a + b + a ∗ b es un máximo común
divisor de a y b.

3. Sea A un anillo conmutativo. Dados a, b ∈ A, decimos que γ ∈ A es un

mı́nimo común múltiplo de a y b si se cumplen las siguientes propiedades:
i) a|γ y b|γ.
ii) Si a|c y b|c entonces γ|c.
Ahora, sea A un anillo conmutativo con identidad, y sean a, b ∈ A. Supon–
gamos que existe γ ∈ A tal que (a) ∩ (b) = (γ). Demuestre que γ es un
mı́nimo común múltiplo de a y b.

4. Sea (A, +, ∗) un dominio integral. Sean a, b ∈ A tales que existe un

máximo común divisor d ∈ A de a y b. Demuestre que si a = d ∗ r y b = d ∗ s
entonces 1 es un máximo comúm divisor de r y s.

5. Sea (A+, ∗) un dominio integral. Demuestre las siguientes afirmaciones:

i) Dados a, b ∈ A, si d y d0 son máximo común divisor de a y b entonces d y
d0 son asociados.
ii) Supongamos que (A, +, ∗) es un dominio de ideales principales. Dados
a, b ∈ A, si a ∗ b = d ∗ γ, donde d es un máximo común divisor de a y b,

1
entonces γ es un mı́nimo común múltiplo de a y b.

6. Sea k un cuerpo. Dado a ∈ k, sea eva : k[x] → k el homomorfismo de

evaluación en a. Demuestre que Ker(eva ) = (x − a).

7. Sea k un cuerpo. Demuestre que (x2 ) ⊆ k[x] no es un ideal primo.

8. Demuestre que (2, x) ⊆ Z[x] no es un ideal principal.

9. Demuestre que existe un isomorfismo de anillos Z[x]/(m)[x] ∼

= Zm [x],
donde (m) es el ideal de Z generado por m.

10. Demuestre que (2, x) ⊆ Z[x] es un ideal maximal.

Docente: Gabriel Muñoz.