Instructions: 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.
Input: Euler's proof of Fermat's Last Theorem for the n equals 3 case involved extending integer arithmetic to one of these structures, which contain numbers of the form a plus b times the square root of negative 3. Dedekind defined an ideal complex number based upon a property related to these structures and Hilbert utilized (*) polynomial ones to solve his Basis Theorem. The advent of quaternion algebra and the extension of the axioms of this structure to square matrices led to the formulation of its non-commutative theory and the first single theory of the abstract commutative variety of these structures was proposed by Noether. FTP, what are these mathematical objects defined as a set containing two operators that satisfy a collection of axioms.
Output:
Science