Abstract Algebra/Group Theory/Group/Cancellation

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Theorem[edit]

Let G be a Group.
1.
2.

Proof[edit]

0. Choose such that
1. definition of inverse of g in G (usage 1)
2. 0.
3. is associative in G
4. g-1 is inverse of g (usage 3)
5. eG is identity of G(usage 3)

Diagrams[edit]

if a*g = b*g...
a = a*g*g-1
b*g*g-1 = b
then a = b.

Usage[edit]

  1. if a, b, x are in the same group, and x*a = x*b, then a = b

Notice[edit]

  1. a, b, and g have to be all in the same group.
  2. has to be the binary operator of the group.
  3. G has to be a group.