Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is $(\Bbb R,\oplus,\odot)$ a division ring, where $$a\oplus b = a+b+\frac12$$ and $$a\odot b = a+b+ 2ab?$$

I have only issues with $\odot$. It doesn't work for inverse of $$a=\frac{-1}{2}$$ since $$a^{-1}=\frac{-a}{2a+1}$$ and in the definition of division rings there is condition that every nonzero element has a left inverse.

share|improve this question
add comment

3 Answers 3

up vote 0 down vote accepted

Note that, since $-1/2$ is the identity element under $(\mathbb{R},⊕)$, it is considered the "zero" element. This is consistent with the fact that $-1/2⊙a=a⊙-1/2=-1/2$, and so $-1/2$ has no inverse. For a ring, you should be considering $(\mathbb{R}\backslash \{-1/2\},⊙)$

share|improve this answer
add comment

What's the problem with a single element not being invertible? After all, all division rings have a single element that isn't invertible, namely the zero element.

Look at $\frac{-1}{2}$: $a\oplus\frac{-1}{2}=a$ and $a\odot \frac{-1}{2}=\frac{-1}{2}$ for all $a$. About now you should be beginning to see that maybe you have to rethink what you mean by "nonzero."

A handy thing to do in situations like this is to see what the multiplicative idempotents are. In this case, $a\odot a=a$ only happens if $a=0$ or $a=\frac{-1}{2}$. This can usually help you quickly find candidates for identities.

share|improve this answer
add comment

If $R$ is indeed a ring (with unit) then $0_{R}=-\frac{1}{2}$ and $1_{R}=0$. For every $a\neq0_{R}$ there must be a $b$ with $a\odot b=a+b+2ab=1_{R}$ wich is indeed the case: $b=\frac{-a}{1+2a}$. Now time to check things like distributivity, associativity and - for addition - commutativity.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.