Proving Field Properties of R if F is Algebraic over K

  • Thread starter Thread starter demonelite123
  • Start date Start date
  • Tags Tags
    Field Properties
Click For Summary
SUMMARY

The discussion centers on proving that a ring R, which contains a field K and is contained within a field F that is algebraic over K, is itself a field. It is established that since every element of F is a root of some polynomial over K[x], and K is contained in R, every element of F is also a root of some polynomial over R[x]. The key to demonstrating that every nonzero element of R has an inverse lies in utilizing the algebraic properties of elements in F over K, specifically through the hints provided regarding K(a) and the construction of inverses using algebraic relations.

PREREQUISITES
  • Understanding of field theory and algebraic extensions
  • Familiarity with polynomial rings, specifically K[x] and R[x]
  • Knowledge of algebraic elements and their properties
  • Basic concepts of ring theory and field inverses
NEXT STEPS
  • Study the properties of algebraic extensions in field theory
  • Learn about polynomial rings and their role in field construction
  • Explore the concept of field inverses and their proofs
  • Investigate examples of fields that are algebraic over other fields
USEFUL FOR

Mathematicians, particularly those specializing in abstract algebra, field theorists, and students studying algebraic structures will benefit from this discussion.

demonelite123
Messages
216
Reaction score
0
Let [itex]K \subseteq F[/itex] be fields and let R be a ring such that [itex]K \subseteq R \subseteq F[/itex]. If F is algebraic over K, show that R is a field.

If F is algebraic over K, then every element of F is a root of some polynomial over K[x]. But since K is contained in R, every element of F is thus a root of some polynomial over R[x]. I want to show that every nonzero element of R has an inverse which would show that it is a field. The elements in K are obviously invertible so I need to show that any element in R that is not in K is also invertible. I am having trouble with this part and can't think of a way to show this. Can someone offer a hint or two in the right direction?

Help is greatly appreciated.
 
Physics news on Phys.org


Let a be a nonzero element of R. Here are two independent (but ultimately equivalent) hints to help you show that the inverse of a belongs to R.

Hint A: K(a)=K[a].

Hint B: Write down the inverse of a in F, using the fact that a is algebraic/K.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
Replies
6
Views
2K
  • · Replies 28 ·
Replies
28
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K