07.05.2013 Views

Cap´ıtulo 2 Divisibilidad en Z - IMERL

Cap´ıtulo 2 Divisibilidad en Z - IMERL

Cap´ıtulo 2 Divisibilidad en Z - IMERL

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!