Department of Mathematics, Faculty of Electrical Engineering and Information Technology, Ilkovicova 3, 812 19 Bratislava, Slovakia ; Mathematical Institute, Slovak Academy of Sciences, Stefánikova 49, 814 73 Bratislava, Slovakia
Abstract:
We prove that for every orthocomplete effect algebra the center of forms a complete Boolean algebra. As a consequence, every orthocomplete atomic effect algebra is a direct product of irreducible ones.