The categories of 𝑝-rings are equivalent

Abstract

Let p and q be prime numbers. Let R p {R_p} and R q {R_q} denote, respectively, the categories of p-rings and q-rings with ring homomorphisms as morphisms. Then R p {R_p} and R q {R_q} are equivalent categories. In particular, the category of all Boolean rings is equivalent to R p {R_p} .