Field extension that is not normal

Click For Summary
SUMMARY

This discussion focuses on the concept of normal field extensions in algebra, specifically exploring examples of non-normal extensions. The characterization of normality is defined through the irreducibility of polynomials over a field, with a specific example using the polynomial \(X^3 - 2\) over \(\mathbb{Q}\). The question posed is whether all roots of the polynomial \(X^3 - 2\) are contained within the field \(\mathbb{Q}[\sqrt[3]{2}]\), highlighting the complexities of field extensions.

PREREQUISITES
  • Understanding of field theory and extensions
  • Familiarity with irreducible polynomials
  • Knowledge of normal field extensions
  • Basic concepts of algebraic structures
NEXT STEPS
  • Research the properties of normal field extensions in algebra
  • Study the implications of irreducible polynomials over different fields
  • Explore examples of non-normal field extensions
  • Learn about Galois theory and its relation to field extensions
USEFUL FOR

This discussion is beneficial for algebra students, mathematicians specializing in field theory, and anyone interested in advanced algebraic concepts related to field extensions and polynomial roots.

jostpuur
Messages
2,112
Reaction score
19
I want to come up with an example of a field extension that is not normal, and seems to be difficult. All extension constructed in some obvious way tend to turn out normal.
 
Physics news on Phys.org
I don't know how you defined normal exactly (there are various equivalent definitions). But a very useful characterization is the following: if ##K## is normal over ##L## and if ##P(X)## is a irreducible polynomial over ##L## that has a root in ##K##, then ##P(X)## has all roots in ##K##.

So take ##L=\mathbb{Q}##. Take some irreducible polynomial over ##\mathbb{Q}##. Adjoin a root of this polynomial to ##\mathbb{Q}## and see whether all roots are included.

For examply, we know that ##X^3 - 2## is irreducible over ##\mathbb{Q}##. Do all roots of ##X^3-2## lie in ##\mathbb{Q}[\sqrt[3]{2}]##?
 
oh dear...
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
4
Views
2K