Need help proving L is a normal exension of F.

  • Context: Graduate 
  • Thread starter Thread starter ae1709
  • Start date Start date
  • Tags Tags
    Normal
Click For Summary
SUMMARY

The discussion focuses on proving that the field L, defined as L = {f(a_1,...,a_r) : [f] ∈ F[x], [a_i] ∈ K_i}, is a normal extension of F given that each K_i is a normal extension of F and E is a finite extension of F. The participants emphasize the necessity of demonstrating that L is a subfield of E and contains each K_i. The conclusion drawn is that proving L is a subfield involves verifying field properties, while establishing L as a normal extension requires showing that every irreducible polynomial in F[x] that has a root in L splits completely over L.

PREREQUISITES
  • Understanding of field theory, specifically normal extensions
  • Familiarity with finite field extensions
  • Knowledge of polynomial rings, particularly F[x]
  • Concept of subfields and their properties
NEXT STEPS
  • Study the properties of normal extensions in field theory
  • Learn about finite extensions and their implications on subfields
  • Explore the concept of splitting fields and their relation to normal extensions
  • Investigate examples of polynomial rings and their roots in field extensions
USEFUL FOR

Mathematicians, particularly those specializing in algebra and field theory, as well as students seeking to deepen their understanding of normal extensions and finite fields.

ae1709
Messages
3
Reaction score
0
Let
\begin{equation}
{F}\subseteq{K_i}\subseteq{E}
\end{equation}
for i = 1,...,r with E a finite extension of F and where the intermediate fields \begin{equation} K_i \end{equation}are each normal extensions of F for all i.

Define:
\begin{equation}
L = \{f(a_1,...,a_r) : [f]\in{F[x]}, [a_i]\in[K_i]\}
\end{equation}

1) Prove that L is a subfield of E and contains \begin{equation} K_i \end{equation} for all i.

2) Prove that L is a normal extension of F.

I really need help with this. Thanks
 
Physics news on Phys.org
So, what did you try already?? (1) shouldn't be too difficult. It's just checking that something is a field...
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K