Rings of Fractions and Fields of Fractions

In summary, Exercise 3 in Section 7.5 of Dummit and Foote discusses the existence of a unique smallest subfield, also known as the prime subfield, in any given field. This subfield is isomorphic to either the rationals or the integers mod a prime number, depending on the characteristic of the field. The exercise provides hints for proving this result.
  • #1
Math Amateur
Gold Member
MHB
3,998
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 [TEX] F_0 [/TEX] and that [TEX] F_0 [/TEX] is isomorphic to either [TEX] \mathbb{Q} [/TEX] or [TEX] \mathbb{Z/pZ} [/TEX] for some prime p. (Note: [TEX] F_0 [/TEX] 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
  • #2
Peter said:
Let F be a field. Prove the F contains a unique smallest subfield [TEX] F_0 [/TEX] and that [TEX] F_0 [/TEX] is isomorphic to either [TEX] \mathbb{Q} [/TEX] or [TEX] \mathbb{Z/pZ} [/TEX] for some prime p. (Note: [TEX] F_0 [/TEX] is called prime subfield of F.)

Hints: If \(\displaystyle \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 \(\displaystyle \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)$.
 

Related to Rings of Fractions and Fields of Fractions

1. What is a Ring of Fractions?

A Ring of Fractions is a mathematical structure that is created by taking a commutative ring and adjoining new elements, known as fractions, to it. These fractions are defined as ratios of two elements from the original ring, with the denominator being a non-zero element. This creates a new ring that is larger than the original one and includes fractions as new elements.

2. How is a Ring of Fractions different from a Field of Fractions?

A Field of Fractions is essentially a special case of a Ring of Fractions, where the original ring is an integral domain. This means that every non-zero element has a multiplicative inverse. In a Field of Fractions, every fraction has a unique multiplicative inverse, while in a Ring of Fractions, this is not always the case.

3. What are the applications of Rings of Fractions and Fields of Fractions?

Rings of Fractions and Fields of Fractions are important concepts in abstract algebra and have many applications in other areas of mathematics, such as number theory, algebraic geometry, and commutative algebra. They are also used in other fields such as physics and engineering, particularly in the study of vector spaces and mathematical models.

4. How do you construct a Field of Fractions?

To construct a Field of Fractions, you first need to have an integral domain as the original ring. Then, you can take any non-zero element from the original ring and adjoin it to the ring as a new element. This new element will serve as the denominator for all the fractions in the Field of Fractions. Next, you need to define the operations of addition and multiplication for these new elements in a way that is consistent with the operations in the original ring. Finally, you can prove that this new structure is a Field of Fractions.

5. What are the properties of Rings of Fractions and Fields of Fractions?

Rings of Fractions and Fields of Fractions have many important properties, such as being a commutative ring, having a unique identity element, and being closed under addition and multiplication. In addition, Fields of Fractions have the properties of being a field, such as having a unique multiplicative inverse for every non-zero element and satisfying the distributive law. These structures also have important properties related to divisibility and factorization, which are useful in solving equations and proving theorems.

Similar threads

  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
3
Views
1K
  • Linear and Abstract Algebra
Replies
12
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
2K
  • Linear and Abstract Algebra
Replies
3
Views
1K
Replies
1
Views
982
Replies
5
Views
2K
  • Linear and Abstract Algebra
Replies
4
Views
1K
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
1K
Back
Top