Ideal principal

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
NoFonti.svg
Esta página ou secção cita fontes confiáveis e independentes, mas que não cobrem todo o conteúdo. Por favor, adicione mais referências e insira-as corretamente no texto ou no rodapé. Material sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

Na teoria dos anéis, um ramo da álgebra abstrata, um ideal principal é um ideal que é gerado por um elemento.[1]

No caso mais geral de um anel não-comutativo R, temos:

  • um ideal principal à esquerda é um ideal
  • um ideal principal à direita é um ideal
  • um ideal principal bilateral é um ideal

No caso comutativo, um ideal principal é um conjunto da forma

Em , é fácil mostrar que todo ideal é um ideal principal, porém esta propriedade não é válida em geral. Um contra-exemplo simples é o ideal gerado por {2, x} no domínio de integridade , dos polinômios de coeficientes inteiros.

Referências

  1. Rings, no site do Department of Mathematical Sciences da Northern Illinois University, baseado no texto de Beachy/Blair, Abstract Algebra, 2nd Ed., © 1996
Wiki letter w.svg Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o. Editor: considere marcar com um esboço mais específico.