Universidade Federal da Bahia

Instituto de Matem atica

Curso de P os-graduac ao em Matem atica
Dissertac ao de Mestrado
O Grupo das Unidades de um Anel Comutativo Local Finito
Laura Cristina Rodrigues Goulart
Salvador-Bahia
Outubro 2004
Dissertacao apresentada ao cole-
giado do curso de Pos-Gradua cao
em Matematica da Universidade
Federal da Bahia, como requisito
parcial para obtencao do Ttulo de
Mestre em Matematica Pura.
Banca examinadora
Prof. David Arsenon Hill (Orientador)
Prof. Jose Fernandes S. Andrade
Prof
a
Aparecida Francisco da Silva.
GOULART, Laura Cristina Rodrigues.O Grupo das
Unidades de um Anel Comutativo Local Finito . Salvador-
Ba, UFBa, 2004 (Dissertacao de Mestrado apresentada ao
curso de pos-graduacao em Matematica) 106p.
Palavras-Chaves: Anel Finito Local, Grupo das Unidades.
A Deus e a meus pais.
Porventura, procuro eu, agora, o favor dos homens ou o de
Deus? Ou procuro agradar a homens? Se agradasse ainda a
homens, nao seria servo de Cristo.- Galatas 1:10
Agradecimentos
A todos os professores responsaveis pelo meu sucesso no mestrado e em especial, aos profes-
sores: Isaac C. Lazaro, Carlos Eduardo Bahiano, Marco Antonio N. Fernandes e Isamara Carvalho
Alves da Universidade Federal da Bahia(UFBa).
Aos amigos, que nunca deixaram de acreditar em mim, sendo que alguns tiveram uma sig-
nicacao no desenvolvimento deste trabalho: Gilmar S. Veiga, Paulo Henrique do Nascimento, Jose
Luiz dos Santos,

Erica Macedo, Odete Amanda e todos os que indiretamente estiveram comigo na
elaboracao deste trabalho.
Gostaria tambem, de agradecer aos professores: Aparecida Francisco da Silva e Jose Fernan-
des S. Andrade que se interessaram a vericar minha dissertacao compondo a banca examinadora.
Um agradecimento muito especial ao professor David Arsenon Hill, cuja excelente orientacao
nunca esquecerei.
6
Apresentacao
A motiva cao para preparar o presente texto surgiu da ideia de estudar um ente matematico
pouco abordado, os aneis nitos. Dessa forma, buscamos subsdios no livro Finites Rings with Identity
de B.R. McDonald. E para o teorema de Gilmer, nos casos onde p = 2, baseamo-nos no recente artigo
de Cora Stack( ver [9]).
7
Abstract
In this present text, in them we x nites commutatives rings, is therefore, we will omit these
terms, mentioning only the substantive ring.
On the other hand, nites rings admit two properties; they are Artian rings and all its
modules to the left are also modules to the right.
In chapter 1, we will admit that the reader has a certain familiarity with modulates them of
a ring. Thus, in them we withhold to the concepts and properties to this dissertion. While that in
chapters 2 and 3, we will only characterize the nites rings and locals rings using the qualities of the
Galois rings.
To the long one of chapter 4, we will detail our main approach, the analysis of the group of
the units of a local ring, classifying them through isomorphism. Of this form, one brief notion of the
Theory of the Finites Abelians Groups will be basic terms.
KEY-WORDS: Local Finite Ring, Galois Rings
8
Sumario
1 Introducao 11
2 Premiliares 13
2.1 Serie de composicao para modulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 Lema de Nakayama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3 Teorema Fundamental para Aneis Finitos Comutativos 19
3.1 Elementos Idempotentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2 Ideais Co-primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.3 Teorema Fundamental para Aneis Finitos Comutativos . . . . . . . . . . . . . . . . . . 22
4 Teorema Fundamental para Aneis Locais 24
4.1 Aneis uniseriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4.2 Aneis de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4.3 Polinomios regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.4 Teorema Fundamental para Aneis Locais . . . . . . . . . . . . . . . . . . . . . . . . . . 32
5 Grupos das Unidades de um Anel Local 35
5.1 Teorema de Person - Schneider . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
5.2 Um isomorsmo entre m e 1 + m . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.3 Teorema de Ayoub . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.4 Teorema de Gilmer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
9
10
A Grupos Finitamente Gerados 58
B Corpos Finitos 59
C Lema de Hensel 60
Captulo 1
Introducao
A

