MHB Rings of Fractions .... Lovett, Section 6.2 ....

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Stephen Lovett's book, "Abstract Algebra: Structures and Applications" and am currently focused on Section 6.2: Rings of Fractions ...

I need some help with some remarks following Definition 6.2.4 ... ... ...

The remarks following Definition 6.2.4 reads as follows:https://www.physicsforums.com/attachments/6461In the above text from Lovett we read the following:

" ... ... it is not hard to show that if we had taken $$D = { \mathbb{Z} }^{ \gt 0 }$$ we would get a ring of fractions that is that is isomorphic to $$\mathbb{Q}$$. ... ... "Can someone please help me to understand this statement ... how is such an isomorphism possible ... in particular, how does one achieve a one-to-one and onto homomorphism from the positive integers to the negative elements of $$\mathbb{Q}$$ as well as the positive elements ...

Hope someone can help ... ...

Peter=================================================

To enable readers to understand Lovett's approach to the rings of fraction construction, I am providing Lovett Section 6.2 up to an including the remarks following Definition 6.2.4 ... as follows:https://www.physicsforums.com/attachments/6462
https://www.physicsforums.com/attachments/6463
https://www.physicsforums.com/attachments/6464
 
Physics news on Phys.org
The simple reason is that any element $q\in Q$ can be realized as $q={a\over b}$ with $b>0$. If a denominator is negative, just multiply numerator and denominator by -1.

Formally, let $Q_1$ be the ring constructed with denominators positive. It's then easy to verify that the "identity" map from $Q_1$ to $Q$ is an isomorphism.
 
johng said:
The simple reason is that any element $q\in Q$ can be realized as $q={a\over b}$ with $b>0$. If a denominator is negative, just multiply numerator and denominator by -1.

Formally, let $Q_1$ be the ring constructed with denominators positive. It's then easy to verify that the "identity" map from $Q_1$ to $Q$ is an isomorphism.
Thanks johng ... appreciate the help ...

Peter
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...