Anel quociente – Wikipédia, a enciclopédia livre
Este artigo não cita fontes confiáveis. (Junho de 2021) |
Em teoria dos anéis, o anel quociente é uma forma de simplificar um anel, tratando como iguais elementos distintos do anel.
Em outras palavras, seja A um anel, e S um subconjunto (cujas propriedades serão determinadas com mais cuidado abaixo) de A. O anel quociente A/S deve ser o mais parecido com A que se possa, sujeito à regra que elementos de S são igualados a zero.
A forma de fazer isso é construir algum conjunto A/S, e definir um homomorfismo de anéis , de forma que .
Construção
[editar | editar código-fonte]A função φ define uma partição no anel A, ou seja, elementos x e y são equivalentes quando .
Então, é natural considerar que A/S é uma partição de A.