Você está na página 1de 5

Semana 3: Domínios de Integridade e Corpos

Um elemento 𝑎 ≠ 0 de um anel 𝐴 é dito divisor de zero se existe b ≠ 0 elemento de 𝐴 tal que 𝑎𝑏 = 0 ou 𝑏𝑎 = 0

Um Domínio de Integridade é um Anel Comutativo com Unidade e sem divisores de zero, isto é,

𝑎𝑏 = 0 ⟹ 𝑎 = 0 𝑜𝑢 𝑏 = 0

ℤ, ℚ, ℝ, com as operações usuais de soma e multiplicação, são Domínios de Integridade

ℤ6 não é um Domínio de Integridade

2ത ∙ 3ത = 6ത = 0ത

ℤ𝑝 é um Domínio de Integridade ⟺ 𝑝 for um número primo.


Um Corpo é um Anel Comutativo com Unidade 𝐾 que satisfaz:

𝑎 ∈ 𝐾 𝑒 𝑎 ≠ 0 ⟹ ∃𝑎′ ∈ 𝐾 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎𝑎′ = 1

𝑎′ ≡ 𝑎−1 é dito inverso do elemento 𝑎.

ℚ, ℝ, com as operações usuais de soma e multiplicação, são Corpos

ℤ não é um Corpo

∙ 0ത 1ത 2ത 3ത 4ത 1ത −1 = 1ത
ℤ5 é um Corpo
0ത 0ത 0ത 0ത 0ത 0ത 2ത −1 = 3ത
1ത 0ത 1ത 2ത 3ത 4ത 3ത −1 = 2ത
2ത 0ത 2ത 4ത 1ത 3ത
4ത −1 = 4ത
3ത 0ത 3ത 1ത 4ത 2ത
4ത 0ത 4ത 3ത 2ത 1ത
CORPO ⊂ DOMÍNIO DE INTEGRIDADE ⊂ ANEL

𝐾 um corpo

Sejam 𝑎, 𝑏 ∈ 𝐾 tais que 𝑎𝑏 = 0

Se 𝑎 = 0 não há o que provar

Se 𝑎 ≠ 0, existe 𝑎−1 e, portanto,

𝑎𝑏 = 0 ⟹ 𝑎−1 𝑎𝑏 = 𝑎−1 0 ⟹ 𝑎−1 𝑎 𝑏 = 0 ⟹ 1𝑏 = 0 ⟹ 𝑏 = 0

Logo, 𝐾 é um Domínio de Integridade


Por que 𝒂 ∙ 𝟎 = 𝟎 ?

0=0+0

𝑎 ∙ 0 = 𝑎 ∙ (0 + 0)

𝑎∙0=𝑎∙0+𝑎∙0

− 𝑎∙0 +𝑎∙0=− 𝑎∙0 + 𝑎∙0+𝑎∙0

0 = (− 𝑎 ∙ 0 + 𝑎 ∙ 0) + 𝑎 ∙ 0

0=0+𝑎∙0

𝑎∙0=0
Subcorpos

𝐾, +,∙ corpo

𝑆 ⊂ 𝐾 é um subcorpo de 𝐾 se são satisfeitas as seguintes condições:


i. 𝑥, 𝑦 ∈ 𝑆 ⟹ 𝑥 − 𝑦 ∈ 𝑆
ii. 𝑥, 𝑦 ∈ 𝑆 ⟹ 𝑥 ∙ 𝑦 −1 ∈ 𝑆

O conjunto dos racionais ℚ é um subcorpo dos reais ℝ

O conjunto dos reais ℝ é um subcorpo dos complexos ℂ

Você também pode gostar

  • Aula 8 - Parte 3
    Aula 8 - Parte 3
    Documento17 páginas
    Aula 8 - Parte 3
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Semana 2 - Homomorfismo de Anéis
    Semana 2 - Homomorfismo de Anéis
    Documento9 páginas
    Semana 2 - Homomorfismo de Anéis
    Marcio Guarino de Souza
    100% (1)
  • Aula 11
    Aula 11
    Documento5 páginas
    Aula 11
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Semana 4: Números Complexos
    Semana 4: Números Complexos
    Documento5 páginas
    Semana 4: Números Complexos
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Aula 12
    Aula 12
    Documento15 páginas
    Aula 12
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Raízes de Polinômios: Multiplicidade e Teorema Fundamental
    Raízes de Polinômios: Multiplicidade e Teorema Fundamental
    Documento15 páginas
    Raízes de Polinômios: Multiplicidade e Teorema Fundamental
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Aula 8 - Parte 2
    Aula 8 - Parte 2
    Documento14 páginas
    Aula 8 - Parte 2
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Aula 6
    Aula 6
    Documento10 páginas
    Aula 6
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Aula 1
    Aula 1
    Documento8 páginas
    Aula 1
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Aula 7
    Aula 7
    Documento5 páginas
    Aula 7
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Apostila Cederj Algebra
    Apostila Cederj Algebra
    Documento268 páginas
    Apostila Cederj Algebra
    Wesley Vieira
    Ainda não há avaliações
  • Aula 8 - Parte 1
    Aula 8 - Parte 1
    Documento14 páginas
    Aula 8 - Parte 1
    Marcio Guarino de Souza
    Ainda não há avaliações
  • 1 2016 Grupos Mod2
    1 2016 Grupos Mod2
    Documento53 páginas
    1 2016 Grupos Mod2
    Marcio Guarino de Souza
    Ainda não há avaliações
  • Grupos Mod1 PDF
    Grupos Mod1 PDF
    Documento58 páginas
    Grupos Mod1 PDF
    Rodrigo Kosta
    Ainda não há avaliações
  • Polinômios sobre domínios e corpos
    Polinômios sobre domínios e corpos
    Documento69 páginas
    Polinômios sobre domínios e corpos
    Wállef Silva
    Ainda não há avaliações