Advanced Search

Let ℕ represent the positive integers and ℕ₀ the non-negative integers. If b ∈ ℕ and Γ is a multiplicatively closed subset of ${\mathbb{Z}}_b=\mathbb{Z}/b\mathbb{Z}$, then the set $H_{\Gamma }=x\in \mathbb{N}|x+b\mathbb{Z}\in \Gamma \cup 1$ is a multiplicative submonoid of ℕ known as a congruence monoid. An arithmetical congruence monoid (or ACM) is a congruence monoid where Γ = ā consists of a single element. If $H_{\Gamma }$ is an ACM, then we represent it with the notation M(a,b) = (a + bℕ₀) ∪ 1, where a, b ∈ ℕ and a² ≡ a (mod b). A classical 1954 result of James and Niven implies that the only ACM...