Dictionary

splitting field en · NOUN

Meanings

1. (qualifier:Galois theory) (of a polynomial) Given a polynomial p over a field K, the smallest extension field L of K such that p, as a polynomial over L, decomposes into linear factors (polynomials of degree 1); (of a set of polynomials) given a set P of polynomials over K, the smallest extension field of K over which every polynomial in P decomposes into linear factors.
   • Example 4.3. By definition, #92;Q(i) is the splitting field of x²#43;1 over #92;Q, and #92;C is the splitting field for the same polynomial, over #92;R. Example 4.4. The splitting field F of x⁸-1 over #92;Q is generated by #92;zeta#58;#61;2#123;2#92;pii#47;8#125;; indeed, the roots of x⁸-1 are all the 8-th roots of 1, and all of them are powers of #92;zeta:[…]In fact, #92;zeta is a root of the polynomial x⁴#43;1, which is irreducible over #92;Q; therefore F#61;#92;Q(#92;zeta) is 'already' the splitting field of x⁴#43;1. 2009, Paolo Aluffi, Algebra: Chapter 0, American Mathematical Society, page 430:
   • Theorem 3.2. If K is a field and f#92;inK#91;x#93; has degree n#92;ge 1, then there exists a splitting field F of f with #91;F#58;K#93;#92;len#33; 1974, Thomas W. Hungerford, Algebra, Springer, page 258:
   • In the case of the polynomial t²#43;1#92;in#92;R#91;t#93;, the situation is quite clear; its splitting field is #92;C since t²#43;1#61;(t#43;i)(t-i) where i#61;#92;sqrt#123;-1#125;. 2003, Derek J. S. Robinson, An Introduction to Abstract Algebra, Walter de Gruyter, page 130:
2. (of a K-algebra, qualifier:ring theory) Given a finite-dimensional K-algebra (algebra over a field), an extension field whose every simple (indecomposable) module is absolutely simple (remains simple after the scalar field has been extended to said extension field).
   • The terminology "splitting field of a K-algebra" is motivated by the same terminology regarding a polynomial. A splitting field of a K-algebra A is a field extension K#92;mapstoL such that A#92;otimes#95;KL is split; in the special case A#61;K#91;x#93;#47;f(x) this is the same as a splitting field of the polynomial f(x).
   • 2001, T. Y. Lam, A First Course in Noncommutative Rings, Springer, 2nd Edition, page 117, Ex. 7.6. For a finite-dimensional k-algebra R, let T(R)= operatorname radR+[R,R], where [R,R] denotes the subgroup of R generated by ab-ba for all a,b∈R. Assume that k has characteristic p>0. Show that T(R)⊆a∈R:aforsomem>1, with equality if k is a splitting field for R.
   • Group algebras are defined over the prime field #92;Q or #92;mathbbF#95;p (depending on the characteristic), and by what we have just proved #92;QG and #92;mathbbF#95;pG have splitting fields that are finite degree extensions of the prime field.[…] Some other basic facts about splitting fields are left to the exercises at the end of this chapter. Thus, if A is a finite-dimensional algebra over a field F that is a splitting field for A and E#92;supsetF is a field extension, it is the case that every simple E#92;otimes#95;FA-module can be written in F (Exercises 4 and 8). 2016, Peter Webb, A Course in Finite Group Representation Theory, Cambridge University Press, page 162:
3. (of a central simple algebra, qualifier:ring theory) Given a central simple algebra A over a field K, another field, E, such that the tensor product A⊗E is isomorphic to a matrix ring over E.
   • Every finite dimensional central simple algebra has a splitting field: moreover, if said CSA is a division algebra, then a maximal subfield of it is a splitting field.
   • 1955, Shimshon A. Amitsur, Generic Splitting Fields of Central Simple Algebras, Annals of Mathematics, Volume 62, Number 1, Reprinted in 2001, Avinoam Mann, Amitai Regev, Louis Rowen, David J. Saltman, Lance W. Small (editors), Selected Papers of S. A. Amitsur with Commentary, Part 2, American Mathematical Society, page 199, The main tool in studying the structure of division algebras, or more generally, of central simple algebras (c.s.as) over a field ℭ are the extensions of ℭ that split the algebras. A field 𝔉⊇ℭ is said to split a c.s.a. 𝔄 if 𝔄⊗𝔉 is a total matrix ring over 𝔉. The present study is devoted to the study of the set of all splitting fields of a given c.s.a. 𝔄.
4. (qualifier:character theory) (of a character χ of a representation of a group G) A field K over which a K-representation of G exists which includes the character χ; (of a group G) a field over which a K-representation of G exists which includes every irreducible character in G.
   • 1999, P. Shumyatsky, V. Zobina (translators), David Louvish (editor of translation), Ya. G. Berkovich, E. M. Zhmud’, Characters of Finite Groups, Volume 2, American Mathematical Society, page 165, DEFINITION 2. A field K is called a splitting field of a character χ of a group G if χ∈ operatorname Char_K(G), i.e., χ is afforded by a K-representation of G. Let T be a representation of G affording the character χ. It follows from Definition 2 that K is a splitting field of χ if and only if T is equivalent to Δ, where Δ is a K-representation of G. In other words, K is a splitting field of a character χ if and only if a representation T affording χ is realized over K. Every character of G has a splitting field (for example, C is a splitting field of any character of G). If K is a splitting field of both characters χ₁,χ₂, then K is a splitting field of χ₁+χ₂, Therefore, in studying splitting fields, we may consider irreducible characters only. DEFINITION 3. A field K is called a splitting field of a group G if it is a splitting field for every χ∈ operatorname Irr(G).

Forms

Relateds

split K-algebra · split Lie algebra

Synonyms

root field

Translations (15)

pl pole podziału ((character theory, of a group representation) field over which a K-representation exists that includes a given character) · de Zerfällungskörper ((Galois theory, of a polynomial) smallest field containing all roots) · eu banatze gorputz ((Galois theory, of a polynomial) smallest field containing all roots) · pl pole podziału ((ring theory, of a central simple algebra) field whose tensor product with the CSA is isomorphic to a matrix ring over said field) · fr corps de décomposition ((Galois theory, of a polynomial) smallest field containing all roots) · it campo di riducibilità completa ((Galois theory, of a polynomial) smallest field containing all roots) · it campo di spezzamento ((Galois theory, of a polynomial) smallest field containing all roots) · eu deskonposizio gorputz ((Galois theory, of a polynomial) smallest field containing all roots) · pl pole podziału ((Galois theory, of a polynomial) smallest field containing all roots) · pt corpo de decomposição ((Galois theory, of a polynomial) smallest field containing all roots) · pt corpo de fatoração ((Galois theory, of a polynomial) smallest field containing all roots) · es cuerpo de descomposición ((Galois theory, of a polynomial) smallest field containing all roots) · fr corps de déploiement ((Galois theory, of a polynomial) smallest field containing all roots) · pl pole podziału ((ring theory, of a K-algebra) extension field whose every simple module is absolutely simple) · fr corps des racines ((Galois theory, of a polynomial) smallest field containing all roots)