Sobre coálgebras distributivas e de cadeia

Abstract

O conceito de distributividade em anéis e módulos vem sendo estudado desde a década de 70, veja por exemplo [11]. Em [8] Lomp e Sant'Ana obtiveram resultados a respeito da distributividade no reticulado dos subcomódulos de uma coálgebra, vista como um comódulo sobre si mesma, a partir de resultados sobre a distributividade em anéis e módulos. Com base nesse artigo, temos o que segue. Seja C uma coálgebra sobre um corpo k. Dizemos que C é uma coálgebra distributiva à direita se o reticulado dos coideais à direita de C é distributivo. Neste trabalho mostraremos que isto é equivalente à dizer que C é uma coálgebra distributiva à esquerda, isto é, o reticulado dos coideais à esquerda de C é distributivo. Portanto, uma coálgebra é dita distributiva se é distributiva à direita ou à esquerda. Nosso principal objetivo é caracterizar coálgebras distributivas em termos de coálgebras de cadeia à direita, que são coálgebras em que o reticulado dos coideais à direita é totalmente ordenado por inclusão.