Category:Definitions/Algebraic Integers

This category contains definitions related to Algebraic Integers.
Related results can be found in Category:Algebraic Integers.

Let $K / \Q$ be an algebraic number field.

This article, or a section of it, needs explaining. In particular: The notation at this point needs to be expanded and explained. The concept is pitched at a level more abstract than can easily be comprehended by someone who is merely exploring for example $\Z \sqbrk {\sqrt 2}$. It is also worth adding further definitions which may serve to bring it down to earth. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code.

Then $\alpha \in K$ is an algebraic integer if and only if it satisfies a monic polynomial $f \in \Z \sqbrk X$.

The set of all algebraic integers in $K$ is denoted $\OO_K$.