Recently my kids and I ran across the Brahmagupta-Fibonacci identity and noticed that the set consisting of integers that are expressible as the sum of two squares is closed under multiplication. There are other obvious multiplicatively closed subsets of Z such as the powers of a prime, and the ideals of Z.
Question: Is the class of all multiplicative subsemigroups of Z fully characterised, and if so please provide an explanation or reference for us.