[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[obm-l] Homomorfismo sobrejetor
- To: obm-l@xxxxxxxxxxxxxx
- Subject: [obm-l] Homomorfismo sobrejetor
- From: Tertuliano <tertuca@xxxxxxxxxxxx>
- Date: Fri, 23 Mar 2007 19:51:51 -0300 (ART)
- DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com.br; h=X-YMail-OSG:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=O/A4C2h4Rk+U8SFRHtmPQmmoS2XjTSifu34/2HfrCokdzNfgsxoKsuBRVHcE6ByOB5gJi8VT0WjAJr//HIZM7pPdTD7Lbi4U83iQITT/blJUzxFPz1hul3sxu2RZRzI/JoaIFrcfuzVFqnsGe+WpeB+KJQL9GZkINUq1LXFqbEA=;
- Reply-To: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
Olá para todos! Estou com o seguinte problema:
Seja d um divisor de n. Prove que o homomorfismo natural de (Z/nZ)* em
(Z/dZ)* é sobrejetor.
Obs.: (Z/mZ)* é o grupo das unidades do anel (Z/nZ).
Eu pensei no seguinte: Tome k um elemento de (Z/dZ)*. Então (k,d)=1. Se (k,n)=1 então basta tomar k em (Z/nZ)*. Agora, se (k,n) > 1, então dentre os números {1,2,...,n/d-1} deve existir um i tal que (ik+d,n)=1. Porém, não consigo mostrar este último fato.
Se alguém souber provar este fato, gostaria de ver a prova (ou se não for verdade, um contra-exemplo). Ou ainda, se alguém souber resolver o problema de outro modo...
Grato,
Tertuliano.
__________________________________________________
Fale com seus amigos de graça com o novo Yahoo! Messenger
http://br.messenger.yahoo.com/