Corpos: Definição, Exemplos e Propriedades

Dando sequência ao estudo de álgebra abstrata, agora exploraremos uma das estruturas mais importantes: o corpo. Essa estrutura se diferencia dos anéis por garantir a existência de inversos multiplicativos para todos os elementos não nulos.

O que é um Corpo?

Um corpo é um anel comutativo, não nulo, em que todo elemento não nulo possui inverso multiplicativo. Em outras palavras:

Além disso, as operações de soma e multiplicação são comutativas, associativas e possuem elementos neutros \( 0 \) e \( 1 \), respectivamente.

Ausência de Divisores de Zero

Em um corpo, não existem divisores de zero. Se \( a \neq 0 \) e \( ab = 0 \), então \( b = 0 \). A prova segue a ideia de multiplicar ambos os lados da igualdade por \( a^{-1} \), resultando em:

Exemplos de Corpos

• O conjunto dos números racionais \( \mathbb{Q} \).
• O conjunto dos números reais \( \mathbb{R} \).
• O conjunto dos números complexos \( \mathbb{C} \).
• Os inteiros módulo \( p \), \( \mathbb{Z}_p \), quando \( p \) é primo.

Por outro lado, \( \mathbb{Z} \) (números inteiros) não é um corpo, pois a maioria de seus elementos não possui inverso multiplicativo inteiro.

Quando \( \mathbb{Z}_n \) é um Corpo?

O anel \( \mathbb{Z}_n \) é um corpo se, e somente se, \( n \) é um número primo. Isso decorre do fato de que, quando \( n \) é primo, o ideal \( n\mathbb{Z} \) é maximal, e o quociente \( \mathbb{Z}/n\mathbb{Z} \) possui inversos multiplicativos para todos os elementos não nulos.

Por exemplo:

• \( \mathbb{Z}_5 \) é um corpo, com inversos: \( 2 \cdot 3 \equiv 1 \pmod{5} \), \( 4 \cdot 4 \equiv 1 \pmod{5} \).
• \( \mathbb{Z}_8 \) não é um corpo, pois 2 é divisor de zero: \( 2 \cdot 4 \equiv 0 \pmod{8} \).

Subcorpos

Um subcorpo é um subconjunto de um corpo maior que também é um corpo, respeitando as mesmas operações de soma e produto. Por exemplo, \( \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C} \), e todos são corpos.

Característica de um Corpo

A característica de um corpo \( K \) é o menor número natural \( n \) tal que:

Se não existir tal \( n \), dizemos que a característica do corpo é zero. Exemplos:

• \( \text{char}(\mathbb{Q}) = 0 \).
• \( \text{char}(\mathbb{Z}_p) = p \), para \( p \) primo.

**Teorema:** A característica de um corpo é sempre 0 ou um número primo.

Corpos Finitos

Um corpo finito de característica \( p \) possui \( p^n \) elementos para algum inteiro \( n \geq 1 \). Exemplo: existe um corpo com 4 elementos (\( 2^2 \)), usado em aplicações de criptografia e teoria da informação.

Aplicações dos Corpos Finitos

Corpos finitos como \( \mathbb{Z}_p \) ou \( GF(p^n) \) são amplamente usados em:

• Criptografia: devido à existência de inversos e operações seguras.
• Códigos corretores de erro: como no QR Code.
• Computação: construção de algoritmos em sistemas binários.

Resumo Final

• Um corpo é um anel comutativo em que todos os elementos não nulos são inversíveis.
• \( \mathbb{Z}_n \) é corpo apenas quando \( n \) é primo.
• A característica de um corpo é 0 ou um número primo.
• Corpos finitos têm cardinalidade \( p^n \) e importância prática em criptografia.

Na próxima etapa, estudaremos a estrutura interna dos corpos e suas extensões, um tema fundamental na álgebra moderna.