# Group Theory

#### TimNguyen

Hello.

I was wondering how I could prove if a set of numbers along with some arbitrary operation is an abelian group.

Related Linear and Abstract Algebra News on Phys.org

#### Muzza

Don't you have a list of axioms which says "G is an abelian group if and only if the following are satisfied: ..."?

#### JasonRox

Homework Helper
Gold Member
The first step is proving that it is a group in the first place.

If it's not a group, than it certainly isn't an abelian group.

Then after that, look at the definition of what it means for a group to be abelian. Test it. Then you are done.

Hint: a*b = b*a (where * is the binary operation)

#### Muzza

Sometimes it feels like people just repeat what I write.

#### JasonRox

Homework Helper
Gold Member
Muzza said:
Sometimes it feels like people just repeat what I write.
You said...

Don't you have a list of axioms which says "G is an abelian group if and only if the following are satisfied: ..."?

That's assuming that it is a group, but he hasn't even shown that yet. I'd worry about proving that it is a group before even thinking about what properties the group might have.

#### Muzza

That's assuming that it is a group,
No it isn't. I even used the plural of "axiom" to try to hint at the fact that several things, rather than just commutativity, needed to be checked.

#### JasonRox

Homework Helper
Gold Member
Muzza said:
No it isn't. I even used the plural of "axiom" to try to hint at the fact that several things, rather than just commutativity, needed to be checked.
Good hint.

"Group Theory"

### Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving