Professional Documents
Culture Documents
…
Group Tables (or a Cayley table).
We list the elements out and multiply “row by column."
(Of course we have to remember that “times" really means “plus" in this example.)
If we have a group of order one,
the lone element must be the identity 𝑒, and 𝑒 ∗ 𝑒 = 𝑒, so
the group table must be:
Suppose we have a group of order two. (What do you think are the
elements?)
The group contains the identity 𝑒 and some other element 𝑎 with
𝑎 ≠ 𝑒.
Then 𝑒 ∗ 𝑎 = 𝑎 ∗ 𝑒 = 𝑎, and
Since 𝑎 must have an inverse (and the only option is 𝑎), we must
have 𝑎 ∗ 𝑎 = 𝑒. Therefore, the group table must look like:
Suppose we have a group of order three. What do you think are the elements?)
The three distinct elements are the identity 𝒆, and two other elements 𝒂 and 𝒃.
(Can you write the Cayley Table?)
The first row and first column are easy to fill in, since 𝑒 is the identity. We are then
left to determine 𝑎 ∗ 𝑎, 𝑎 ∗ 𝑏, 𝑏 ∗ 𝑎, and 𝑏 ∗ 𝑏.
The first row and first column are easy to fill in, since 𝑒 is the identity. We are then left
to determine 𝑎 ∗ 𝑎, 𝑎 ∗ 𝑏, 𝑏 ∗ 𝑎, and 𝑏 ∗ 𝑏.
We claim first that it is impossible to have 𝑎 ∗ 𝑎 = 𝑒. (Why?)
If 𝑎 ∗ 𝑎 = 𝑒, then 𝑏 ∗ 𝑏 = 𝑒 as well, since 𝑏 must have an inverse.
The reason for this is that if 𝑎 = 𝑏 −1 , so 𝑎 ∗ 𝑏 = 𝑒, then
, which can't be the case. (Why)
* *
Remarks on Notation
We will often supress the operation ∗. When working with arbitrary
group we simply write
𝑎𝑏 = 𝑎 ∗ 𝑏
But, if we are dealing with specific example such as the integer under
addition, we still write the operation to make things clear.
We also have a short way of denoting a product of an element 𝑎 with itself.
We’ll write
𝑎2 = 𝑎 ∗ 𝑎
𝑎𝑛 = 𝑎 ∗ 𝑎 ∗ ⋯ ∗ 𝑎
𝑛 times
𝑎−𝑛 = 𝑎−1 𝑛
We should note also that if we are dealing with the group ℤ, 𝑎𝑛 means
𝑎𝑛 = 𝑎 + 𝑎 + ⋯ + 𝑎 = 𝑛𝑎
𝑛 times
The Symmetric and Dihedral Groups
(examples of finite non-abelian groups)
𝑥 ↦𝑓 𝑥 .
Proof.
• Proposition 2.2.6(3 ) tells us that 𝑆𝑥 is closed under composition of functions. In
other words, composition defines a binary operation on 𝑺𝒙 .
• Next, we need to show that if 𝑓, 𝑔, ℎ ∈ 𝑆𝑥 , then (𝑓 ∘ 𝑔) ∘ ℎ = 𝑓 ∘ (𝑔 ∘ ℎ).
• To do this, we need to show that their values at any element 𝑥𝜖𝑋 are equal.
• For any 𝑥 ∈ 𝑆, we have
(𝑓 ∘ 𝑔) ∘ ℎ(𝑥) = (𝑓 ∘ 𝑔)(ℎ(𝑥)) = 𝑓(𝑔(ℎ(𝑥)))
and
𝑓 ∘ (𝑔 ∘ ℎ)(𝑥) = 𝑓((𝑔 ∘ ℎ)(𝑥)) = 𝑓(𝑔(ℎ(𝑥))):
• In other words,(𝑓 ∘ 𝑔) ∘ ℎ(𝑥) = 𝑓 ∘ (𝑔 ∘ ℎ)(𝑥) for all 𝑥 2 𝑆, so (𝑓 ∘ 𝑔) ∘ ℎ = 𝑓 ∘ (𝑔 ∘ ℎ).
• Recall that any set 𝑋 has a special bijection from 𝑋 𝑡𝑜 𝑋, namely the identity function
𝑖𝑑𝑋 :
𝑖𝑑𝑋 (𝑥) = 𝑥 for all 𝑥 ∈ 𝑋.
and