Algebraic And Simple Extensions

  • Thread starter Thread starter WannaBe22
  • Start date Start date
Click For Summary
SUMMARY

Every algebraic extension of a field is not necessarily a simple extension. The discussion centers on the field of algebraic numbers over the rational numbers (Q), which serves as an example of an algebraic extension that is not simple. The degree of this extension is infinite, and the proof involves using the tower law to demonstrate that the algebraic numbers cannot be generated by a single element. Specifically, the expression [A:Q] = [A:Q(2^{1/n})][Q(2^{1/n}):Q] illustrates this point effectively.

PREREQUISITES
  • Understanding of algebraic extensions in field theory
  • Familiarity with the concept of simple extensions
  • Knowledge of the tower law in field extensions
  • Basic grasp of algebraic numbers and their properties
NEXT STEPS
  • Study the properties of algebraic extensions in field theory
  • Learn about simple extensions and their significance in algebra
  • Explore the tower law and its applications in proving extension degrees
  • Investigate the structure of algebraic numbers and their relation to rational numbers
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, field theory, and anyone interested in the properties of algebraic extensions and their implications in higher mathematics.

WannaBe22
Messages
73
Reaction score
0

Homework Statement


I'll be delighted to get an answer to the following question:
Does every algebraic extension of a field is a simple extension?

Homework Equations


The Attempt at a Solution


I'm pretty sure that the answer is negative... I was thinking on taking the field of all the algebraic numbers over Q ... this field is obviously an algebraic extension of Q, but how can I prove it isn't simple? (I'm pretty sure that its degree is infinity, but have no idea how to to prove it) ...

Hope you'll be able to help me

Thanks!
 
Physics news on Phys.org
To prove the degree you can use the tower law. 2^{1/n} is obviously in the algebraic numbers for each n, so if A is the set of algebraic numbers

[A:Q]=[A:Q(2^{1/n})][Q(2^{1/n}):Q]
 
Thanks a lot!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K