Orthocomplete effect algebras

Abstract

We prove that for every orthocomplete effect algebra E the center of E forms a complete Boolean algebra. As a consequence, every orthocomplete atomic effect algebra is a direct product of irreducible ones.