Is S Isomorphic to Any Commonly Known Fields?

  • Thread starter Thread starter bokasabi
  • Start date Start date
  • Tags Tags
    Field
Click For Summary

Homework Help Overview

The discussion revolves around the structure of a ring defined by pairs of rational numbers and explores whether this ring can be proven to be a field. Participants are considering potential isomorphisms to commonly known fields or extension fields.

Discussion Character

  • Exploratory, Conceptual clarification, Problem interpretation

Approaches and Questions Raised

  • Participants are attempting to find a homomorphism between the defined ring and known fields, questioning the nature of isomorphisms. Some suggest considering extension fields, while others seek clarification on these concepts.

Discussion Status

The discussion is ongoing, with participants exploring various ideas about isomorphisms and field structures. Some guidance has been offered regarding the nature of extension fields, but no consensus has been reached on a specific isomorphism.

Contextual Notes

There is a mention of the First homomorphism theorem for rings, and participants are navigating the definitions and implications of field extensions, particularly in relation to the structure of the ring S.

bokasabi
Messages
4
Reaction score
0

Homework Statement


let S be the ring of all pairs (q,s) with q,s being rational.
define (q,s) + (q',s') = (q+q',s+s')
and (q,s)(q',s') = (qs'+q's,3qq'+ss')
Prove that S is a field.

Homework Equations




Try proving that it is isomorphic to something else using the First homomorphism theorem for rings.



The Attempt at a Solution



I can not find a homomorphism between S and any commonly known fields like complex numbers, real numbers, rational numbers, etc
 
Physics news on Phys.org
How about commonly known extension fields? Like the rationals extended by sqrt(3)?
 
I am not sure what that means
 
The set of numbers of the form p+q*sqrt(3) where p and q are rational. It's a field. Can you prove it? It has dimension two as a vector space over the rationals. I think of that as pretty commonly known.
 
Last edited:
got it, thanks
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K