A note on distributive double p-algebras

In this paper we prove a congruence representation theorem for distributive double p-algebras, which is a natural analogous to the representation theorem given by Lakser [5] for p-algebras. This theorem induces a natural approach to the study of existence of solutions of systems of congruences. Also, we obtain a new characterization of the subdirectly irreducible distributive double p-algebras, which were characterized by Katriňák [4].