3
$\begingroup$

Statement

Left or right zero divisors in ring can never be units.

is proved in Wikipedia this way:

If $a$ is invertible and $ab = 0$

$0 = a^{−1}0 = a^{−1}ab = b$

I'm confused by third transition.

I suppose that more detailed version of proof written this way

$0 = a^{−1}0 = a^{−1}(ab) = (a^{−1}a)b = b$

shows us that ring is required to be associative for us to prove the statement.

Is it true?

I also need to note that the whole question occured because of my math book, where ring by definition is not necessarily associative under multiplication.

  • 2
    It is. But associativity of multiplication is one of the axioms an algebraic structure has to fulfill to be a ring.2011-11-28
  • 0
    Sorry, I forgot to mention that in my algebra studybook rings arent necessarily associative under multiplication.2011-11-28
  • 0
    @furikuretsu: Your studybook should call these structures algebras, not rings (and so should your question). While there is lack of agreement about whether rings should be defined to have a multiplicative identity, there is none (as far as I know) about their associativity. By the way "unit" supposes the existence of an identity; so your "rings" have an identity but are not associative?2011-11-29
  • 1
    @Marc van Leeuwen: my book defines the ring without identity, associativity and commutativity under multiplication. Just abelian group under addition, having both distributive laws and multiplication defined on set. Sorry for the mess, anyway. I never thought the math definitions from different books can be so... different.2011-11-30

1 Answers 1

7

The sedenions form a nonassociative ring with identity in which every nonzero element has a multiplicative inverse, but there are zero divisors.