MHB Unit of Ring Question - Cbarker1

  • Thread starter Thread starter cbarker1
  • Start date Start date
  • Tags Tags
    Ring Unit
cbarker1
Gold Member
MHB
Messages
345
Reaction score
23
Dear Everyone,

I am having trouble with an exercise problem. Here is the problem: Dummit and Foote Ed.2 pg 231: "Let $R$ be a ring with 1. Prove that if $u$ is a unit in R then so is $-u$."

My Attempt:

Suppose $u$ is a unit in $R$. Then, from Prop 1 (4) (if $R$ has an identity, then the identity is unique and $-1a=-a$), let $a=u$. Then $-u$ is in $R$. QED

What did I do wrong and/or correct? Thanks,
Cbarker1
 
Last edited:
Physics news on Phys.org
Cbarker1 said:
Dear Everyone,

I am having trouble with an exercise problem. Here is the problem: Dummit and Foote Ed.2 pg 231: "Let $R$ be a ring with 1. Prove that if $u$ is a unit in R then so is $-u$."

My Attempt:

Suppose $u$ is a unit in $R$. Then, from Prop 1 (4) (if $R$ has an identity, then the identity is unique and $-1a=-a$), let $a=u$. Then $-u$ is in $R$. QED

What did I do wrong and/or correct? Thanks,
Cbarker1

What you have shown is that $-u$ is in the ring. That is clear since ring is closed under multiplication. What you need to show is that $-u$ has a multiplicative inverse in $R$, that is, you need to show the existence of an element $a\in R$ such that $(-u)\cdot a=1$.
 
Hi Cbarker1.

You have to show that there is some element $v\in R$ such that $v(-u)=(-u)v=1$.

Now if $u$ is a unit in $R$ then there is some element $w\in R$ such that $wu=uw=1$. I’ll let you carry on from there. (Hint: use the fact that for any $x,y\in R$, $(-x)y=x(-y)=-xy$ and $(-x)(-y)=xy$.)
 
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...

Similar threads

Replies
24
Views
558
Replies
16
Views
3K
Replies
1
Views
2K
Replies
1
Views
2K
Replies
1
Views
2K
Replies
3
Views
2K
Replies
5
Views
1K