Cap´ıtulo 2 Divisibilidad en Z - IMERL
Cap´ıtulo 2 Divisibilidad en Z - IMERL
Cap´ıtulo 2 Divisibilidad en Z - IMERL
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.6. PROBLEMAS PROPUESTOS 41<br />
2.6. Problemas propuestos<br />
Problema 2.1 .- (Expresión de números natural <strong>en</strong> bases distintas de la decimal)<br />
Demostrar que, dado un natural q > 0, todo número natural n puede expresarse de<br />
manera única <strong>en</strong> la forma<br />
akq k + ak−1q k−1 + · · · + a1q + a0,<br />
con 0 ≤ ak < q, donde k el único natural para el que se verifica q k ≤ n < q k+1 .<br />
Problema 2.2 .- Sea<br />
akak−1 . . . a1a0, ai ∈ {0, 1}<br />
la expresión <strong>en</strong> base 2 (binaria) de un cierto número natural. Expresar, <strong>en</strong> base 2,<br />
coci<strong>en</strong>te y resto de la división por 2 de dicho número.<br />
Problema 2.3 .- Si (A, +, ·) es un anillo conmutativo con elem<strong>en</strong>to unidad, un<br />
subconjunto I se llama ideal si<br />
a + b ∈ I para todo a, b ∈ I<br />
x ∈ A y a ∈ I =⇒ xa ∈ I.<br />
(1) Probar que si a1, . . . , an son elem<strong>en</strong>tos cualesquiera del anillo A, el conjunto<br />
(a1, . . . , an) = {a1x1 + a2x2 + . . . + anxn : xi ∈ A}<br />
es un ideal de A. Todo ideal que se puede expresar de esta forma, se dice<br />
finitam<strong>en</strong>te g<strong>en</strong>erado. Si n = 1, se d<strong>en</strong>omina principal.<br />
(2) Probar que <strong>en</strong> Z todo ideal es principal. Un anillo sin divisores de cero y que<br />
verifica esta propiedad se dice dominio de ideales principales.<br />
(3) Sean ahora, (a) y (b) dos ideales de Z. ¿Quién es el m<strong>en</strong>or ideal que conti<strong>en</strong>e<br />
a ambos? ¿Quién es la intersección de (a) y (b)?<br />
Problema 2.4 .- Dados a y b <strong>en</strong>teros no nulos, los podemos escribir <strong>en</strong> la forma<br />
a = ±<br />
n<br />
i=1<br />
p αi<br />
i<br />
, a = ±<br />
n<br />
i=1<br />
p βi<br />
i , αi, βi ≥ 0.<br />
donde los pi son todos los primos que divid<strong>en</strong> a ab. Comprobar que<br />
mcd(a, b) =<br />
n<br />
i=1<br />
p min{αi,βi}<br />
i<br />
y mcm(a, b) =<br />
n<br />
i=1<br />
p max{αi,βi}<br />
i