Algebra Abstrata e uma disciplina de natureza classicatoria, isto e, ela adveem da ob-
serva cao de exemplos com propriedades comuns, e da surge a ideia de denir uma classe(estrutura)
`a qual pertencem estes varios exemplos. Assim, uma denicao satisfatoria, em

Algebra,permite-nos
deduzir muitas propriedades que nao estavam explicitamente presentes em um exemplo especco.
Neste texto, trabalhamos com os aneis comutativos nitos, uma estrutura algebrica pouco explorada
na graduacao , visto que em um curso tradicional de

Algebra e mais visado os aneis innitos.
Considerando que o estudo dos modulos sobre um anel qualquer e pre-requisito para a com-
preensao de quase todo assunto em

Algebra, optamos por comecar estuda-los no captulo 2, destacando
somente as propriedades relevantes para o que se segue. Intuitivamente, um modulo e uma extensao
de um espaco vetorial. Ou seja, e um grupo aditivo abeliano sobre o qual um anel age linearmente.
No captulo 3, mostraremos que os aneis do nosso estudo se reduzem, por meio de uma soma
direita, em aneis que possuem um unico ideal maximal chamados de aneis locais. Mas antes, sera
preciso denir elementos idempotentes e ideais coprimos.
Como conseq uencia do teorema principal do captulo 3, restringir-nos aos aneis locais, os
quais sao o nosso objeto de estudo no captulo 4. Para tanto, devemos denir e estudar os aneis
uniseriais e os aneis de Galois. Um anel uniserial, como o proprio nome diz, trata-se de um cujos
os ideais formam uma cadeia nita. Enquanto que um anel de Galois sera construdo de maneira
semelhante aos corpos de Galois. Por m, caracterizaremos um anel local por meio de um anel de
Galois.
Quando se estuda a Teoria de Grupos Finitos, nos preocupamos em classicar os grupos pela
sua ordem e para isso temos os Teoremas de Sylow. Neste texto, questionamos quais desses grupos
sao, na realidade, o grupo das unidades de um anel. Essa pergunta e conhecida como a questao de
Fuch. No captulo 5, nao deteremos apenas na resposta a essa questao, mas tambem mostraremos que
11
Introducao 12
o grupo das unidades de certos aneis sao cclicos e determinaremos quais sao esses aneis, o chamado
Teorema de Gilmer.
Ainda comentando sobre o captulo 5, o primeiro resultado importante nos diz que o grupo
das unidades de um anel local R e isomorfo ao produto direto do p-grupo 1 + m e o corpo K

,
onde m e o ideal maximal de R e K e o corpo de resduos R/m. Como corpos nitos sao vistos
em Teoria de Galois, os quais inclumos de maneira suscinta em um anexo, nosso enfoque foi o estudo
do grupo multiplicativo 1 + m. Por se tratar de um p-grupo abeliano segue que 1 + m e a soma
direta de p-grupos cclicos e a quantidade desses grupos na sua decomposicao e dito posto. Assim,
analisaremos o posto de 1 +m no chamado Teorema de Pearson-Schneider.
Apos o resultado acima mencionado, vimos um isomorsmo entre o grupo aditivo m e o
grupo multiplicativo 1 + m quando R for um anel uniserial de caracterstica p
n
(p : primo). Essa
armacao nao e valida para p = 2 como poderemos observar no Teorema de Ayoub.
Captulo 2
Premiliares
Iniciaremos por uma breve abordagem sobre seq uencias exatas, cuja importancia e permitir a
visualizacao das relacoes entre aplicacoes R - lineares por meio de diagramas, preservando as principais
propriedades dos modulos envolvidos.
Antes, deve-se lembrar que os aneis aqui tratados sao comutativos e nitos, alem de que a
maioria dos resultados apresentados tambem valerao para Aneis Artinianos.
Definic ao 2.1. Sejam K, M, N R-modulos. Uma seq uencia 0 K
f
M
g
N 0, onde f e um
monomorsmo e g e um epimorsmo e dita exata se Im
f
= Ker
g
.
Exemplo 1. Vamos considerar a seq uencia 0 Z
3
f
Z
6
g
Z
2
0, onde f, g sao denidas
por f(0) = 0, f(2) = 2, f(1) = 4 e g(0) = g(2) = g(4) = 0, g(1) = g(3) = g(5) = 1.

E claro que f e
um monomorsmo, g e epimorsmo e Im
f
= Ker
g
. Portanto, a seq uencia e exata curta.
Uma observa cao indispensavel e imediata e que a seq uencia 0 K
f
M 0 sera exata
se, e somente se, f for um isomorsmo.
Proposic ao 2.1. Seja 0 K
f
M
g
N 0 uma seq uencia exata. Entao, M K Nse, e
somente se, existe h : N M tal que g h = I
N
.
Prova: Ver a referencia [1].

Uma seq uencia exata curta que satisfaz a proposicao 1.1 e dita cindida.
13
Serie de composicao para modulos 14
2.1 Serie de composicao para modulos
Como os aneis nitos sao Artinianos, conclui-se necessario um estudo de serie de composicao
para modulos. Alem disso, muitas propriedades de um modulo provem do fato dele ser,em primeira
instancia, um grupo aditivo abeliano.
Definic ao 2.2. Seja M um R-modulo. Um submodulo S de M e dito simples quando para qualquer
submodulo K S tem-se K = 0 ou K = S.
Definic ao 2.3. Diremos que um modulo M tem uma serie de composicao se existe submodulos M =
M
0
M
1
M
k
= 0 tais que M
i1
/M
i
= S
i
sao simples, i = 1, , k.
Um dos exemplos mais simples sao os modulos nitamente gerados. Para melhor compreensao
da serie de composicao ,incluimos o diagrama abaixo, onde os tracos indicam inclusao:
M
o
= M
[
M
1
[
.
.
.
[
M
k
= 0
No que se segue, apresentaremos uma condicao necessaria e suciente para que um modulo
admita uma serie de composicao.
Lema 2.1. Um modulo M tem uma serie de composicao se, e somente se, ele e Artiniano e Noethe-
riano.
Prova
Suponha que M
0
e Artiniano e Noetheriano e tome M = M
0
.
Seja o = / /

: / e submodulo de /

, ordenado pela inclusao.

Por hipotese, M
0
e Noetheriano e segue que existe um modulo M
1
o maximal.Assim, M
0
/M
1
e
simples.
Por recorrencia obtem-se uma seq uencia M = M
0
M
1
M
i
tal que M
i1
/M
i
e
simples.
Lema de Nakayama 15
Considerando ja escolhidos M
0
, M
1
, , M
i
e repetindo o processo para M
i
e obtemos M
i+1
com
M
i
/M
i+1
simples.
Como M
0
e Artiniano e M
i1
M
i
segue que existe um inteiro k > 0 com M
k
= M
k+1
.
Tomando M
k+1
= 0 temos M
0
M
1
M
k
0 tem uma serie de composicao de M.
Reciprocamente, suponha que M admite uma serie de composicao , isto e, existe uma cadeia
de submodulos M = M
0
M
1
M
k
= 0, com M
i
/M
i+1
simples e onde k e o comprimento
mnimo
da serie.
Usaremos inducao sobre k.
Se k = 1 teremos que M e um corpo e obviamente, Artiniano e Noetheriano.
Suponha que todo modulo com serie de comprimento 1 < r < k e Artiniano e Noetheriano.
Observe-se que M
1
admite uma serie de composicao de comprimento k 1 e, pela hipotese de
inducao , M
1
e Artiniano e Noetheriano.
Como, M/M
1
e simples segue que tambem e Artiniano e Noetheriano.
Logo, 0 M
1
M M/M
1
0 e uma seq uencia exata curta, com M
1
e M/M
1
Artinianos
e Noetherianos.
Portanto, M e Artiniano e Noetheriano.

2.2 Lema de Nakayama

O objetivo principal desta secao e demonstrar o Lema de Nakayama visto que qualquer
literatura que faz alguma mencao sobre modulos nao deixa de inclui-lo. Para tal m, deniremos o
radical de um anel e provaremos alguns resultados que serao uteis aqui.
Lembremos que em um anel comutativo com unidade, todo ideal maximal e primo. E que
em um anel Artiniano, vale a recproca. Portanto, os conceitos de radical (ou nilradical)e radical de
Jacobs coincidem.
Lema de Nakayama 16
Definic ao 2.4. Denimos o radical de um anel R, denotado por Rad(R), como a interseccao de
todos os ideais maximais de R.
Na proposicao seguinte, o radical sera formado por alguns elementos unitarios do anel R.
Proposic ao 2.2.
Rad(R) = r R : 1 rs e elemento unitario para todo s R
Prova
Seja A = r R : 1 rs e elemento unitario para todo s R e tomemos r Rad(R).
Mostraremos que r A.
Pela denicao do Rad(R) segue que r pertence a todo ideal maximal m de R.
Como os ideiais maximais de um anel sao formados por elementos nao unitarios e se (1rs) nao
fosse um elemento unitario para algum s R existiria m ideal maximal com 1 rs m.
Logo, (1 rs) + rs m , ou seja, 1 m, contradizendo o fato de m ser um ideal maximal.
Portanto, 1 rs e um elemento unitario para todo s R e r A.
Tomemos agora r Rad(R) e provaremos que r A.
Como r Rad(R) temos que r M para algum ideal maximal m e assim, (m, r) =
= x + rs : s R = R.
Como 1 R existem x m, s R tal que 1 = x + rs , isto e, x = 1 rs m.
Logo, 1 rs nao e elemento unitario e de onde segue que r , A.

Proposic ao 2.3. O Rad(R) e o maior ideal de R tal que para todo r Rad(R) tem-se 1r e elemento
unitario.
Prova
Como Rad(R) e a interseccao de ideais segue claramente que Rad(R) e um ideal.
Seja J um ideal de R tal quen para todo r J que tem-se 1 r e elemento unitario, isto e, cada
elemento
Lema de Nakayama 17
da classe 1 + J e elemento unitario.
Suponha que J , Rad(R) e assim, existe um ideal maximal m de R tal que J , m.
Logo, existe r J que satisfaz (m, r) = R e em particular, 1 = x + rs para algum x m, s R.
Em outras palavras, x = 1 rs elemento unitario, contradizendo que m e maximal.
Portanto, J Rad(R).

Lema 2.2 (Lema de Nakayama). As seguintes condicoes para um ideal J de R sao equivalentes:
(i) J Rad(R);
(ii) Seja M um R-modulo nitamente gerado. Se JM = M entao M = 0;
(iii) Seja M um R-modulo nitamente gerado e N um submodulo de M. Se M = N + JM entao
M = N;
(iv) 1 + J e um subgrupo do grupo das unidades de R.
Prova
(i) (ii)
Suponha que M = 0. Como M e nitamente gerado existe um n umero mnimo de elementos
m
1
, , m
k
que geram M.
Como JM = M, teremos que Jm
1
+ +Jm
k
= Rm
1
+ +Rm
k
e assim, em particular, existem
s
1
, , s
k
J; r
2
, , r
k
R tais que s
1
m
1
+s
2
m
2
+ +s
k
m
k
= m
1
+r
2
m
2
+ +r
k
m
k
, ou seja,
(1 s
1
)m
1
+ (r
2
s
2
)m
2
+ + (r
k
s
k
)m
k
= 0.
Como s
1
J Rad(R) segue que (1 s
1
) e elemento unitario e m
1
Rm
2
+ + Rm
k
,
contradizendo o fato de que k e mnimo.
Portanto, M = 0.
(ii) (iii)
Notemos que J(M/N) (JM + N)/N = M/N, ou seja, J(M/N) = M/N.
Pelo item anterior, segue imediatamente que M/N = 0.
Lema de Nakayama 18
Portanto, M = N.
(iii) (iv)
Seja s J Rad(R) e considere r = 1 + s.
Logo,
R = J + Rr R = Rr r e elemento unitario.
Portanto, 1 + J e um subgrupo de R

.
(iv) (i)
Seja r 1 + J, ou seja, r = 1 + s e elemento unitario para algum s J.
Assim, 1 s tambem e elemento unitario e portanto, s Rad(R).
Dessa forma, concluimos que J Rad(R).

Captulo 3
Teorema Fundamental para Aneis
Finitos Comutativos
Primeiramente, lembremos que todos os resultados aqui se referem a aneis nitos comuta-
tivos com unidade e nas hipoteses omitiremos este fato, exceto quando um resultado mais geral for
apresentado.
Neste captulo, caracterizaremos os aneis nitos e iniciaremos com a denicao de um anel
local.
Definic ao 3.1. Um anel R e dito local se R/Rad(R) e um corpo nito.
Agora veremos uma proposicao caracterizando aneis locais.
Proposic ao 3.1. As seguintes armacoes sao equivalentes:
(i) R e um anel local;
(ii) R tem exatamente um ideal maximal `a direita(ou `a esquerda);
(iii) Os elementos nao - unitarios de R formam um ideal `a direita(ou `a esquerda) de R;
(iv) Os elementos nao - unitarios de R formam um grupo abeliano aditivo;
(v) Para cada r em R teremos que r ou 1 + r e um elemento unitario de R.
Prova: Para vericar as equivalencias, basta observar que R/Rad(R) e um corpo nito se, e so
se, Rad(R) e um ideal maximal de R.

19
Elementos Idempotentes 20
Exemplo 2. Os corpos nitos sao claramente aneis locais.
Exemplo 3. O anel Z
p
2 e um anel local, pois possui como o unico ideal maximal o ideal
m =< p > .
Exemplo 4. Seja Z
3
[x]/(x
3
) e considere x = x+(x
3
). O ideal maximal e m = 0, x, 2x, x
2
, 2x
2
, x+
x
2
, x + 2x
2
, 2x + x
2
, 2x + 2x
2
Z
3
Z
3
. Entao, Z
3
[x]/(x
3
) e um anel local.
3.1 Elementos Idempotentes
Assumiremos que R e um anel Artiniano.
O conceito de elemento idempotente se faz necessario para provar a unicidade do Teorema
Fundamental para Aneis Finitos Comutativos e esses podem ser estendidos para um anel nao nito.
Definic ao 3.2. Sejam R um comutativo, e R. Dizemos que e e idempotente quando e
2
= e.
Exemplo 5. Seja R = Z Z com a seguinte operacao:
(a, b) (c, d) = (ac, bd)
O elemento (1, 0) e claramente um elemento idempotente.
Exemplo 6. Seja R = M
n
(R) com a multiplicacao usual de matrizes. A matriz identidade
e um elemento idempotente.
Exemplo 7. Em um anel com unidade teremos que 0 e 1 sao elementos idempotentes chama-
dos de idempotentes triviais.
Vamos agora enunciar algumas propriedades triviais, porem importantes de um elemento
idempotente.
Propriedade 3.1. Em um anel local nao ha elementos idempotentes nao triviais.
Propriedade 3.2. eRe = ReR e um anel com unidade.
Propriedade 3.3. Se e e idempotente entao (1 e) tambem e idempotente.
Os resultados abaixo descrevem um anel R atraves de uma soma direta envolvendo elementos
idempotentes.
Proposic ao 3.2. Sejam R um anel, e um elemento idempotente de R. Entao R = Re R(1 e).
Prova
Ideais Co-primos 21

E claro que Re, R(1 e) sao ideais e aneis.

Vamos provar que Re R(1 e) = 0.
Seja x Re R(1 e), isto e , x = ae = b(1 e) para algum a, b R.
Logo,
xe = ae
2
= b(1 e)e ae = be be
2
x = be be x = 0

Proposic ao 3.3. Seja R um anel. Suponha que R = I

1
I
2
, onde I
1
, I
2
sao ideais de R. Entao
existe um elemento idempotente e R tal que I
1
= Re, I
2
= R(1 e).
Prova
Seja 1 = e
1
+ e
2
e vamos provar que e
1
, e
2
sao idempotentes.
De fato,
e
1
= e
2
1
+ e
2
e
1
e
1
e
2
1
= e
2
e
1
I
1
I
2
e
1
= e
2
1
.
Analogamente, e
2
= e
2
2
.

Usando inducao nita, prova-se a seguinte proposicao:

Proposic ao 3.4. Seja R um anel. Se R = I
1
I
k
com I
1
, , I
k
ideais de R, entao existem
e
1
, , e
k
idempotentes tais que 1 = e
1
+ + e
k
e e
i
e
j
= 0 para todo i ,= j.
Entre todos os idempotentes, destacaremos um caso particular na proxima denicao.
Definic ao 3.3. Um elemento idempotente e e dito primitivo quando se toda vez que ele for escrito
como soma de dois outros elementos idempotentes e
1
, e
2
de R entao e
1
= e e e
2
= 0.
Como conseq uencia da oberva cao 1.4 teremos que a unidade de um anel local e um elemento
idempotente primitivo.
3.2 Ideais Co-primos
Um outro ente importante na demonstracao da existencia do teorema principal deste captulo
sera o conceito de ideais co-primos, que veremos abaixo.
Teorema Fundamental para Aneis Finitos Comutativos 22
Definic ao 3.4. Sejam R um anel e I, J ideais de R. Dizemos que os ideais I, J sao co-primos se
I + J = R.
Exemplo 8. No anel R = Z
6
os ideiais I = (2) e J = (3) sao claramente ideais co-primos.
Agora vamos enunciar(sem demonstracao) o seguinte lema:
Lema 3.1. Sejam R um anel e I
1
, ..., I
n
ideais de R. Considere o homomorsmo canonico sobrejetor
: R R/I
1
R/I
n
. Entao:
(i) Se, para j ,= k, I
j
, I
k
sao co-primos, entao: I
1
. . . I
n
= I
1
I
n
;
(ii) Se I
j
, I
k
sao co-primos entao I
j
m
, I
k
m
sao co-primos para todo inteiro nao negativo
m.
(iii) A aplicac ao e injetora se, e so se, I
1
I
n
= 0 ;
(iv) A aplicac ao e sobrejetora se, e so se, para j ,= k, I
j
e I
k
sao co-primos.
3.3 Teorema Fundamental para Aneis Finitos Comutativos
Teorema 3.1. Seja R um anel nito comutativo. Entao R se decompoe(a menos da ordem das
parcelas) unicamente como uma soma direta de aneis locais.
Prova
Sejam P
1
, , P
n
os ideais primos distintos de R. Segue que R/P
i
e um dommnio de inte-
gridade.
Como R e nito temos que R/P
i
e um corpo e, portanto P
1
, , P
n
sao ideais maximais.
Quando i ,= j teremos que P
i
, P
j
serao co-primos e segue imediatamente que P
1
P
n
=
= P
1
P
n
.
Logo,
Rad(R) = P
1
P
n
.
Como Rad(R) e um ideal nilpotente, existe um inteiro positivo m tal que [Rad(R)]
m
=
= P
m
1
P
m
n
= 0.
Considere : R R/P
m
1
R/P
m
n
homomorsmo canonico.
Como P
m
1
P
m
n
= 0 teremos e injetora.
Teorema Fundamental para Aneis Finitos Comutativos 23
Por outro lado, como conseq uencia do lema 2.4 temos que e sobrejetora.
Como cada P
i
e um ideal maximal segue que P
m
i
P
i
R, isto e , P
i
/P
m
i
e o unico ideal
maximal do anel R/P
m
i
.
Portanto, R se decompoe em uma soma direta de aneis locais.
Vamos provar a unicidade.
Suponhamos que R R
1
R
n
, R S
1
S
n
, onde cada R
i
, S
i
sao aneis locais.
Assim, existem elementos idempotentes primitivos e
i
, f
j
R tais que e
i
e
j
= 0 = f
k
f
l
,
i, j, k, l 1, . . . , n com i ,= j e k ,= l.
Logo,
1 =
n

i=1
e
i
=
n

j=1
f
j
com R
i
Re
i
e S
j
Rf
j
.
Vamos supor que e
i
,= 0, i = 1, , n.
Logo, e
i
= e
i
1 = e
i

n
j=1
f
j
=

n
j=1
e
i
f
j
= e
i
f
j(i)
. (1)
Analogamente, f
j
= f
j
e
i(j)
. (2)
Por (1) e (2) obtemos e
i
= e
i
f
j(i)
= e
i
f
j(i)
e
i(j(i))
.
Ao supor que i ,= i(j(i)) teramos que e
i
= e
i
e
i(j(i))
f
j
= 0 contradizendo o fato de que os e
i
s
sao nao nulos.
Em outras palavras, R
i
S
j(i)
.
Se algum e
i
= 0 segue que R
i
= 0.

Captulo 4
Teorema Fundamental para Aneis
Locais

E preciso que o leitor saiba que os resultados aqui obtidos valem tambem para Aneis Artini-
anos e nao comutativos.
Para este captulo, adotaremos algumas notacoes: R denotara um anel local; m o seu ideal maximal;
K = R/m o corpo de resduos e f = a
n
x
n
+ + a
1
x + a
0
um polinomio com coecientes em R.
4.1 Aneis uniseriais
Os aneis uniseriais sao chamados tambem de aneis de cadeia, pois e possvel obter uma cadeia
nita de ideais por meio do ideal maximal, como veremos a seguir.
Definic ao 4.1. Um anel R e dito uniserial se seus ideais sao linearmente ordenados, isto e , R
m
1
0.

E facil vericar que todo anel uniserial e um anel local. Mais precisamente temos:
Proposic ao 4.1. R e uniserial se, e somente se, os unicos ideais de R sao R, m, m
2
, , m
r1
, 0.
Alem disso, existe mm
2
tal que m =< >, , m
r1
=<
r1
> .
Prova:
Vamos supor que R e uniserial e vericaremos que m
2
e maximal em m.
Podemos facilmente vericar que m/m
2
e um espaco vetorial sobre K considerando-se
24
Aneis uniseriais 25
as seguintes operacoes :
(1) + : m/m
2
m/m
2
m/m
2
(x = x + m
2
, y = y + m
2
) x + y = (x + y) + m
2
(2) : R/m m/m
2
m/m
2
(r = r + m, x = x + m
2
) rx = (rx) + m
2
Logo, existem a
1
, . . . , a
l
m tais que m/m
2
= Ka
1
K
a
l
.
Consideremos Ra
1
+ m
2
. .
S
1
e Ra
2
+ m
2
. .
S
2
ideais em m.
Como R e uniserial segue, sem perda de generalidade, m S
1
S
2
.
Logo, m/m
2
S
1
/m
2
. .
Ka
1
S
2
/m
2
. .
Ka
2
e obtemos uma contradicao , pois Ka
1
Ka
2
= 0.
Dessa forma,
m/m
2
= Ka
l
dim
K
(m/m
2
) = 1 m/m
2
=< > para algum mm
2
.
Alem disso, para todo ideal I em m tal que m
2
I m verica-se facilmente que I +m
2
e
um K subespaco vetorial de m/m
2
e assim, I + m
2
tem dimensao 1 ou nula.
Se dim
K
(I + m
2
) = 1 entao I + m
2
= m/m
2
, ou seja, I = m que e um absurdo!
Por outro lado, se dim
K
(I + m
2
) = 0 entao I = m
2
.
Portanto, m
2
e maximal em m.
Analogamente, utilizando a mesmo argumento feito acima, prova-se que m
t
e maximal sobre
m
t1
para todo 1 t l.
Desse modo, podemos concluir que os unicos ideais de R sao potencias de m.
Como vimos m/m
2
=< > e usando o lema de Nakayama podemos concluir que m =< > .
A recproca e imediata.

A seguir, apresentaremos uma importante propriedade de um anel uniserial.

Proposic ao 4.2. R e uniserial se, e somente se, R/m
2
e uniserial.
Prova:
Aneis uniseriais 26

E facil vericar que R uniserial entao R/m

2
e uniserial tambem.
Vamos supor que R/m
2
e uniserial, isto e , R/m
2
m/m
2
m
2
/m
2
= /0/ e a sua cadeia.
Como R/m
2
e uniserial segue que m/m
2
= ( + m
2
), ou seja, mm
2
.
Seja k a nilpotencia de m, isto e, k e o menor inteiro positivo com m
k
= 0.
Para k = 1 segue que m = 0, o que equivale a dizer que R e um corpo e portanto, uniserial.
Se k = 2 teremos que R/m
2
R, concluindo o que queramos.
Vamos supor que k = 3.
Para r R denimos : R m dada por (r) = r, onde m =< > .
Como m/m
2
e cclico teremos que m e um R modulo nitamente gerado e m = R +m
2
e pelo Lema de Nakayama temos que m = R , ou seja, e um homomorsmo sobrejetor
de R modulos.
Claro que Ker = m
2
e, pelo Teorema do Homomorsmo podemos concluir que R/m
2
m.
Aplicando a proposicao 3.1, R e uniserial.
Vamos agora supor que o resultado e valido para todo anel com nilpotencia 2 s < k.
Seja : R/m
2
m/m
k
dada por (r + m
2
) = r + m
k
.
Dessa forma,
(1) esta bem denida e e injetora.
De fato, sejam r
1
+ m
2
, r
2
+ m
2
R/m
2
.
Logo,
(r
1
+ m
2
) = (r
2
+ m
2
) r
1
+ m
k
= r
2
+ m
k
(r
1
r
2
) m
k

r
1
r
2
m
k
m
2
r
1
+ m
2
= r
2
+ m
2
.
(2) e sobrejetora por construcao.
(3) e um homomorsmo de modulos.
De fato,

_
(r
1
+ m
2
) + (r
2
+ m
2
)
_
=
_
(r
1
+ r
2
) + m
2
_
= (r
1
+ r
2
) + m
k
=
Aneis de Galois 27
= (r
1
+ m
k
) + (r
2
+ m
k
) = (r
1
+ m
2
) + (r
2
+ m
2
)

_
a(r
1
+ m
2
)
_
=
_
(ar
1
) + m
2
_
= (ar
1
) + m
k
= a(r
1
+ m
k
) = a(r
1
+ m
2
).
Portanto, R/m
2
m/m
k
e assim, m/m
k
e uniserial.
Pela hipotese de inducao, m
k
e uniserial e conclu-se que R e uniserial.

Exemplo 9. Z
p
n e uniserial
De fato:
Vamos usar inducao sobre n.

E claro que Z
p
2 contem uma copia do corpo Z
p
e portanto tem uma cadeia no seguinte formato:
Z
p
2
[
Z
p
[
0
Portanto, Z
p
2 e uniserial.
Vamos supor valido o resultado para 2 k < n.
Como Z
p
n/Z
p
n2 Z
p
2, teremos pela hipotese e pela proposicao 3.2 que Z
p
n e uniserial.
Exemplo 10. Os corpos sao obviamente aneis uniseriais.
Exemplo 11. Considere o anel Z
3
[x]/(x
2
) cujo o ideal maximal e m = 0, x, 2x.

E claro
que m Z
3
e segue que Z
3
[x]/(x
2
) e um anel uniserial.
4.2 Aneis de Galois
Um anel de Galois pode ser visto como um quocientede Z
p
n[x] por um polinomio monico
especco, no qual denimos a seguir.
Usando as notacoes da pag. 21, denimos : R[x] K[x] por (f) = a
0
+ +a
n
x
n
um
homomorsmo de aneis claramente sobrejetor.
Se (f) e irredutvel, pela sobrejecao de , teremos que f e irredutvel tambem. Veremos
a seguir um exemplo em que a recproca nao e verdadeira.
Aneis de Galois 28
Exemplo 12. Sejam R = Z
4
, K = Z
4
/(2) Z
2
, f = x
2
+ 1 e irredutvel sobre R e
u(f) = x
2
+ 1 nao e irredutvel sobre K.
Definic ao 4.2. Um polinomio irredutvel f e dito basico quando u(f) e irredutvel.
Assim, o polinomio f = x
2
+ 1 em Z
8
nao e basico, mas o polinomio q = x
4
+ 1 em Z
8
e basico.
Definic ao 4.3. Um anel R e um anel de Galois quando R e isomorfo ao anel Z
p
n[x]/(f), onde
f e um polinomio basico sobre Z
p
n[x]. Se o grau de f e r denotaremos R por GR(p
n
, r).
Exemplo 13. O anel Z
8
[x]/(x
4
+ 1) e um anel de Galois.
Exemplo 14. GR(p, r) GF(p
r
).
De fato,
Lembremos que pela denicao , GR(p, r) Z
p
[x]/ < q >, onde o polinomio basico q tem
grau r.
Primeiramente, devemos observar que como Z
p
e um corpo e podemos concluir que todo
polinomio
monico irredutvel e basico.
Dessa forma, podemos considerar q = x
r
+ x
r1
+ + x + 1 o polinomio basico e conse-
quentemente, Z
p
[x]/ < q > e um corpo nito de caracterstica p.
Logo,
_
Z
p
[x]/ < q >: Z
p
_
= r [Z
p
_
x

/ < q > [ = p
r
Z
p
[x]/ < q > GF(p
r
)
Exemplo 15. GR(p
n
, 1) Z
p
n
De fato,
Lembremos que todo polinomio de grau um e irredutvel. Como < p > e o ideal maximal de
Z
p
n teremos que Z
p
n/ < p > Z
p
e assim, concluimos que todo polinomio de grau um tambem
e basico.
Logo, tomemos q = x e segue que Z
p
n[x]/ < x >= x, 1 + x, . . . , 1 + x
p
n1
Z
p
n, onde
x =< x > .
Aneis de Galois 29
Observa cao 4.1. Aneis de Galois sao aneis uniseriais.
Seja GR(p
n
, r) = Z
p
n
_
x

/ < f > um anel de Galois e mostraremos que GR(p

n
, r) e uniserial.
Vamos vericar que o ideal maximal em GR(p
n
, r) e principal e da forma pGR(p
n
, r).
Tomemos os homomorsmos canonicos sobrejetores dados por Z
p
n
_
x

Z
p
_
x

Z
p
_
x

/ < (f) > .

Vamos calcular Ker(
u
).
Primeiro, devemos observar que Ker = pZ
p
n
_
x

, e assim teremos que pZ

p
n
_
x

Ker(
u
).
Alem disso, se f Z
p
n
_
x

entao < f > Ker(

u
).
Portanto, pZ
p
n
_
x

+ < f > Ker(

u
).
Assim, podemos considerar g = a
h
x
h
+ + a
1
x + a
0
em Ker(
u
),
Lembremos que (g) = a
h
x
h
+ + a
1
x + a
0
.
Como Z
p
Z
p
n/pZ
p
n podemos reescrever cada a
i
da seguinte forma: a
i
= a
i
+ pZ
p
n.
Por outro lado,
g Ker(
u
) (
u
)(g) = (uf)
u
((g)) =< (f) >(g)+ < (f) >=
=< (f) >(g) < (f) > .
Entao, conclumos que g pZ
p
n
_
x

+ < f > .
Assim, Ker(
u
u) = pZ
p
n
_
x

+ < f > .
Logo,
Z
p
n
_
x

_
Ker(
u
u)
_
Z
p
n
_
x

/ < f >
_
_
_
pZ
p
n
_
x

+ < f > / < f >

_
GR(p
n
, r)
_
pGR(p
n
, r).
Pelo teorema do homomorsmo, segue que GR(p
n
, r)
_
pGR(p
n
, r) Z
p
_
x

/(uf) GF(p
r
),
ou seja, GR(p
n
, r)
_
pGR(p
n
, r) e um corpo.
Dessa forma, pGR(p
n
, r) e o ideal maximal de GR(p
n
, r).
Assim, cada elemento nao nulo em GR(p
n
, r) pode ser escrito de maneira unica como vp
t
para algum unitario v e 0 t n 1.
Em outras palavras, os ideais de GR(p
n
, r) sao todos da forma p
i
GR(p
n
, r) para 0 i n.
Portanto, GR(p
n
, r) e uniserial.
Polinomios regulares 30
4.3 Polinomios regulares
Esta secao tem como objetivo estudar as caractersticas dos polinomios que nao sao divisores
de zero chamados de polinomios regulares.
Lema 4.1. As seguintes armacoes sao equivalentes:
1. f e regular,
2. < a
0
, , a
n
>= R, onde a
0
, , a
n
sao os coecientes de f.
3. a
i
e um elemento unitario para algum i = 0, 1, , n.
4. (f) ,= 0.
Para a demonstracao do lema acima veja [7], captulo XIII.
Lema 4.2. Seja f um polinomio regular em R
_
x

. Entao, existe uma seq uencia f

j
de polinomios
monicos em R
_
x

no qual:
1. grau(f
j
) = grau
_
(f)
_
, onde e a projecao natural de R
_
x

em K
_
x

.
2. f
j
f
j+1
(mod m
j
).
3. Para algum g
j
m
_
x

e um elemento unitario b
j
R teremos b
j
f f
j
+ g
j
f
j
(mod m
j
).
Prova:
Seja f = b
n
x
n
+ . . . + b
1
x + b
0
, onde b
n
,= 0 e grau
_
(f)
_
= t n.
Entao, pelo lema 3.1 temos que b
t
e um elemento unitario.
Escolhemos g
1
= 0 e f
1
= b
1
t
f com grau(f
1
) = t = grau(f).

E claro que f
1
tambem e regular e assim, podemos usar novamente o lema 3.1 para obter
um proximo polinomio. Em outras palavras, aplicando sucessivamente o lema 3.1 obteremos uma
seq uencia de polinomios f
j
da forma f
j
= b
1
t
j
f
j1
.
Vamos usar inducao sobre j.

E obvio que o resultado vale para j = 1.

Vamos supor que a hipotese e valida para a seq uencia f
i

j
i=1
.
Polinomios regulares 31
Dessa forma, b
j
f = f
j
+ g
j
f
j
+ h para algum h m
j
_
x

.
Pelo algoritmo da divisao, existem q, r R
_
x

tais que h = qf
j
+r com grau(r) < grau(f
j
) =
= grau(f) ou r = 0.
Tomemos f
j+1
= f
j
+ r e g
j+1
= g
j
+ q.
Queremos provar que q, r m
j
_
x

.
Para r = 0 o resultado e trivial.
Por outro lado, para r ,= 0 considere f
j
= x
t
+a
t1
x
t1
+. . .+a
1
x+a
0
e q = c
s
x
s
+. . .+c
1
x+c
0
e entao, f
j
q = c
s
x
t+s
+ (a
t1
c
s
+ c
s1
)x
t+s1
+ . . . a
0
c
0
.
Como h 0 e grau(r) < grau(f
j
) = t e facil vericar que tanto o coeciente c
s
como os
outros coecientes
de q estao em m
j
, ou seja, q m
j
_
x

.
Consequentemente, r = h qf
j
m
j
_
x

.
Alem disso,
(f
j
) + (g
j
+ q)(f
j
+ r) rg
j
rq = f
j
+ g jf
j
+ h b
j
f = f
j+1
+ g
j+1
f
j+1
r(g
j
+ q)
b
j
f f
j+1
+ g
j+1
f
j+1
(mod m
j
).

Proposic ao 4.3. Seja f um polinomio regular em R[x]. Entao, existe um polinomio monico f

tal
que para a R, f(a) = 0 se, e somente se, f

(a) = 0. Alem disso, existe unidade R[x] tal que

f = f

.
Prova:
Tomemos k a nilpotencia de m.
Pelo lema 3.2 segue que b
k
f = f
k
+ g
k
f
k
= (1 + g
k
)f, onde f
k
e monico.
Como g
k
m
_
x

teremos que 1 +g
k
e um elemento unitario.
Seja = (1 + g
k
)
1
b
k
e logo, f = (1 + g
k
)
1
b
k
f = (1 + g
k
)
1
f
k
(1 + g
k
) = f
k
.
Basta, agora, tomar f

= f
k
monico e ca claro que f

(a) = 0 se, e somente se, f(a) = 0, a R.

Teorema Fundamental para Aneis Locais 32

Proposic ao 4.4. Seja f um polinomio regular em R[x] e suponha que f tem uma raiz simples
a K . Entao, f tem somente uma raiz a com (a) = a.
Prova:
Seja (f) = (x a)h no qual x a, h sao coprimos.
Pelo lema de Hensel(ver anexo 3) temos que f = (xa+g
1
)(h+g
2
) com g
1
, g
2
m[x] e h = h.
Pela proposicao 3.3 temos que existe um elemento unitario q R[x] tal que (xa+g
1
) = q(x).
Assim, (a) = a = () e f = q(x )(h + g
2
).

4.4 Teorema Fundamental para Aneis Locais

Teorema 4.1. Seja R um anel local de caracterstica p
n
com m o seu ideal maximal e K = R/m.
Considere [K : Z
p
] = r e u
1
, , u
t
um conjunto minimal de geradores de m. Entao, existe um
subanel T de R tal que
1. T GR(p
n
, r) , onde T e unico e e a maior extensao Galoisiana de Z
p
n em R.
2. R e a imagem homomorca de T[x
1
, , x
t
].
Prova:
Como K e um corpo nito (m maximal) e nito (R nito) temos que K 0 e cclico.
Seja a um gerador para K 0 e considere f o polinomio mnimo de a sobre Z
p
.
Tomemos f a imagem inversa de f em Z
p
n[x].
Pela proposicao 3.4 teremos que existe a R tal que a = a e f(a) = 0.
Tomemos T = Z
p
n[a] e vamos provar que T Z
p
n[x]/< f >.
Seja : Z
p
n Z
p
n[a] dada por (g) = g(a).
Teorema Fundamental para Aneis Locais 33
Claramente temos que e um homomorsmo de aneis com Ker =< f > .
Portanto, T Z
n
p
[x]/ < f >, ou seja, T e um anel de Galois e e unico a menos de isomorsmo.
Alem disso, T e a maior extensao galoisiana de Z
p
n em R.
Provaremos que R e a imagem homomorca de T[x
1
, , x
t
] e para isto provaremos que
R = T[u
1
, , u
t
].

E claro que T[u

1
, , u
t
] R.
Seja R.
O primeiro fato a ser observado e que existindo uma sobrejecao natural entre R e K,
existira uma sobrejecao entre T e K, isto e, K T/m.
Logo, K (T[u
1
, , u
t
] + m)/m.
Assim, se + m = a + m para algum a T
_
u
1
, , u
t

tem-se a = x m,
ou seja, = a + x T
_
u
1
, , u
t

+m
Portanto, R = T
_
u
1
, , u
t

+m.
Suponha que m

= 0 com m
1
,= 0.
Lembremos que m = Ru
1
+ + Ru
t
e precisamos vericar que m
s
T[u
1
, , u
t
] + m
s+1
Observemos que (Ru
1
+ + Ru
t
)
s
e a soma de termos Ru

1
1
Ru

t
t
onde

t
i=1

i
= s.
Assim, m
s
e a soma dos termos da forma Ru

1
1
. . . u

t
t
.
Logo,
Ru

1
1
Ru

t
t
= (T
_
u
1
, , u
t

+m)u

1
1
. . . u

t
t
= T
_
u
1
, , u
t

m
s
= T
_
u
1
, , u
t

+m
s+1
.
Em particular, teremos que m
1
T[u
1
, , u
t
].
Consideremos R = R/m
1
e m = m/m
1
.
Com o mesmo argumento feito acima, obteremos que m
2
= T
_
u
1
, , u
t

.
Logo,
x m
2
x T
_
u
1
, , u
t

x + m
1
T
_
u
1
, , u
t

+m
1
x T
_
u
1
, , u
t

.
Ou seja, m
2
= T
_
u
1
, , u
t

.
Por recorrencia, obtemos que m T
_
u
1
, , u
t

.
Teorema Fundamental para Aneis Locais 34
Por outro lado,
K T[u
1
, . . . , u
t
] + m/m e K corpo T[u
1
, . . . , u
t
] + m/m = K
R = T[u
1
, . . . , u
t
] + m/m.
Portanto, R = T
_
u
1
, , u
t

Captulo 5
Grupos das Unidades de um Anel Local
Consideremos R

o grupo das unidades de um anel R de caracterstica p

n
com p : primo
e n : inteiro positivo.
Usando a decomposicao de R em aneis locais temos a seguinte proposicao:
Proposic ao 5.1. Se R = R
1
R
t
onde cada R
i
e um anel local com i = 1, , t ; entao
R

e o produto direto dos grupos R

1
, , R

t
.
Prova:
Lembremos que R = R
1
R
t
R
1
R
t
.

E claro que R

1
R

t
.
Seja x = (x
1
, , x
t
) R

, isto e, x e um elemento unitario.

Assim, existe y = (y
1
, , y
t
) tal que xy = 1
R
tem-se x
i
y
i
= 1
R
i
, i = 1, , t.
Da, x
i
R

i
.
Como a outra inclusao e obvia segue-se a igualdade R

= R

1
R

t
.
Veremos agora, uma caracterizacao do R

de um anel local:
Teorema 5.1. R

(1 + m) K

.
Prova:
Considere a seq uencia
35
Teorema de Person - Schneider 36
1 1 + m

R

1,
onde e a inclusao e (r) = r + m.
Claramente e injetora e e sobrejetora por construcao, ou seja, a seq uencia e exata.
Como K

e ciclco de ordem p
t
1 e 1 + m e um p-grupo, segue que a seq uencia acima e
cindida.
Portanto, R

(1 + m) K

5.1 Teorema de Person - Schneider

Vamos considerar os seguintes p-grupos aditivos:
N = m[p = 0 e Q = N[
p
= 0.
Assim, estabelecemos uma cadeia de p - subgrupos multiplicativos de R

:
1 + Q 1 + N 1 + m R

.
Observa cao 5.1. Para , N temos que ( + )
p
=
p
+
p
.
De fato:
(+)
p
=

p
i=0
_
p
i
_

pi
=
p
+p
p1
+
p(p1)
2

2

p2
+ +
p(p1)
2

p2

2
+p
p1
+
p
=
=
p
+
p
, pois com , N temos p = 0 = p.
Como estamos estudando necessariamente p-grupos abelinos nitos temos a seguinte denicao:
Definic ao 5.1. Na soma direta de um p-grupo abeliano nito G, o n umero de p-grupos cclicos e
dito posto de G.
Usaremos posto(G) para denotar o posto de G e assim, sejam x = posto(1 + m), y =
posto(1 + N), z = posto(m).
Teorema de Person - Schneider 37
Proposic ao 5.2. Um p - grupo aditivo G tem posto q se, e somente se, a equac ao p = 0(
p
= 1
para um grupo multiplicativo ) tem exatamente p
q
solucoes .
Prova:
Considere H = G : p = 0.
Suponhamos primeiramente que o posto(G) = q, isto e, G Z
p
r
1 Z
p
r
q .
Como cada Z
p
r
i contem copias de Z
p
teremos que o posto de H tambem sera q.
Alem disso, cada Z
p
tem exatamente p solucoes para p = 0 e consequentemente [H[ = p
q
.
Vamos agora supor que [H[ = p
q
, ou seja, H Z
p
Z
p
. .
q-vezes
.
Como G e um p-grupo abeliano nito segue que G Z
p
r
1 Z
p
r
k para algum inteiro
positivo k.
Novamente, pelo fato que cada Z
p
r
i conter Z
p
teremos necessariamente k = q.

Observa cao 5.2. Ao dizermos que p = 0 tem exatamente p

z
solucoes , estamos
demonstrando que [N[ = p
z
, conseq uencia direta da propria denicao deste conjunto. Assim,
conclui-se que m e N tem o mesmo posto.
Alem disso, do fato de que 1 + N tem posto y teremos que (1 + )
p
= 1 tem p
y
solucoes .
Por outro lado,
(1 + )
p
= 1 1 +
p
= 1
p
= 0 Q.
Portanto, [Q[ = p
y
.
Com as notacoes introduzidas nos paragrafos anteriores temos os seguintes lemas:
Lema 5.1. Seja a N.
1. Se a
s
N, a
w
,= 0 para algum w s entao < a
s
> < a
w
> N e w s + 1 z.
2. Se z < p entao y = z.
Teorema de Person - Schneider 38
3. Se 1 + a tem ordem p
w
entao p
w1
< n(a) p
w
, onde n(a) e a nilpotencia de a.
4. Se p

e a ordem maxima dos elementos de 1 + N entao p

1
z.
Prova:
1. Seja u = u
s
a
s
+ + u
w
a
w
) < a
s
> < a
w
> N.
Logo,
pu = p(u
s
a
s
+ + u
w
a
w
) = u
s
pa
s
+ + u
w
pa
s
(a
ws
) = 0 u N.
Suponhamos que r
s
a
s
+ + r
w
a
w
= 0 para inteiros r
s
, , r
w
Seja q = n(a) 1 w e assim, q = s + k
0
para algum inteiro k
0
.
Entao, pa
q
= 0, isto e, a
q
N ().
Por outro lado,
a
qs
(r
s
a
s
+ r
s+1
a
s+1
+ r
s+2
a
s+2
+ + r
w
a
w
) = 0
r
s
a
q
+ r
s+1
a
n(a)
. .
=0
+r
s+2
a
n(a)+1
. .
=0
+ + r
w
a
n(a)+k
. .
=0
= 0 r
s
a
q
= 0 p[r
s
.
Analogamente, multiplicando a equacao r
s
a
s
+ +r
w
a
w
= 0 por a
q(s+1)
, , a
qw
obteremos
p[r
s+1
, , p[r
w
.
Como a N segue que r
i
a
i
= 0 para todo s i w.
Portanto, < a
s
> < a
w
> N e w r + 1 z.
2. Vamos supor que z < p e tomemos w = n(a) 1, s = 1.
Pelo item 1. temos que w s + 1 z < p, ou seja n(a) 1 < p e n(a) p.
Alem disso,
a
p
= a
[pn(a)]+n(a)
a
p
= a
pn(a)
a
n(a)
a
p
= 0 a Q.
Logo,
[ N [=[ Q [p
z
= p
y
y = z.
3. Como a N temos que (1 +a)
p
w
= 1 + a
p
w
.
Por outro lado, a ordem de (1 +a) e p
w
, ou seja, (1 +a)
p
w
= 1 a
p
w
= 0.
Teorema de Person - Schneider 39
Logo,
p
w1
< n(a) p
w
4. Tomemos a N tal que 1 +a tem ordem p

.
Como p

e a ordem maxima segue que (1 +a)

p

= 1.
Pelo item 3 desse lema, p
1
< n(a) e pelo item 1, n(a) z.
Portanto, p
1
z.
Lema 5.2. n(a) rp n(a) r + y para cada a N.
Prova:
Vamos supor que n(a) > r +y e segue que, pelo lema 4.3, < a
r
> + + < a
r+y
> Q e uma
soma direta. Consequentemente, [Q[ > p
y
que e um absurdo.
Portanto, n(a) r + y.

No proximo lema, usaremos [ ] para representar a aplicacao maior inteiro positivo.

Lema 5.3. Seja R um anel local comutativo e p um n umero primo.
1. y < p 1 y = z
2. z < p 1 x = y = z.
Prova:
1. Seja p

a ordem maxima dos elementos de 1 +N.

Usando o lema 4.3, item 4, obtemos que p
1
z.
Por outro lado, p
z
= [N[ = [1 + N[ p
y
tem-se z y.
Logo,
z y e y < p 1 p
1
z < (p 1).
Ou ainda,
p
1
z (p 2). (5.1)
Consideremos a funcao diferenciavel f(x) = p
x1
(p 2)x (p : primo ) e vamos
Teorema de Person - Schneider 40
usa-la para vericar a desigualdade 5.1.
Para isso, inicialmente determinaremos os pontos crticos de f(x).
Logo,
f

(x) = 0 ln( p)p

x1
p + 2 = 0 p
x1
=
p 2
ln p
ln p
x1
= ln
_
p 2
ln p
_

(x 1)ln p = ln
_
p 2
ln p
_
(x 1)ln p = ln (p 2) ln (ln p) x = 1 +
ln (p 2)
ln p

ln (ln p)
ln p
2
Alem disso, f

(x) = (ln p)
2
p
x1
> 0, x R, ou seja, sabemos que o ponto crtico e um
ponto de mnimo.
Por outro lado, a funcao e crescente para x 3, pois p
2
> (p 2) 3. Neste caso,
a desigualdade 5.1 nao valera.
Portanto, as unicas possibilidades para sao = 1 ou = 2.
Supondo que = 2 chegaremos a uma contradi cao .
De fato, seja = n(a) = p
2
para algum a m e tomemos r =
_
( 1)/p
_
+ 1.
Pelo lema 4.2 temos:
rp r + y
_
( 1)/p
_
+ y + 1.
Agora, pelo lema 4.1 temos:
p
2

_
(p
2
1)/p
_
+y +1 (p 2) +y +1 (p 2) +(p 1) +1, pois
y < p 1.
Logo, se 2p 2 entao p
2
2(p 1) o que e um absurdo.
Portanto = 1, isto e, y = z.
2.

E claro que posto(1 + N) posto(N), isto e, y z.
Logo, pelo item 1 segue que y z < p 1 tem-se y = z.
Por outro lado, 1 +N 1 + m tem-se y x.
Vamos supor que y < x e segue que existe t m tal que pt ,= 0 e (1 + t)
p
= 1.
Logo,
(1 + t)
p
= 1 1 + pt + . . . t
p
= 1 p
t
+ . . . + t
p
= 0 t
p
= pt

p1
i=2
pc
i
t
i

t
p
= pt
_
1
p1

i=2
c
i
t
i1
. .
=c
_
.
Observemos que c e um um elemento unitario, pois c 1 + m.
Alem disso, cpt
n(t)p+1)
= (cpt
p+1
)t
n(t)
= 0 = t
n(t)
t
n(t)p+1
N.
Teorema de Person - Schneider 41
Contudo, n(t) p + 1 n(t) 1 e t
n(t)1
,= 0.
Pelo lema 4.3 obtemos que z (n(t) 1) (n(t) p + 1) + 1 = p 1, contradizendo a
hipotese.
Portanto, z = y = x.

Para nalizar essa secao, vamos enunciar e provar o Teorema de Person - Schneider.
Teorema 5.2 (Teorema de Person - Schneider). Seja m ,= 0 e 1 w < p 1. Entao as
seguintes armacoes sao equivalentes:
1. posto(1 + m) = w ;
2. posto(1 + N) = w ;
3. posto(m) = w ;
Prova:
Pelo lema 4.5 temos:
(1 2) y x p 1 y = z e z < p 1 x = y = z.
(2 3) y < p 1 y = z e z < p 1 x = y = z.
(3 1) z < p 1 x = y = z.

Exemplo 16. Seja o anel Z

9
de caracterstica 3
2
. O ideal maximal e m = 0, 3, 6 Z
3
,
isto e, posto(m) = 1. Pelo Teorema de Pearson-Scneider segue que posto(1 + m) = 1.
Exemplo 17. Seja o anel Z
5
[x]/(x
2
) de caracterstica 5 e considere x = x +(x
2
). O ideal
maximal e m = 0, x, 2x, 3x, 4x Z
5
, isto e, posto(m) = 1. Pelo Teorema de Pearson-Scneider
segue que posto(1 + m) = 1.
Exemplo 18. Seja o anel Z
3
[x]/(x
3
) de caracterstica 3 e considere x = x +(x
3
). O ideal
maximal e m = 0, x, 2x, x
2
, 2x
2
, x+x
2
, x+2x
2
, 2x+x
2
, 2x+2x
2
Z
3
Z
3
, isto e, posto(m) = 2.
Como a hip`otese 1 posto(m) < 3 1 e falsa, o Teorema de Pearson-Schneider nao pode ser
aplicado. Contudo, 1+m = 1, 1+x, 1+2x, 1+x
2
, 1+2x
2
, 1+x+x
2
, 1+x+2x
2
, 1+2x+x
2
, 1+2x+2x
2

Z
3
Z
3
.
Exemplo 19. Seja o anel Z
8
de caracterstica 2
3
. O ideal maximal e m = 0, 2, 4, 6 Z
4
,
isto e, posto(m) = 1. Entretanto, 1 + m = 1, 3, 5, 7 Z
2
Z
2
, isto e, posto(1 + m) = 2. Assim,
o Teorema de Pearson-Schneider nao e v`alido neste caso; o que e obvio, pois nao tem sentido a
desigualdade 1 w < 2 1. Portanto, nas hipoteses do teorema podemos admitir que p 3.
Um isomorsmo entre m e 1 + m 42
5.2 Um isomorsmo entre m e 1 +m
Vamos considerar R um anel uniserial de caracterstica p
n
com p 3 e m = R.
Dado i inteiro positivo, podemos estabelecer uma correspondencia biunvoca entre i! e
algum elemento de R, cuja representacao sera i! em R. Alem disso, tambem podemos admitir que
p
v
i
i!
e um elemento de R, onde v
i
e escolhido de maneira que ele seja o maior inteiro positivo tal que
p
v
i
divide i!.
De fato,
Consideremos i! = p
u
i
a com mdc(a, p) = 1
1
.
Logo,
b R tal que ba + p
n
= 1 ba = 1.
Ou seja, a e inversvel e segue que
p
v
i
i!
= p
v
i
u
i
b R.
Podemos, entao, extender a denicao de combinacao de n por i em Z para um anel uniserial
como veremos na proxima denicao:
Definic ao 5.2. Para qualquer c R denimos a combinac ao de c pelo inteiro positivo i, denotado
por
_
c
i
_
, como sendo:
_
_
_
1, se i = 0
p
v
i
i!
c(c 1) . . . (c i + 1), se i ,= 0
,
onde v
i
e escolhido de tal forma que p
v
i
[ i! e p
v
i
+1
nao divide i!.
Exemplo 20. Tomemos R = Z
9
e c = 2.
Logo,
_
2
0
_
:= 1
_
2
1
_
=
3
v
1
1!
2, onde 3
v
1
[ 1!, isto e, v
1
= 0, e segue que
_
2
1
_
= 2.
_
2
2
_
=
3
v
2
2!
2(2 1) , onde 3
v
2
[ 2!, isto e, v
2
= 0 , e segue que
_
2
2
_
= 1.
1
A existencia do mdc e garantida pelo fato de que um anel uniserial e principal.
Um isomorsmo entre m e 1 + m 43
_
2
i
_
= 0 para qualquer i 3, pois 2(2 1)(2 2) . . . (2 i + 1) = 0.
Precisaremos do seguinte resultado:
Lema 5.4.
_
a + b
r
_
=

i+j=r
i,j0
_
a
i
__
b
j
_
p
v
r
v
i
v
j
,
onde a, b R e r e um inteiro positivo.
Prova:
Desenvolvendo o segundo membro da igualdade acima, obtemos:

i+j=r
i,j0
_
a
i
__
b
j
_
p
v
r
v
i
v
j
=
_
a
0
__
b
r
_
+
_
a
1
__
b
r 1
_
p
v
r
v
1
v
r1
+
+
_
a
2
__
b
r 2
_
p
v
r
v
2
v
r2
+ . . . +
_
a
r 1
__
b
1
_
p
v
r
v
1
v
r1
+
_
a
r
__
b
0
_
=
=
p
v
r
r!
b(b 1) (b r + 1) +
_
p
v
1
a
1!
_ _
p
v
r1
(r 1)!
b(b 1) (b (r 1) + 1)
_
p
v
r
v
1
v
r1
+
+
_
p
v
2
2!
a(a 1)
_ _
p
v
r2
(r 2)!
b(b 1) (b (r 2) + 1)
_
p
v
r
v
2
v
r2
+ . . . +
+
_
p
v
2
2!
b(b 1)
_ _
p
v
r2
(r 2)!
a(a 1) (a (r 2) + 1)
_
p
v
r
v
2
v
r2
+
+
_
p
v
1
b
1!
_ _
p
v
r1
(r 1)!
a(a 1) (a (r 1) + 1)
_
p
v
r
v
1
v
r1
+
p
v
r
r!
a(a1) (ar +1) =
=
p
v
r
r!
b(b 1) (b r + 1) +
_
p
v
r
1!(r 1)!
ab(b 1) (b r + 2)
_
+
+
_
p
v
r
2!(r 2)!
ab(a 1)(b 1) (b r + 3)
_
+. . .+
_
p
v
r
2!(r 2)!
ab(b 1)(a 1) (a r + 3)
_
+
+. . . +
_
p
v
r
1!(r 1)!
ab(a 1) (a r + 2)
_
+
p
v
r
r!
a(a 1) (a r + 1) =
=
p
v
r
r!
[b(b 1) (b r + 1) +
_
r
1
_
ab(b 1) (b r + 2)+
+
_
r
2
_
ab(a 1)(b 1) (b r +3) +. . . +
_
r
r 2
_
ab(a 1)(b 1) (a r +3)+
Um isomorsmo entre m e 1 + m 44
+
_
r
r 1
_
ab(a 1) (a r + 2) + a(a 1) (a r + 1)].
Usando inducao sobre r, vamos provar que
_
a + b
r
_
equivale ao que encontramos acima.

E claro que a identidade considerada e valida para r = 1.

Vamos supor que ela vale para 1 s r.
Logo,
_
a + b
r
_
=
p
v
r+1
(r + 1)!
(a + b)(a + b 1) (a + b r) =
=
p
(v
r+1
v
r
)+v
r
(r + 1)r!
(a+b)(a+b1) (a+br+1)(a+br) =
p
v
r+1
v
r
r + 1
(a+br)
_
a + b
r
_
=
=
p
v
r+1
v
r
r + 1
(a + b r)
_
p
v
r
r!
[b(b 1) (b r + 1) +
_
r
1
_
ab(b 1) (b r + 2)+
+
_
r
2
_
ab(a 1)(b 1) (b r + 3) +. . . +
_
r
r 2
_
ab(a 1)(b 1) (a r + 3)+
+
_
r
r 1
_
ab(a 1) (a r + 2) + a(a 1) (a r + 1)]
_
=
p
v
r+1
(r + 1)!
_
b(b 1) (b r + 1)(a + b r) +
_
r
1
_
ab(b 1) (b r + 2)(a + b r)+
+. . . +
_
r
r 1
_
ab(a 1) (a r +2)(a +b r) +a(a 1) (a r +1)(a +b r)
_
=
=
p
v
r+1
(r + 1)
!
_
b(b1) (br+1)(a+br)+
_
r
1
_
ab(b1) (br+2)[(a1)+(br+1)]+
+. . .+
_
r
r 1
_
ab(a1) (ar+2)[(ar+1)+(b1)]+a(a1) (ar+1)(a+br) =
=
p
v
r+1
(r + 1)
!
_
b(b 1) (b r + 1)(b r) + b(b 1) (b r + 1)a+
+
_
r
1
_
ab(b 1) (b r + 2)(b r + 1) +
_
r
1
_
ab(b 1) (b r + 2)(a 1)+
+. . .+
_
r
r 1
_
ab(a1) (ar+2)(ar+1)+
_
r
r 1
_
ab(a1) (ar+2)(b1)+
+a(a 1) (a r + 1)(a r) + a(a 1) (a r + 1)b
_
=
p
v
r+1
(r + 1)
!
_
b(b 1) (b r)+
Um isomorsmo entre m e 1 + m 45
+ab(b 1) (b r + 1) + rab(b 1) (b r + 1) + rab(a 1)(b 1) (b r + 2)+
+
r(r 1)
2
ab(a 1)(b 1) (b r + 2) + . . . + a(a 1) (a r)
_
=
=
p
v
r+1
(r + 1)!
[b(b 1) (b r) +
_
r + 1
1
_
ab(b 1) (b r + 1)+
+
_
r + 1
2
_
ab(a 1)(b 1) (b r +2) +. . . +a(a 1) (a r)] e e o que queramos
provar.

O proximo lema e um resultado elementar de Teoria dos N umeros(ver [5]) que poderemos
restringir para o inteiro positivo v
i
da denicao 4.2.
Lema 5.5. Seja p um n umero primo. Se v
i
e o maior inteiro positivo tal que p
v
i
[ i!, entao
v
i
=

j=1
_
i
p
j
_
, onde [ ] e a aplicac ao maior inteiro positivo.
Como para p
i
> i teremos que
_
i
p
j
_
= 0 e o somatorio anterior resumira uma soma nita
de 1 ate o maior inteiro positivo s tal que p
s
i.
Em outras palavras, v
i
=
s

j=1
_
i
p
j
_
, onde p
s
i.
Por outro lado, podemos escrever i =
s

j=0
c
j
p
j
para alguns inteiros c
j
.
Logo,
v
i
=
s

j=1
_
i
p
j
_
= c
1
+ c
2
(p + 1) + c
3
(p
2
+ p + 1) + . . . c
s
(p
s1
+ . . . + p + 1) =
= c
1
(
p1
p1
) + c
2
(
p
2
1
p1
) + . . . + c
s
(
p
s
1
p1
) =
_
(c
1
p + c
2
p
2
+ . . . + c
s
p
s
) (c
1
+ c
2
+ . . . + c
s
)
_
1
p 1
=
=
_
(i c
0
) (c
1
+ c
2
+ . . . + c
s
)
_
1
p 1
= (i
s

j=0
c
j
)
1
p 1
.
Portanto obtemos o seguinte lema:
Lema 5.6. Assumindo que 1 k < p1, obteremos i kv
i
=
1
p 1
_
(p1k)i +k
s

j=0
c
j
_

i
p 1
e sem perda de generalidade podemos supor que i p 1.
Prova:
Um isomorsmo entre m e 1 + m 46
Temos que i kv
i
= i
k
p 1
(i
s

j=0
c
j
) =
i(p 1) ki + k

s
j=0
c
j
p 1
=
= i(
p1k
p1

k
p 1
s

j=0
c
j
).
Como p 1 > k teremos que 0 <
k
p1
< 1 e p 1 k 1.
Portanto, i kv
i

i
p 1
e consequentemente i kv
i
1.

Denniremos uma generalizacao do binomio de Newton para um anel uniserial R da seguinte

maneira:
Definic ao 5.3. Considere m = R e u um um elemento unitario de R tal que up =
k
para
algum 1 k < p 1. Para cada c R denimos (1 + )
c
=

i0
_
c
i
_

ikv
i
u
v
i
.
Exemplo 21. Seja R = Z
9
de caracterstica 3
2
. Logo, se 1 k < 3 1 entao k = 1.
Assim,
(1 + )
2
=

i0
_
2
i
_

iv
i
u
v
i
=
_
2
0
_

0v
0
u
v
0
+
_
2
1
_

1v
1
u
v
1
+
+
_
2
2
_

2v
2
u
v
2
= 1 + 2 +
2
Exemplo 22. Seja R = Z
5
de caracterstica 5.
Logo,
1 k < 5 1 K = 1, 2 ou 3.
Por outro lado,
5
v
i
[ i! v
i
= 0 para i = 0, 1, 2, 3, 4.
Assim, i kv
i
= i e u
v
i
= 1 para i = 0, 1, 2, 3, 4.
Portanto,
(1 + )
4
=

i0
_
4
i
_

i
=
_
4
0
_
+
_
4
1
_
+
_
4
2
_

2
+
_
4
3
_

3
_
4
4
_

4
=
= 1 + 4 +
2
+ 4
3
+
4
.
Um isomorsmo entre m e 1 + m 47
Por m, vamos provar o resultado principal desta secao .
Teorema 5.3. Suponhamos que R e um anel uniserial de caracterstica p
n
, (p 3 : primo) com ideal
maximal m = R. Consideremos o um elemento unitario u escolhido tal que up =
k
e assumindo
que 1 k < p 1. Seja : m 1 + m dado por (a) = (1 + )
c
, onde c e qualquer elemento no
qual a = c. Entao, e um isomorsmo entre o grupo aditivo m e o grupo multiplicativo 1 +m.
Prova:
Seja a nilpotencia de m.
Vamos primeiro vericar que esta bem denida.
Suponhamos que a = c
1
= c
2
com c
1
, c
2
R.
Entao (c
1
c
2
) = 0.
Diremos que a R tem peso i se a m
i
/m
i+1
e escreveremos wt(a) = i.

E claro que para a, b nao nulos de pesos i, j, respectivamente,

teremos wt(ab) = i + j se m
i+j
,= 0 e ab = 0 se m
i+j
= 0.
Por outro lado, m = R wt() = 1.
Logo,
c
1
c
2
m
1
c
1
= c
2
+ com m
1
.
Assim, (1 + )
c
1
= 1 + c
1
+ . . . +
p
v
i
i!
c
1
(c
1
1) (c
1
i + 1)
ikv
i
u
v
i
+ . . . =
= 1 + (c
2
+ ) + . . . +
p
v
i
i!
(c
2
+ )(c
2
+ 1) (c
2
+ i + 1)
ikv
i
u
v
i
=
= 1 + c
2
+ . . . +
p
v
i
i!
c
2
(c
2
1) (c
2
i + 1) +
_

i1
(
i1

j=1
c
2
(c
2
1) (c
2
i + 1)
ikv
i
u
v
i

j
)+
+
ikv
i
u
v
i

i
_
= (1 + )
c
2
+
_

i1
(
i1

j=1
_
c
2
i
_

ikv
i
u
v
i

j
+
ikv
i
u
v
i

i
)
_
.
Observemos que m
1
e m m

= 0, signicando que a segunda parcela da

soma anterior e nula.
Em outras palavras, (1 +)
c
1
= (1 + )
c
2
.
Vamos agora vericar que e um homomorsmo.
Um isomorsmo entre m e 1 + m 48
Pelo lema 4.6 teremos que
_
a + b
r
_

rkv
r
u
v
r
=

i+j=r
i,j0
_
a
i
__
b
j
_
p
v
r
v
i
v
j

rkv
r
u
v
r
Como up =
k
e u e um elemento unitario teremos que p =
k
u
1
e obteremos a seguinte
igualdade:
_
a + b
r
_

rkv
r
u
v
r
=

i+j=r
i,j0
_
a
i
__
b
j
_
(
k
u
1
)
v
r
v
i
v
j

rkv
r
u
v
r
=
=

i+j=r
i,j0
_
a
i
__
b
j
_

k(v
i
v
j
)+(i+j)
u
v
i
+v
j
=

i+j=r
i,j0
_
_
a
i
_

ikv
i
u
v
i
__
_
b
j
_

jkv
j
u
v
j
_
Assim, (1 + )
a
(1 + )
b
=
_

i0
_
a
i
_

ikv
i
u
v
i
__

j0
_
b
j
_

jkv
j
u
v
j
_
=
=

r0
_

i+j=r
i,j0
_
a
i
_

ikv
i
u
v
i
_
b
j
_

jkv
j
u
v
j
_
= (1 + )
a+b
.
Portanto, (a + b) = (a) + (b), ou seja, e um homomorsmo.
Como R e um grupo nito, podemos vericar apenas a injetividade de para concluir que
e um isomorsmo.
De fato, seja c Ker e suponhamos que c ,= 0.
Como v
1
= 0 teremos que 1 kv
1
= 1.
Logo,
c Ker (1 + )
c
= 1

r0
_
c
r
_

rkv
r
u
v
r
= 1 + c +

r2
_
c
r
_

rkv
r
u
v
r
= 1
c +

r2
_
c
r
_

rkv
r
u
v
r
= 0

r2
_
c
r
_

rkv
r
u
v
r
= c
Pelo lema 4.8 e para r 2 teremos que r kv
r
>
r
p1
>
2
p1
.
Como p 3 segue que r kv
r
> 1 r kv
r
2.
Assim,

rkv
r
m
2

rkv
r
u
r
m
2

_
c
r
_
m
2

r2
_
c
r
_

rkv
r
u
r
m
2

c m
2
c m
2
.
Teorema de Ayoub 49
Por outro lado, 2 wt(c) = wt(c) + wt() = wt(c) + 1 wt(c) 1.
Vamos considerar que wt(c) = t < n 1.
Entao, Rc = m
t
= R
t
c = d
t
para algum um elemento unitario d R.
Como rkv
2
2 t+(rkv
r
) t+2 teremos de maneira analoga ao que foi feito anteriormente
que d
t+1
m
t+2

t+1
m
t+2
, pois d e um elemento unitario.
Entretanto, wt() = 1 wt(
t+1
) = t + 1
t+1
, m
t+2
o que e uma contradicao.
Dessa forma, c = 0 ker = 0.

Exemplo 23. Seja R = Z

9
[x]/(3x, x
2
3) e considere x = x + (3x, x
2
3).
Assim, m = 0, 3, 6, x, 3 + x, 6 + x, x
2
, 3 + x
2
, 6 + x
2
Z
3
Z
3
. , isto e, m = 3R.
Em outras palavras, = 3 e temos que o isomorsmo do teorema 5.3 e dado por (a) =
4
c
, c m.
5.3 Teorema de Ayoub
Seja R uma anel local de caracterstica p
n
(p : primo).
Nesta secao, veremos como se relacionam o grupo aditivo m e o grupo multiplicativo 1 +m
por meio do n umero primo p. Para tal, comecamos com a seguinte proposicao:
Teorema 5.4. Existe um isomorsmo natural de grupos m
i
/m
i+1
1 + m
i
/1 + m
i+1
para cada
inteiro i 1 no qual x + m
i+1
(1 + x)(1 + m
i+1
).
Prova:
Seja : m
i
1 + m
i
/1 + m
i+1
tal que (x) = (1 + x)(1 + m
i+1
).
Armacao : e um homomorsmo de grupos.
De fato, sejam x, y m
i
e segue que, existe z m
i
tal que [1 + (x + y)](1 + z) = 1.
Logo,
(1 +x)(1 +y) = 1 +x +y +xy = (1 +x +y) +(1 +x +y)(1 +z)xy = (1 +x +y)[1 +(1 +z)xy].
Como [1 + (1 +z)xy] 1 + m
i+1
temos que (x)(y) = (x + y).
Teorema de Ayoub 50
Alem disso, x Ker (x) = 1 + m
i+1
1 + x 1 + m
i+1
0 x m
i+1
.
Portanto, pelo Teorema Fundamental de Isomorsmo para Grupos, concluimos que
m
i
/m
i+1
1 + m
i
/1 + m
i+1

Como m
i
/m
i+1
e naturalmente um K - espaco vetorial e K tem caracterstica p teremos
que p(m
i
/m
i+1
) = 0, ou seja, m
i
/m
i+1
e um p - grupo abeliano elementar.
O proximo resultado e uma ferramenta importante para a demonstracao do resultado central
desse captulo.
Teorema 5.5 (Teorema de Ayoub). Vamos supor m ,= 0.
1. Se m ou 1 + m e cclico entao R e um anel uniserial com R/m Z
p
.
2. Se p 3 entao m e cclico se, e somente se, 1 + m e cclico.
3. Se p = 2 entao:
(a) Se m e cclico entao 1 + m e cclico, se e somente se, m
2
= 0. Se m
2
,= 0 entao
1 + m =< 1 > (1 + m
2
).
(b) Se 1 + m e cclico e m nao e cclico entao m Z
2
Z
2
.
Prova:
1. Se m ou 1 +m e cclico( m como um grupo abeliano),pelo teorema 4.3, teremos m
i
/m
i+1
e cclico.
Tambem sabemos que m
i
/m
i+1
e um espaco vetorial sobre um corpo nito e m
i
/m
i+1
Z
p
.
Assim, R/m Z
p
e consequentemente R e anel uniserial.
2. Basta ver que pelo Teorema de Pearson-Schneider, os grupos 1+m e m tem o mesmo posto.
Assim ca claro que 1 +m e cclico se, e somente se, m e cclico.
3. Vamos primeiro supor que m e cclico e m
2
= 0.
Como m/m
2
. .
m
1 + m/1 + m
2
. .
1+m
teremos que 1 +m e cclico.
Agora vamos considerar que m
2
,= 0.
Notemos que 1 = 1 + (2) 1 + m.
Teorema de Gilmer 51
Suponhamos que 1 1 + m
2
. Assim, 2 m
2
2 m
2
.
Como m
2
= 2m temos tambem que para algum a m 2 = 2a 2(1 a) = 0.
Porem, 1 a e um elemento unitario e assim, 2 = 0 ;ou seja, m
2
= 0 que e um absurdo.
Portanto, 1 , 1 + m
2
e consequentemente,
1 + m < 1 > (1 + m
2
).
Finalmente, vamos supor que 1 +m e cclico e m nao e cclico.

E imediato que m
2
,= 0 e provaremos que m
3
= 0.
Suponhamos que m
3
,= 0 e considere a nilpotencia de m .
Entao 4.
Tomemos x m tal que 2x = 0.
Logo, (1 + x)
4
= 1 + x
4
1 + m
4
.
Como o(1 + m
4
) = 2
4
teremos que 1 = (1 +x
4
)
2
4
= (1 + x)
2
2
.
Alem disso, pelo fato de que 1 +m e cclico de ordem 2
1
obtemos que x m
2
, ou seja,
m
2
e cclico de onde segue que m tem um unico subgrupo de ordem 2, isto e, m e cclico,
contradizendo a hipotese.
Portanto, o(m) = 4 e m nao e cclico, isto e, m Z
2
Z
2
.

5.4 Teorema de Gilmer

Retornando ao nosso proposito de classicar todos os aneis locais tendo um grupo das
unidades cclico, enunciaremos e provaremos o Teorema de Gilmer.
Vejamos, primeiramente dois lemas:
Lema 5.7. Sejam r, n inteiros positivos e considere p um primo. Se p e mpar, entao p
nr+1
divide o coeciente binomial
_
p
n1
r
_
para 1 < r n 1. Se p = 2, entao o mesmo resultado e
valido para 2 < r n 1.
Prova:
Teorema de Gilmer 52

E facil vericar que b

_
a
b
_
= a
_
a 1
b 1
_
.
Dessa forma, para r 1 teremos que r
_
p
n1
r
_
= p
n1
_
p
n1
1
r 1
_
.
Logo, p
nr+1
divide
_
p
n1
r
_
se p
r1
nao divide r.
Todavia, r < p
r1
se r > 1 e p mpar; e r < 2
r1
, se r > 2.
Portanto, o resultado desejado e claramente obtido.

Lema 5.8. Seja [m[ = 2

k
para algum inteiro positivo k. Entao, para cada x m, obteremos:
(1 + x)
2
k1
= 1 + x 2
k1
+ 2
k2
x
2
, onde e um inteiro mpar.
Prova:
Seja x m e segue que (1 +x)
2
k1
= 1 + x2
k1
+
_
2
k1
2
_
x
2
+ . . . +
_
2
k1
k 1
_
x
2
k1
.
Pelo lema 4.9 teremos que
_
2
k1
r
_
x
r
m
k+1
= 0, r 3, . . . , k 1 e como 2 divide
_
2
k1
k
_
tambem teremos que
_
2
k1
k
_
x
k
m
k+1
= 0.
Portanto, (1 +x)
2
k1
= 1 + x 2
k1
+ 2
k2
x
2
.

Teorema 5.6. Para o anel local R de caracterstica p

n
(p : primo ), R

e cclico se, e somente se,

1 + m e cclico. Se R

e cclico entao R e isomorfo a um dos seguintes aneis:

1. GF(p
t
);
2. Z
p
n (p 3 e n > 1);
3. Z
4
;
4. Z
2
[x]/(x
3
);
5. Z
4
[x]/(2x, x
2
2);
Teorema de Gilmer 53
6. Z
p
[x]/(x
2
);
Prova:
Sabemos que o produto de dois grupos cclicos e um grupo cclico se, e somente se, suas ordens
sao coprimas. Assim, como R

(1 + m) K

e mdc([ 1 + m [, [ K

[) = 1 segue que R

e
cclico; onde m ,= 0 , se, e somente se, (1 +m) e cclico.
Vamos vericar que o grupo das unidades de cada um dos aneis acima citados e cclico.
Para tanto, e necessario e suciente analisar o ideal maximal m deles.
Por se tratar de um corpo nito, e claro que o grupo GF(p
t
) e cclico.
Alem disso, para o anel Z
p
n, teremos que m = (p) e pelo Teorema 5.4 segue
que 1 + m e cclico.
Para o anel Z
4
e facil ver que (Z
4
)

= 1, 3 Z
2
e portanto, cclico.
Tome x = x + (x
2
) Z
p
[x]/(x
2
) e teremos que m = 0, x, 2x, , (p 1)x.
Usando, novamente, o Teorema 4.5, teremos que 1 +m e cclico.
Da mesma forma, o ideal maximal de Z
2
[x]/(x
3
) e dado por m = 0, x, x
2
, x + x
2
Z
2
Z
2
,
onde x = x + (x
3
).
Por outro lado, 1 +m = 1, 1 + x, 1 + x
2
, 1 + (x + x
2
) Z
4
, ou seja, 1 +m e cclico.
Enquanto que o ideal maximal de Z
4
[x]/(2x, x
2
2) e m = 0, 2, x, x + 2 Z
2
Z
2
,
teremos 1 +m = 1, 3, 1 + x, 3 + x Z
4
, onde x = x + (2x, x
2
2).
Completado a primeira parte de demonstracao , vamos provar que; a menos de isomorsmo,
estes sao os unicos aneis locais que possuem o grupo das unidades cclico.
Ao supor que m = 0 temos que R e um corpo nito de ordem p
t
, isto e, R GF(p
t
).
Suponhamos que m ,= 0 e pelo Teorema 5.4, R e um anel uniserial com R/m Z
p
.
Consideremos [m[ = p
k
para algum inteiro positivo k e estudaremos cada uma de suas
possibilidades:
( 1
a
possibilidade) k = 1, p = 2.
Neste caso, [R/m[ =
[R[
[m[
[R[ = [R/m[ [m[ = 4.
Teorema de Gilmer 54
Portanto, R Z
4
ou R Z
2
Z
2
.
Como Z
2
Z
2
nao e um anel local conclui-se que R Z
4
.
( 2
a
possibilidade) k 2, p = 2, n = 1.
O primeiro fato a ser observado e que a caracterstica deste anel e 2.
Armacao : Existe x m tal que x
2
k1
,= 0, onde [m[ = 2
k
.
De fato, suponhamos que z
2
k1
= 0, z m.
Usando o Lema 5.8 teremos que (1 +z)
2
k1
= 1 + z
2
k1
= 1, contradizendo o fato que
1 + m e um grupo cclico de ordem 2
k
.
Em outras palavras, m e nilpotente e consequentemente, 1, x, x
2
, . . . , x
2
k1
sao linearmente
independentes sobre Z
2
.
Assim, 2
k
= [m[ 2
2
k1
se, e somente se, k 2
k1
, sendo que essa ultima armacao so e
valida para k = 2.
Portanto, [m[ = 4, isto e, m Z
4
ou m Z
2
Z
2
.
Se m Z
4
teramos, pelo Teorema 5.4, 1 +m =< 1 > (1 + m
2
), contradizendo a hi-
potese.
Logo, m Z
2
Z
2
e segue imediatamente que m
3
= 0.
Dessa forma, conclumos que x
2
,= 0 e x
3
= 0.
Pela independencia de 1, x, x
2
sobre Z
2
obtemos que R Z
2
[x]/(x
3
).
( 3
a
possibilidade) k 2, p = 2, n 2.
Para essa possibilidade poderemos ter m = 2R ou m ,= 2R.
Suponhamos que m = 2R = (2).
Lembrando que R/m = Z
2
e R e uniserial conclumos claramente que m
k
,= 0 e m
k+1
= 0.
Contudo, m
k+1
= (2R)
k+1
= 2
k+1
R = 0.
Logo, 2
k+1
2
n
.
Por outro lado, R/m = Z
2
tambem implicara que [R[ = 2
k+1
.
Teorema de Gilmer 55
Como a caracterstica de R e 2
n
teremos que Z
2
n R.
Logo, se 2
n
[R[ = 2
k+1
2
n
entao n = k + 1.
Portanto, R Z
2
k+1 e R

nao e cclico se k 2 o que e um absurdo.

Portanto, m ,= 2R.
Vamos vericar que k = 2.
Suponhamos que k 3.
Pela nilpotencia de m temos que m 2m 4m . . . , no qual [2
i
m[ 2
k(i+1)
.
Logo, 2
k1
m = 0 se k 2 e analogamente 2
k2
m
2
= 0 se k 3.
Pelo lema 5.8 temos que (1 +x)
2
k1
= 1 + 2
k1
x + 2
k2
x
2
= 1, (k 3) uma contradicao .
Portanto, segue que k = 2 e como consequencia imediata teremos que n = 2.
Assim [m
2
[ = 2, m 2R 0 e [m[ = 4.
Por outro lado, m/m
2
e um espaco unidimensional de base x + m
2
para algum x m.
Se 2 mm
2
teramos que 2 x(modm
2
) x
2
= 0 que e um absurdo.
Logo, 2 m
2
x
2
= 2 e concluimos que 2x = 0e x
2
2 = 0.
Portanto, R Z
4
[x]/(2x, x
2
2).
(4
a
possibilidade) p 3, R anel de Galois.
Lembremos que R/m Z
p
e pelo Teorema 4.2 temos que existe um subanel T de R tal
que T GR(p
n
, r), onde r = [R/m : Z
p
].
Como [R/m : Z
p
] = 1 segue que T Z
p
n.
Como T e unico, a maior extensao Galoisiana de Z
p
n sobre um anel de Galois concluimos
que R Z
p
n.
(5
a
possibilidade) p 3 e R nao e um anel de Galois.
Novamente, pelo Teorema 4.2 temos que R Z
p
n[x
1
, . . . , x
s
]/I, onde s e a quantidade de
geradores do ideal maximal m de R.
Como m e cclico temos que R Z
p
n[x]/I.
Teorema de Gilmer 56
Vamos primeiramente vericar que n = 1.
Se n > 1 poderamos escrever m como soma direita de dois p-grupos, isto e, m = (p) x,
onde x = x + I; contradizendo o fato de que m e cclico.
Portanto, R Z
p
[x]/I.
Como Z
p
[x] e um Domnio de Ideais Principais temos que I = (f) para algum polinomio
f sobre Z
p
.
Armacao : f e irredutvel sobre Z
p
[x].
Vamos supor que f nao fosse irredutvel e assim, f = f
1
f
t
, onde cada f
i
e irredutvel.
Logo, R admite pelo menos duas cadeias de ideais distintos, ou seja, R nao e um anel uniserial que
e um absurdo.
Portanto, f
i
= f
j
, i, j = 1, . . . , t.
Em outras palavras,
R Z
p
[x]/f
t
(x)).
Vamos vericar que t = 2.
Suponhamos que t > 2 e obtemos que m = (f) . . . (f
t1
) como grupo abeliano. Ou seja,
m nao seria cclico, uma contradicao .
Portanto, R Z
p
[x]/f
2
(x)) e R/m Z
p
[x]/f.
Por outro lado, pelo teorema 5.4 temos que R/m Z
p
.
Conclu-se que grau(f) = 1 e podemos considerar f = x a para algum a Z
p
.
Consequentemente, (f
2
(x)) = (x
2
).
Desta maneira, concluimos que
R Z
p
[x]/(x
2
).

Teorema de Gilmer 57
Apendice A
Grupos Finitamente Gerados
Teorema 1 (Teorema de Cauchy para Grupos Abelianos). Se G e um grupo abeliano nito
e p e um n umero primo tal que p [ o(G) entao existe um elemento em G de ordem p.
Em conseq uencia deste teorema, podemos denir um p-grupo como sendo o grupo onde cada
um de seus elementos e de ordem potencia de p.
Definic ao 1. Um grupo G e um p-grupo quando a G o(a) = p
n
para algum inteiro positivo n.
Para que um grupo abeliano nito G seja um p-grupo, claramente, e necessario que o(G) =
p
n
.
Proposic ao 1. Seja G um grupo abeliano nito de ordem p
r
1
1
p
r
k
k
.
Considere S(p
i
) = a G : o(a) = p
n
i
para algum inteiro positivo n r
i
. Entao,
G = S(p
1
) S(p
k
).
Teorema 2 (Teorema Fundamental de Grupos Abelianos Finitamente Gerados). Qual-
quer grupo abeliano nitamente gerado G e a soma direta de um n umero nito de subgrupos cclicos.
Proposic ao 2. Todo p-grupo abeliano G e isomorfo a uma soma direta de um n umero nito de
p-grupos cclicos.
58
Apendice B
Corpos Finitos
Proposic ao 3. Seja K um corpo nito com [K[ = q. Se L : K e uma extensao tal que [L : K] = m
entao [L[ = q
m
.
Corol ario 1. Seja L um corpo nito de caracterstica p > 0. Entao, [L[ = p
n
para algum inteiro n.
Teorema 3. Seja p um n umero primo e n um inteiro positivo. Entao:
1. Existe um corpo L tal que [L[ = p
n
;
2. L e o corpo de fatorizacao do polin omio separavel f(x) = x
p
n
x sobre Z
p
;
3. Se L e um corpo tal que [L[ = p
n
entao L e o corpo de fatorizacao de f(x) sobre Z
p
.
Corol ario 2. Existe um unico corpo de ordem p
n
, a menos de isomorsmo.
Corol ario 3. Todo corpo nito e uma extensao Galoisiana de Z
p
.
Vamos chamar de corpo de Galois de ordem p
n
ao corpo de fatorizacao de f(x) = x
p
n
x
sobre Z
p
e denotaremos por GF(p
n
).
Teorema 4. GF(p
n
) GF(p
m
) n[m e [GF(p
m
) : GF(p
n
)] =
m
n
.
Teorema 5. O grupo de Galois de GF(p
n
) : GF(p) e cclico.
Corol ario 4. Seja p um n umero primo e m,n inteiros positivos tais que n[m. Entao, a extensao
GF(p
m
) : GF(p
n
) e Galoisiana e seu grupo de Galois e cclico.
59
Apendice C
Lema de Hensel
Lema 1. Seja R S aneis comutativos. Se a S entao existe um polinomio monico f
R[x] tal que f(a) = 0.
Lema 2 (Lema de Hensel). Seja f R[x] e considere f = g
1
g
n
, onde g
1
, , g
n
sao
coprimos. Entao, existem h
1
, , h
n
R[x] tais que
1. h
1
, , h
n
sao coprimos.
2. h
i
= g
i
.
3. f = h
i
h
n
.
60
Bibliograa
[1] F.W.ANDERSON e K.R.FULLER, Rings and categories of modules, Springer-Verlog New York
. Heidelberg . Berlin, 67-70(1974).
[2] M.F.ATIYAH, I.G.MaCDONALD, Introduction to Commutative Algebra, Addison-Wesley Pub-
lishing Company.
[3] C. W. AYOUB, On certain Chain Rings and their Group of Units, Comunications of Algebra(9),
323-338(1981).
[4] C. W. AYOUB, On the Group of Units of Certain Rings, Journal of Number Theory(4), 383-
403(1972).
[5] H.H.DOMINGUES, Fundamentos de Aritmetica, Atual Editora.
[6] J.B. FRALEIGH, A rst course in Abstract Algebra, Addison-Wesley Publishing Company.
[7] B. R. McDONALD, Finite Rings with Identity.
[8] K. R. PEARSON e J. L. SCHNEIDER, Rings with a Cyclic Group of Units, Journal of Alge-
bra(16), 243-251(1970).
[9] C. STRACK, Nilpotent Rings and Finite Primary Rings with Cyclic Groups of Units, IMS Bul-
letin(44), 55-60(2000)
[10] W.WILLEMS, A note on self-dual group codes, preprint.
61
Universidade Federal da Bahia-UFBa
Instituto de Matematica/ Depto. de Matematica
Campus de Ondina, Av. Adhemar de Barros s/n, CEP:40170-110
www.im.ufba.br/hpinst/mestrado