Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view

Abstract

For a Peirce algebra P, lattices CongP of all heterogenous Peirce congruences and IdeP of all heterogenous Peirce ideals are presented. The notions of kernel of a Peirce congruence and the congruence induced by a Peirce ideal are introduced to describe an isomorphism between CongP and IdeP. This isomorphism leads us to conclude that the class of the Peirce algebras is ideal determined. Opposed to Boolean modules case, each part of a Peirce ideal I = (I1; I2) determines the other one. A similar result is valid to Peirce congruences. A characterization of the simple Peirce algebras is presented coinciding to that given by Brink, Britz and Schmidt in a homogeneous approach.