Group Axiom Ordering

  • #1

Main Question or Discussion Point

Hello,

In my abstract algebra class, my teacher really stresses that when you show that a set is a group by satisfying the axioms of a group (law of combination, associativity, identity element, inverse elements) these axioms MUST be proved in order.

This makes some amount of sense to me, as some axoims use other axioms in their definitions, but why must associativity be proved before the existence of the identity element or inverses? Thank you.
 

Answers and Replies

  • #2
mathman
Science Advisor
7,821
433
The proofs for identity and inverse will usually use associative law.
 
  • #3
22,097
3,281
This makes some amount of sense to me, as some axoims use other axioms in their definitions, but why must associativity be proved before the existence of the identity element or inverses? Thank you.
You don't need to prove them in order. It's perfectly ok to show the existence of an identity element before associativity (just be sure that you never use associativity anywhere, but that's usually not the case).
It's a mystery to me why your teacher wants you to prove them in order.
 
  • #4
Fredrik
Staff Emeritus
Science Advisor
Gold Member
10,851
407
In the definition, the axiom about the identity element must be stated before the one about inverses, since the latter mentions the identity element.

Let's say that you want to prove that the set of integers with the standard addition operation is a group. It's definitely OK to prove that x+(-x)=-x+x=0 for all x before you prove that x+0=0+x=x for all x. However, if you do it in this order, it's not clear that the first step actually proves that this set and addition operation satisfy the axiom about inverses, until after you have performed the second step, which establishes that 0 is an identity element of this addition operation.

For this reason, I would recommend that you at least do those two in the standard order. Your proof would still be valid if you do these two steps in the "wrong" order, but it would be harder to understand.
 

Related Threads on Group Axiom Ordering

  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
12
Views
4K
  • Last Post
Replies
5
Views
7K
Replies
4
Views
2K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
3
Views
2K
Replies
3
Views
2K
Replies
4
Views
4K
Replies
2
Views
2K
Top