[obm-l] Subgrupo aditivo inteiro - Ve rifica��o de validade de prova

["Daniel S. Braz" <dsbraz@xxxxxxxxx>]

Senhores,

 

Estou precisando de ajuda para provar o seguinte fato:

 

Um subconjunto H contido em Z (Inteiros) � um subgrupo do grupo aditivo Z se, e s� se, existe m pertence H,
tal que H = {km|k pertence Z}

 

Em pensei em algo desse tipo:

Sejam am, bm elementos de H. Seja -bm o sim�trico de bm
am - bm = m(a-b) -> H � um subgrupo do grupo aditivo Z (i)

Seja m um elemento de H, seja a um elemento de Z
am = m+m+...+m (a vezes) -> am � um elemento de H (ii)

Se existe m em H tal que H = {km|k pertence Z}, ent�o m � o menor inteiro possitivo de H.
Digamos que exista um inteiro possitivo em H menor do que m tal que tal que H = {km|k pertence Z}.
Chamemos este inteiro de n. Dai vem n = mx (x inteiro possitivo), j� que n est� em H, ent�o mx < m
o que � �mpossivel. (iii)

Digamos que n�o exista m de H tal que H = {km|k pertence Z}, ent�o deve existir pelo menos um elemento
de H que n�o � da forma km, chamemos esse elemento de b. De (ii) sabemos que bm est� em H. Logo
bm-b = b(m-1) deve estar em H. Mas de (iii) sabemos que isto � imposs�vel j� que m-1 � menor do que m.

 

N�o tenho certeza se est� tudo certo. Al�m disso me pareceu complicado demais. Algu�m poderia, por favor

conferir se est� certo? Se algu�m conhecer/souber uma prova mais simples eu gostaria de ver.

 

obrigado.

 

Daniel.