The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Abelian Groups

Date: 05/15/2000 at 20:17:12
From: Ed Reed
Subject: Abelian Groups

How do I prove that the operation @, defined by a@b = a^ln(b), is an 
abelian group for the set of positive real numbers not equal to 1?

Date: 05/16/2000 at 11:34:58
From: Doctor Schwa
Subject: Re: Abelian Groups

A group has to:

1) Have an identity x so that a@x = x@a = a. What value of x will work 

2) Have an inverse, so that for each a there's some number y such that 
   a@y = y@a = the identity you found in the last part. Can you 
   express y in terms of a?

3) Be associative, so that (a@b)@c = a@(b@c) for all a, b and c. Can 
   you check that with algebra?

An abelian group ALSO has to:

4) Be commutative, so that a@b = b@a for all a and b. Can you check 
   that with algebra?

- Doctor Schwa, The Math Forum   
Associated Topics:
College Modern Algebra

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.