MHB Rings of Fractions and Fields of Fractions

Click For Summary
SUMMARY

The discussion centers on the concept of Rings of Fractions and Fields of Fractions, specifically referencing Exercise 3 from Section 7.5 of "Abstract Algebra" by David S. Dummit and Richard M. Foote. The exercise requires proving that any field F contains a unique smallest subfield F_0, which is isomorphic to either the rational numbers \(\mathbb{Q}\) or the finite field \(\mathbb{Z}/p\mathbb{Z}\) for some prime p. Key hints provided indicate that if F has zero characteristic, F_0 is isomorphic to \(\mathbb{Q}\), while if F has characteristic p, F_0 is isomorphic to \(\mathbb{Z}/(p)\).

PREREQUISITES
  • Understanding of field theory and subfields
  • Familiarity with the concepts of isomorphism in algebra
  • Knowledge of rational numbers \(\mathbb{Q}\) and finite fields \(\mathbb{Z}/p\mathbb{Z}\)
  • Basic grasp of characteristics of fields
NEXT STEPS
  • Study the properties of prime subfields in field theory
  • Explore the concept of field isomorphism in depth
  • Learn about characteristics of fields and their implications
  • Review examples of Rings of Fractions and their applications in algebra
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, educators teaching field theory, and researchers interested in algebraic structures.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am seeking to understand Rings of Fractions and Fields of Fractions - and hence am reading Dummit and Foote Section 7.5

Exercise 3 in Section 7.5 reads as follows:

Let F be a field. Prove the F contains a unique smallest subfield F_0 and that F_0 is isomorphic to either \mathbb{Q} or \mathbb{Z/pZ} for some prime p. (Note: F_0 is called prime subfield of F.)

I am somewhat overwhelmed with this exercise and need help to get started. Can anyone help with this exercise.

Peter
 
Physics news on Phys.org
Peter said:
Let F be a field. Prove the F contains a unique smallest subfield F_0 and that F_0 is isomorphic to either \mathbb{Q} or \mathbb{Z/pZ} for some prime p. (Note: F_0 is called prime subfield of F.)

Hints: If $$\mathbb{F}$$ has zero characteristic, then $F_0=\{m\cdot 1/n\cdot 1:m\in\mathbb{Z},n\in\mathbb{N^*}\}$ is a subfield of $\mathbb{F}$ isomorphic to $\mathbb{Q}$. If $$\mathbb{F}$$ has characteristic $p$ then, $F_0=\{m\cdot 1:m\in\mathbb{N}\}$ is a subfield of $\mathbb{F}$ somorphic to $\mathbb{Z}/(p)$.
 
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 21 ·
Replies
21
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
971
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K