Let G be the set of positive real numbers except 1. Define α∗β=αlnβ.
(a) Let us show that (G,∗) is a group. Since α∗β=αlnβ>0 and αlnβ=1 if and only if lnβ=0if and only if β=1, we conclude that the operation is defined on the set G.
Since (α∗β)∗γ=αlnβ∗γ=(αlnβ)lnγ=αlnγlnβ=αlnβlnγ=αln(β∗γ)=α∗(β∗γ), we conclude that the operation ∗ is associative.
Since α∗e=αlne=α=elnα=e∗α for any α∈G, we conclude that e is the identity of G. Taking into account that elnα1∗α=(elnα1)lnα=elnαlnα=e, we conclude that α−1=elnα1∈G, and hence (G,∗) is a group.
(b) Since α∗β=αlnβ=βlnα=β∗α for any α,β∈G, we conclude that G is abelian group.
(c) For the map f:G→G,f(x)=x, we have that f(x∗y)=f(xlny)=xlny=x∗y=f(x)∗f(y), and hence f is an automorphism of G.
Comments