Characterisation Of A Division Ring

Groups, Rings, Domains, Modules, etc, Galois theory
Post Reply
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Characterisation Of A Division Ring

#1

Post by Tsakanikas Nickos »

Let \( \displaystyle R \) be an associative ring with unity \( \displaystyle 1_{R} \). Show that \( \displaystyle R \) is a division ring if and only if \( \displaystyle \forall a \in R \smallsetminus \{ 1_{R} \} \; \exists b \in R \; : \; ab = a + b \).
Demetres
Former Team Member
Former Team Member
Posts: 77
Joined: Mon Nov 09, 2015 11:52 am
Location: Limassol/Pyla Cyprus
Contact:

Re: Characterisation Of A Division Ring

#2

Post by Demetres »

If \(R\) is a division ring, given \(a\neq 1\), consider the non-zero element \(a-1\) of \(R\). It has a multiplicative inverse \(x\). So \((a-1)x=1\). Taking \(b=x+1\), we get \(1 = (a-1)x = (a-1)(b-1) = ab-a-b+1\) giving \(ab=a+b\) as required.

Conversely, if \(R\) satisfies the property, given \(a\neq 0\) consider \(a+1 \neq 1\) and take \(b\) such that \((a+1)b = (a+1)+b\). Then \(ab=a+1\) so \(a(b-1)=1\). I.e. \(a\) has a right multiplicative inverse. To show that a left inverse exists, observe that if \(ax=1\) then \(xax=x\) and if \(y\) is the right inverse of \(x\) which we know that it exists then \(xaxy=xy\) giving \(xa=1\) i.e. that \(x\) is a left multiplicative inverse of \(a\) as well.

Associativity was used implicitly when writing things like \(xaxy\) without putting any brackets.
Tsakanikas Nickos
Community Team
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Re: Characterisation Of A Division Ring

#3

Post by Tsakanikas Nickos »

Thank you for the short and elegant solution.

The solution i found regarding the second part of the assertion is based on the same idea, but is rather longer than the one you suggested! So, thanks again!
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 5 guests