Ring generated by algebraic integers
= Ring generated by algebraic integers
A ring generated over $\mathbb Z$ by finitely many algebraic integers is a finitely generated $\mathbb Z$-module.
= Ring generated by algebraic integers
A ring generated over $\mathbb Z$ by finitely many algebraic integers is a finitely generated $\mathbb Z$-module.