Ring generated by algebraic integers (source code)

= Ring generated by algebraic integers

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