Corpo (matemática)

Predefinição:Mais fontes Em matemática, um corpo é um anel comutativo com unidade em que todo elemento diferente de 0 possui um elemento inverso com relação à multiplicação.

Definição formal

Mais formalmente, um anel comutativo $F$ com unidade é chamado de corpo se:

$(\mathrm{\forall }x\in F\setminus \{0\})(\mathrm{\exists }y\in F):x.y=1.$

Resulta da comutatividade de $F$ que o $y$ da definição anterior também satisfaz a condição $y.x=1.$ Por outro lado, só pode haver um único $y$ naquelas condições. De facto, se $y$ e $y^{\prime }$ forem tais que $x.y=x.y^{\prime }=1,$ então

$y=y.1=y.(x.y^{\prime })=(y.x).y^{\prime }=1.y^{\prime }=y^{\prime }.$

Este elemento $y$ designa-se por inverso de $x$ e representa-se por $x^{-1}.$

Um corpo $F$ não tem divisores de zero. Efectivamente, se $x$ e $y$ forem dois elementos de $F$ diferentes de $0$ então $x.y$ ≠ $0,$ pois

$x^{-1}.(x.y)=(x^{-1}.x).y=1.y=y$ ≠ 0.

Mas se se tivesse $x.y=0,$ então ter-se-ia $x^{-1}.(x.y)=0.$

Exemplos e contra-exemplos de Corpos

Exemplos

• Os números complexos $ℂ$ e seus subcorpos, entre os quais:
  • o corpo dos números racionais $\mathbb{Q};$
  • o corpo dos números algébricos;
  • o corpo dos números reais $ℝ.$
• ${\mathbb{Z}}_2,$ o menor corpo, formado pelos números $1$ e $0,$ em que $1+1=0.$ Este conjunto com as operações de adição e multiplicação satisfaz todos os axiomas de anel, é comutativo e tem unidade. Além disso, como em qualquer anel com unidade, $1$ é o elemento inverso de $1.$
• ${\mathbb{Z}}_p,$ onde p é um número primo. Como conjunto,

${\mathbb{Z}}_p=\{0,1,2,\dots ,p-1\}$

A adição e a multiplicação são assim definidas: se se quer adicionar (respectivamente multiplicar) em ${\mathbb{Z}}_p,$ então $a+b$ (respectivamente $a.b$) é o resto da divisão por $p$ da adição (respectivamente multiplicação) dos números inteiros $a$ e $b.$

• os números hiperreais, uma extensão de $ℝ$ que inclui infinitesimais.
• os números surreais

< H : $a+b\sqrt{2},+,\cdot$ >

Contra-exemplos

• ${\mathbb{Z}}_n,$ quando $n$ não é um número primo, não é um corpo, pois tem divisores de zero.
• Os quaterniões não formam um corpo, porque a multiplicação não é comutativa.

Característica

Dado um corpo $F,$ considere-se a sucessão $1,$ $1+1,$ $1+1+1,$ … Há duas possibilidades.

• Todos os termos da sucessão são diferentes de $0.$ Diz-se então que o corpo $F$ tem característica $0.$
• Alguns termos da sucessão são iguais a $0.$ Diz-se então que o corpo $F$ tem característica $p,$ onde $p$ é o menor número natural tal que $1+1+$ ··· $+1$ ($p$ vezes) = 0.

O corpo dos números complexos e os seus subcorpos têm característica $0;$ para cada número primo $p,$ o corpo Z_p tem característica $p.$

Se um corpo tem característica $p>0,$ então $p$ é um número primo. De facto, a função

$\begin{array}{cccc}f:& \mathbb{N}& ⟶& F\\ & n& \mapsto & \stackrel{n\text{vezes}}{\overbrace{1+1+\cdots +1}}\end{array}$

é tal que se $m$ e $n$ são números naturais, então $f(m.n)=f(m).f(n).$ Por outro lado, se $F$ tiver característica $p,$ então $f(p)=0.$ Se $p$ não fosse primo, tinha-se $p=m.n,$ com $m$ e $n$ números naturais menores do que $p,$ pelo que $0=f(p)=f(m.n)=f(m).f(n).$ Mas então $f(m)=0$ ou $f(n)=0.$ Isto é impossível pois, por definição, $p$ é o menor número natural tal que $f(p)=0.$

Se um corpo F tem característica p (em que p é zero ou um número primo), então existe um subcorpo $K\subseteq F$ e um isomorfismo de corpos $\varphi :\mathbb{Q}\to K$ (p = 0) ou $\varphi :{\mathbb{Z}}_p\to K$ (p primo). Além disso, o subcorpo K e o isomorfismo φ são únicos.

Corpos de fracções

Seja $S$ um anel comutativo com unidade e sem divisores de zero. Então é possível mergulhar $S$ num corpo $F.$ Basta definir em $S$ × $(S$ \ $\{0\})$ a seguinte relação de equivalência ∼:

$(a,r)$ ∼ $(b,s)$ se e só se $a.s=b.r.$

Se $(a,r)$ for um elemento de $S$ × $(S$ \ $\{0\}),$ seja $[(a,r)]$ a sua classe de equivalência. Seja $F$ o conjunto das classes de equivalência. Podem-se então definir os seguintes elementos de $F$ e as seguintes operações:

• $0=[(0,1)];$
• $1=[(1,1)];$
• $[(a,r)]+[(b,s)]=[(a.s+b.r,r.s)];$
• $[(a,r)].[(b,s)]=[(a.b,r.s)].$

Então $F$ é um corpo e a função

$\begin{array}{ccc}S& ⟶& F\\ a& \mapsto & [(a,1)]\end{array}$

é uma função injectiva de $S$ em $F.$ O corpo $F$ designa-se por corpo de fracções do anel $S.$

Exemplos:

• O corpo dos números racionais é o corpo de frações do anel dos números inteiros.
• Seja $A$ um aberto conexo não vazio de C. As funções holomorfas de $A$ em C formam um anel comutativo com unidade e sem divisores de zero. O seu corpo de fracções é o corpo das funções meromorfas de $A$ em C.

Ver também

• Teoria dos corpos
• Corpo topológico, em que a estrutura de espaço topológico deve ser tal que garanta a continuidade de várias operações do corpo
• Corpo ordenado, em que existe uma relação de ordem total compatível com as operações de corpo

Bibliografia

• Predefinição:Citar livro