maths.free › Abstract Algebra › Fields › Splitting Fields

Splitting Fields

Let F be a field and p(x) be a nonconstant polynomial in F[x]. We already know that we can find a field extension of F that contains a root of p(x).

Splitting Fields

Let \(F\) be a field and \(p(x)\) be a nonconstant polynomial in \(F[x]\). We already know that we can find a field extension of \(F\) that contains a root of \(p(x)\). However, we would like to know whether an extension \(E\) of \(F\) containing all of the roots of \(p(x)\) exists. In other words, can we find a field extension of \(F\) such that \(p(x)\) factors into a product of linear polynomials? What is the smallest extension containing all the roots of \(p(x)\)?

Let \(F\) be a field and \(p(x) = a_0 + a_1 x + \cdots + a_n x^n\) be a nonconstant polynomial in \(F[x]\). An extension field \(E\) of \(F\) is a splitting field of \(p(x)\) if there exist elements \(\alpha_1, \ldots, \alpha_n\) in \(E\) such that \(E = F( \alpha_1, \ldots, \alpha_n )\) and \[\begin{aligned}\end{aligned}\]. A polynomial \(p(x) \in F[x]\) splits in \(E\) if it is the product of linear factors in \(E[x]\).

Example

Let \(p(x) = x^4 + 2x^2 - 8\) be in \({\mathbb Q}[x]\). Then \(p(x)\) has irreducible factors \(x^2 -2\) and \(x^2 + 4\). Therefore, the field \({\mathbb Q}( \sqrt{2}, i )\) is a splitting field for \(p(x)\).

Example

Let \(p(x) = x^3 - 3\) be in \({\mathbb Q}[x]\). Then \(p(x)\) has a root in the field \({\mathbb Q}( \sqrt[3]{3}\, )\). However, this field is not a splitting field for \(p(x)\) since the complex cube roots of \(3\), \[\begin{aligned}\end{aligned}\], are not in \({\mathbb Q}( \sqrt[3]{3}\, )\).

Theorem

Let \(p(x) \in F[x]\) be a nonconstant polynomial. Then there exists a splitting field \(E\) for \(p(x)\).

Proof

We will use mathematical induction on the degree of \(p(x)\). If \(\deg p(x) = 1\), then \(p(x)\) is a linear polynomial and \(E = F\). Assume that the theorem is true for all polynomials of degree \(k\) with \(1 \leq k \lt n\) and let \(\deg p(x) = n\). We can assume that \(p(x)\) is irreducible; otherwise, by our induction hypothesis, we are done. By , there exists a field \(K\) such that \(p(x)\) has a zero \(\alpha_1\) in \(K\). Hence, \(p(x) = (x - \alpha_1)q(x)\), where \(q(x) \in K[x]\). Since \(\deg q(x) = n -1\), there exists a splitting field \(E \supset K\) of \(q(x)\) that contains the zeros \(\alpha_2, \ldots, \alpha_n\) of \(p(x)\) by our induction hypothesis. Consequently, \[\begin{aligned}\end{aligned}\] is a splitting field of \(p(x)\).

Condensed: the full section is in Judson, Abstract Algebra: Theory and Applications.

ឥឡូវអ្នក គ្មានម៉ាស៊ីនគិតលេខដែលអាចដោះស្រាយបញ្ហានេះបានទេ ប៉ុន្តែវាអាចគណនាបាន ។ ព្យាយាមមួយខាងក្រោម ឬវាយរបស់អ្នកផ្ទាល់ ។

រក្សាការធ្វើការរបស់អ្នកផ្ទាល់

គណនីឥតគិតថ្លៃបន្ថែមចំណាំលើមេរៀននីមួយៗ កំណត់ហេតុនៃអ្វីដែលអ្នកបានបញ្ចប់ បញ្ហាដែលអ្នកបានដោះស្រាយនៅកន្លែងមួយ និងគ្រូដែលអ្នកអាចសួរអំពីទំព័រនេះ ។ គណិតវិទ្យាដោយខ្លួនវាគឺបើកចំហសម្រាប់អ្នកទាំងអស់គ្នា ចុះឈ្មោះចូល ឬមិនចុះឈ្មោះចូល ។

ចុះឈ្មោះ ចូល

និមិត្តសញ្ញាដែលបានប្រើនៅទីនេះ

ចុចនិមិត្តសញ្ញាណាមួយសម្រាប់ការកំណត់ពេញលេញ រូបភាព និងតួអក្សរនីមួយៗមានន័យអ្វី ។

សំណួរដែលមនុស្សសួរ

What is a group, in plain words?

A set with one operation that is associative, has an identity, and lets every element be undone. Symmetries of any object form a group. That is where the idea came from.

What is the difference between a ring and a field?

A ring has addition and multiplication that behave like the integers (you cannot always divide); a field is a ring where every non-zero element has a reciprocal, like the rationals or the reals.

ផ្នែកនៃទំព័រនេះត្រូវបានកែប្រែពី Judson, Abstract Algebra: Theory and Applications (GFDL 1.3). បន្សំនិងពន្យល់នៅទីនេះឡើងវិញ កំហុសគឺរបស់យើង ។

បន្ថែមទៀតក្នុង Abstract Algebra

Groups Subgroups, cosets and Lagrange's theorem Cyclic groups and permutation groups Homomorphisms, normal subgroups and quotient groups Rings and fields Galois theory: why the quintic has no formula

Splitting Fields

និមិត្ត​សញ្ញា​ដែល​បាន​ប្រើ​នៅ​ទីនេះ

សំណួរ​ដែល​មនុស្ស​សួរ

បន្ថែម​ទៀត​ក្នុង Abstract Algebra

និមិត្តសញ្ញាដែលបានប្រើនៅទីនេះ

សំណួរដែលមនុស្សសួរ

បន្ថែមទៀតក្នុង Abstract Algebra