> the set of such roots is actually closed under multiplication, addition, and subtraction, and there is even an analogue of prime factorization if you squint
I did a maths undergrad, but I don’t think I ever studied algebraic integers. That’s something I shall have to remedy now, thanks!