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

ຕົວສະແດງທີ່ໃຊ້ຢູ່ທີ່ນີ້