Factoring Over Algebraic Extensions
| This section may need to be rewritten entirely to comply with Wikipedia's quality standards, as the algorithm presented, probably original research, is highly inefficient, while the usual algorithm uses the factorization of the norm. You can help. The discussion page may contain suggestions. |
We can factor a polynomial, where is a finite field extension of . First, using square-free factorization, we may suppose that the polynomial is square-free. Next we write explicitly as an algebra over . We next pick a random element . By the primitive element theorem, generates over with high probability. If this is the case, we can compute the minimal polynomial, of over . Factoring
over, we determine that
(notice that is a reduced ring since is square-free), where corresponds to the element . Note that this is the unique decomposition of as a product fields. Hence this decomposition is the same as
where
is the factorization of over . By writing and generators of as a polynomials in, we can determine the embeddings of and into the components . By finding the minimal polynomial of in this ring, we have computed, and thus factored over
Read more about this topic: Factorization Of Polynomials
Famous quotes containing the words algebraic and/or extensions:
“I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
—Henry David Thoreau (1817–1862)
“The psychological umbilical cord is more difficult to cut than the real one. We experience our children as extensions of ourselves, and we feel as though their behavior is an expression of something within us...instead of an expression of something in them. We see in our children our own reflection, and when we don’t like what we see, we feel angry at the reflection.”
—Elaine Heffner (20th century)