Ideal of Ring of Polynomials over Field has Unique Monic Polynomial forming Principal Ideal
Jump to navigation
Jump to search
Theorem
Let $F$ be a field.
Let $F \sqbrk X$ be the ring of polynomials in $X$ over $F$.
Let $J$ be a non-null ideal of $F \sqbrk X$.
Then there exists exactly one monic polynomial $f \in F \sqbrk X$ such that:
- $J = \ideal f$
where $\ideal f$ is the principal ideal generated by $f$ in $F \sqbrk X$.
Proof
Let $f_1$ and $f_2$ be generators of $J$.
Then $f_1$ and $f_2$ are unit multiples of each other.
The units of $F \sqbrk X$ are the non-zero elements of $F$.
This article, or a section of it, needs explaining. In particular: The above needs to be properly derived. 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. |
Sources
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): Chapter $9$: Rings: Exercise $22$