In this task you will be given a text passage from a trivia quiz. You should choose the category this question belongs to from these categories: History, Science, Social Science, Fine Arts, Literature. You can only choose one category, so if in doubt, please choose the closest match.

The Hilbert Basis Theorem guarantees that if one of these is Noetherian, then the polynomials over it are also Noetherian. While the existence of a multiplicative unit in one of these isnt guaranteed by the axioms, most authors assume its presence. These can form quotients with special subsets known as ideals, and commutative ones with no zero divisors are known as integral domains. Formally an abelian group over addition and a monoid over multiplication, this describes, for ten points, what algebraic structure exemplified by the integers
Science