Arithmetical congruence monoids, which arise in non-unique factorization
theory, are multiplicative monoids Ma,bβ consisting of all positive
integers n satsfying nβ‘amodb. In this paper, we examine the
asymptotic behavior of the set of irreducible elements of Ma,bβ, and
characterize in terms of a and b when this set forms an eventually periodic
sequence