Integers mod 𝑛 under multiplication