Gracias Jorge klan por tus sugerencias. Gracias a ellas ya pude resolver el segundo problema. En cuanto al primero aún no lo comprendo por completo. No sé si lo que he hecho está bien. Acá lo que hice:
Para el recíproco, como
, entonces por la identidad de Bézout
. O sea,
(mod
). Esto es igual a
. De aquí se sigue que
es una unidad de
. (¿Esto está bien?)
Para el directo, no estoy muy seguro de qué hacer con el hecho de que, dado
, exista
tal que
.
¿Alguna otra ayuda, por favor?
