Acerca da Decomposição de uma Álgebra de Ockham como Produto Directo de Álgebras de Ockham Directamente Indecomponíveis

Dada uma álgebra de Ockham (L; f), estabelecemos uma condição necessária e suficiente para que (L; f) seja isomorfa a um produto directo de álgebras de Ockham directamente indecomponíveis. Observamos que tal decomposição, quando existe, é completamente determinada pelos átomos da subálgebra de (L; f) que é constituída pelos elementos x de L tais que f(x) é complemento de x.