Is the Group Law * Associative and Commutative in Algebraic Structures?

  • Context: Graduate 
  • Thread starter Thread starter naoufelabs
  • Start date Start date
  • Tags Tags
    Group Structure
Click For Summary

Discussion Overview

The discussion revolves around the properties of a group law defined by the operation a*b=eln(a)*ln(b) in the context of algebraic structures. Participants are exploring whether this group law is associative and commutative, as well as the existence of an identity element.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants express a need to demonstrate that the group law is associative and commutative, specifically aiming to show that a*b = b*a and a*e = a.
  • One participant suggests using the definition of the operation to explicitly write out the expressions for a*b, b*a, and a*e as a starting point.
  • Another participant questions whether eln(a)*ln(b) is equivalent to eln(b)*ln(a), prompting a need for further clarification and proof.
  • One participant shares results from testing with specific numbers using Maple, suggesting that the operation appears commutative based on their findings with 3^ln(2) and 2^ln(3).
  • However, other participants challenge the sufficiency of testing with only two arbitrary numbers, emphasizing the need for a general proof that holds for all numbers.
  • There is a reference to external resources, such as a Wikipedia page, to support the exploration of identities and properties related to exponentiation.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the properties of the group law. While some believe they have found evidence for commutativity, others argue that more rigorous proof is necessary, indicating ongoing disagreement and uncertainty.

Contextual Notes

Limitations include the reliance on specific numerical examples rather than a general proof, and the need for clearer definitions and steps to demonstrate the properties of the group law.

naoufelabs
Messages
17
Reaction score
0
Please I have a problem with natural log for group set as follow:a*b=eln(a)*ln(b)

1- Show that the group law * is associative and commutative
2- Show that the group law * accept an element e (Identity element)

Thank you !
 
Last edited:
Physics news on Phys.org
naoufelabs said:
Please I have a problem with natural log for group set as follow:


a*b=eln(a)*ln(b)

1- Show that the group law * is associative and commutative
2- Show that the group law * accept an element e (Identity element)

Thank you !

what are you stuck on?
 
Sorry, I mean to achieve to result that a*b = b*a, and a*e=a.
But I'm stuck on.
Thanks
 
You answered lavinia's question...by not answering it. As a start, use the definition you wrote in your first post to write out what a*b, b*a, and a*e are.
 
is elna*lnb the same as, or different than elnb*lna?

show us your work so far
 
I tested with Maple e^ln(a)*ln(b), then the result is a^ln(b).
so I tested with 2 different numbers, example:
3^ln(2) = 2^ln(3) ==> Gives the same result.
So I found that the e^ln(a)*ln(b) is commutative.
 
naoufelabs said:
I tested with Maple e^ln(a)*ln(b), then the result is a^ln(b).
so I tested with 2 different numbers, example:
3^ln(2) = 2^ln(3) ==> Gives the same result.
So I found that the e^ln(a)*ln(b) is commutative.

No, you have tested it with two arbitrary numbers. You have to test it for all numbers!
Just checking it with two numbers does not suffice at all!

You must show that a*b=b*a. Write out the definition of * and show us what it means.
 
naoufelabs said:
I tested with Maple e^ln(a)*ln(b), then the result is a^ln(b).
so I tested with 2 different numbers, example:
3^ln(2) = 2^ln(3) ==> Gives the same result.
So I found that the e^ln(a)*ln(b) is commutative.

get a piece of paper, and use your brain. Maple won't solve this one for you.
 
  • #10
Thanks for all
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 17 ·
Replies
17
Views
10K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K