From: Josef 'Jupp' SCHUGT <jupp@...>
Date: 2004-01-27T09:46:32+09:00
Subject: Re: ruby-math and "why is ** not abelian?"

Hi!

* Van Jacques:
> If + is commutative, and the successor operation to + is *, which
> is also commutative;
> (a*b = b*a), then why isn't a**b = b**a since ** is successor
> operation to * ?

Neither (Float, +) nor (Float, *) is a group. A non-group cannot be
an Abelian group.

Josef 'Jupp' SCHUGT
-- 
http://oss.erdfunkstelle.de/ruby/    -     German comp.lang.ruby-FAQ
http://rubyforge.org/users/jupp/     -     Ruby projects at Rubyforge
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Germany 2004: To boldly spy where no GESTAPO / STASI has spied before