Um Exerccio Sobre Corpos

Vinicius de Oliveira Rodrigues

Aluno do IME-USP
vinior@ime.usp.br
18 de dezembro de 2013

Resumo
Registrarei nesse breve documento uma demonstracao de que dados corpos
K, L tais que existe h : K L homomorfismo (que preserva unidade) entao
existe um corpo M isomorfo a L tal que K M e K e subcorpo de M , sendo
que as operac
oes de M restritas a K coincidem com as operacoes de K.

Resultados Preliminares

Consideraremos, neste documento, que homomorfismos entre aneis com unidade

preservam unidade.

1.1

Sobre Corpos

Lema 1. Sejam A, B aneis e h : A B homomorfismo. Entao ker h e um ideal

de A.
Demonstracao. Exerccio.
Lema 2. Sejam A, B aneis e h : A B homomorfismo. Entao ker h = {0} se, e
somente se h for injetora.
Demonstracao. Se h for injetora, como h(0) = 0 vem que ker h = {0}. Agora
suponha que ker h = {0}. Suponha que h(a) = h(b). Queremos mostrar que a = b.
Com efeito, h(a) = h(b) = h(a b) = 0 = a b = 0 = a = b.
Lema 3. Se K e corpo, os u
nicos ideais de K sao K e {0}.
Demonstracao. {0} e sempre ideal. Suponha que I seja um ideal nao nulo. Temos
que existe p 6= 0 elemento de I. Assim, 1 = p.p1 I, logo I = K.
Corol
ario 1. Se K, L sao corpos e h : A B e homomorfismo, entao h e monomorfismo (i.e., e injetor).
Demonstracao. kerh 6= K pois h(1) = 1. Pelos Lemas 1 e 3, kerh = {0}, da segue
do Lema 2 que h e injetora.

1.2

Sobre Conjuntos

Relembremos do Axioma da Regularidade:

Axioma da Regularidade. Todo conjunto nao vazio possui um elemento disjunto
de si.
Precisaremos dele para provar o:
Lema 4. Nao existem conjuntos A, B e C tais que A B, B C e C A.
Demonstracao. Suponha por absurdo que existam A, B, C como no enunciado. Considere o conjunto D = {A, B, C}. Note que nenhum dos elementos de D e disjunto
de D 6= , absurdo.
Obs: e possvel generalizar o enunciado acima.
Relembremos ainda da definicao usual de par ordenado, pois ela sera relevante:
Definic
ao 1. Sejam a e b conjuntos. Definimos (a, b) = {{a}, {a, b}}}.
Fica como exerccio mostrar que (a, b) = (c, d) a = c b = d.

A Demonstrac
ao.

Estou meio sem tempo entao vou deixar a maioria dos detalhes para verificacao.
Teorema 1. Sejam K, L corpos e h : K L homomorfismo. Existe um corpo
M tal que M e isomorfo `a L tal que K M e K e subcorpo de M , sendo que as
operacoes de M restritas a K coincidem com as operacoes de K.
Demonstracao. Note que pelo Corolario 1, h e injetor. Temos que K esta identificado dentro de L, i.e., temos uma copia de L dentro de K. Mas gostaramos de ter
ele incluso de verdade. Uma tentativa direta de obter M e tomar M = (Lh[K])K,
ou seja, remover a copia de K e colocar K no lugar. Mas isso pode falhar pois pode
ser que algum elemento de K esteja em (L h[K]). Entao precisamos primeiro de
um corpo isomorfo a L que seja disjunto de K para poder fazer essa cirurgia.
Seja L0 = L {K}. Cada elemento de L0 e da forma (l, K) para algum l em L.
Existe uma bijecao natural entre L e L0 . Tome f : L L0 dada por f (l) = (l, K).
Verifique que f e bijetora. A partir dessa definicao, induzimos operacoes de anel em
L0 : Definimos f (l).f (m) = f (l.m) e f (l) + f (m) = f (l + m). Verifique que f agora
e isomorfismo.
Temos que f h : K L0 e homomorfismo (pois e composicao de homomorfismos). Denotemos por g = f h.
Afirmac
ao: L0 e K sao disjuntos.
Com efeito, suponha que exista x tal que x L0 K. Entao x k e existe
y L tal que x = (y, K). Temos que x = {{y}, {y, K}}. Assim, temos que
x K {y, K} x, o que viola o Lema 4.
Agora podemos proceder como na ideia original: Seja M = (L0 g[K]) K.
Tome a funcao j : M L0 dada por: j(x) = x se x (L0 g[K]) e j(x) = g 1 (x)
2

se x g[K]. Verifique que j e bijecao. Note que a funcao so esta bem definida pois
a uniao e disjunta. Definimos, em M : j(x).jg(y) = j(x.y) e j(x) + j(y) = j(x + y).
Assim, K M e M e isomorfo a L0 e portanto a L. Resta apenas ver que essas
operacoes restritas a K coincidem com as operacoes em K. Se x, y K, temos que
x +M y = j(x +L0 y) = g 1 (x +L0 y) = x +K y, e o mesmo vale para o produto.