Ideal

Um ideal é um subconjunto especial de um anel, fechado sob adição e absorvente sob multiplicação, que serve como o núcleo de um homomorfismo e o objeto pelo qual se formam anéis quociente.

Definition

Um ideal de um anel R é um subgrupo aditivo que absorve a multiplicação por elementos de R; em um anel comutativo, um subconjunto I é um ideal se for fechado sob adição e ri pertencer a I para todo r em R e i em I.

Scope

Este tópico abrange ideais à esquerda, à direita e bilaterais; ideais principais, maximais e primos; operações em ideais, como somas, produtos e interseções; anéis quociente e o teorema da correspondência; e a caracterização de corpos e domínios de integridade por seus ideais maximais e primos.

Core questions

• Como os ideais se relacionam com os núcleos dos homomorfismos de anéis?
• O que distingue os ideais primos e maximais, e como são seus quocientes?
• Como novos ideais são construídos a partir de antigos por somas, produtos e interseções?
• Como a rede de ideais reflete a estrutura do anel?

Key theories

Ideais como núcleos

Um subconjunto de um anel é o núcleo de algum homomorfismo de anéis se e somente se for um ideal, e quocientar por um ideal produz o homomorfismo universal que o anula, espelhando subgrupos normais na teoria dos grupos.

Ideais primos e maximais

Em um anel comutativo com identidade, um ideal é primo exatamente quando seu quociente é um domínio de integridade e maximal exatamente quando seu quociente é um corpo, de modo que ideais maximais são primos.

Correspondência de rede

Os ideais de um anel quociente correspondem biunivocamente aos ideais do anel original que contêm o ideal escolhido, permitindo que questões estruturais sejam transferidas entre um anel e seus quocientes.

Clinical relevance

Os ideais são o conceito organizador central da teoria dos anéis: ideais primos são os pontos dos espectros da geometria algébrica, ideais codificam sistemas de equações polinomiais, e construções de quocientes por ideais constroem novos anéis, como corpos finitos e anéis de coordenadas de variedades.

History

A palavra ideal vem dos números ideais de Kummer, inventados para restaurar a fatoração única na teoria algébrica dos números; Dedekind os reformulou como conjuntos, os ideais modernos. As condições de cadeia de Emmy Noether em ideais mais tarde os tornaram a espinha dorsal da teoria abstrata dos anéis.

Key figures

• Richard Dedekind
• Ernst Kummer
• Emmy Noether
• David Hilbert

Seminal works

• dummit2004
• atiyah1969
• hungerford1974

Frequently asked questions

Por que é possível quocientar um anel por um ideal, mas não por um subanel arbitrário?

A multiplicação em um quociente é bem definida apenas quando o subconjunto absorve a multiplicação por todos os elementos do anel, o que é exatamente a condição de ideal. Um subanel fechado apenas sob as operações do anel geralmente não produz um anel quociente bem definido.

Como os ideais primos e maximais são diferentes?

Um ideal é primo quando seu quociente é um domínio de integridade e maximal quando seu quociente é um corpo. Como todo corpo é um domínio de integridade, os ideais maximais são sempre primos, mas não o inverso; a diferença reflete a dimensão do anel.