Wolfram Alpha:
Search by keyword:
Astronomy
Chemistry
Classical Mechanics
Classical Physics
Climate Change
Cosmology
Finance and Accounting
Game Theory
General Relativity
Group Theory
Lagrangian and Hamiltonian Mechanics
Macroeconomics
Mathematics
Microeconomics
Nuclear Physics
Particle Physics
Probability and Statistics
Programming and Computer Science
Quantum Computing
Quantum Field Theory
Quantum Mechanics
Semiconductor Reliability
Solid State Electronics
Special Relativity
Statistical Mechanics
String Theory
Superconductivity
Supersymmetry (SUSY) and Grand Unified Theory (GUT)
The Standard Model
Topology
Units, Constants and Useful Formulas
Basic Group Theory
------------------
Symbols
-------
∈ = is in
∉ = not in
∀ = for all
∅ = empty
∃ = exists
⊂ = subset of
ℤ = set of all integers
ℂ = set of all complex numbers
ℝ = set of real numbers
ℚ = set of rational numbers
Definition
----------
A group, (G,*) is a set of elements g_{i} = {a,b,c ...} that
satisfy the following axioms:
Note: * is the operation + or x (only 1 operation is allowed).
1. Closure: a and b are elements then their composition must
also be a member of the group. Thus,
a, b ∈ G -> a*b ∈ G
2. Identity: There is some element, e, such that e*a = a. Thus,
e ∈ G -> e*a ∈ G for any a ε G
3. Inverse: For any element, a, there is an inverse element a^{-1}
such that a*a^{-1} = e. Thus,
a, a^{-1} ∈ G then aa^{-1} ∈ G
4. Associativity: a*(b*c) = (a*b)*c
Example 1.
(ℤ,+) = {... -3,-2,-1,0,1,2,3,4 ...}
✔ Closure: a,b ∈ ℤ -> a + b ∈ ℤ
✔ Identity: a + 0 = 0 + a = a
✔ Inverse: a^{-1} = -a since a^{-1} + a = e
✔ Associativity: (a + b) + c = a + (b + c)
Example 2.
(ℤ,x) = {... -3,-2,-1,0,1,2,3,4 ...}
✔ Closure: a,b ∈ ℤ -> a x b ∈ ℤ
✔ Identity: a x 1 = 1 + a = a
x Inverse: 2 x integer = 1 has no solution in ℤ
Associativity: (a x b) x c = a x (b x c)
Example 3.
GL(n,ℝ) is the group of all n x n matrices with
non zero determinants under matrix multiplication.
- - - - - -
Closure: | a b || e f | = | ae + bg af + bh | ✔
| c d || g h | = | ce + dg cf + dh |
- - - - - -
- -
Identity: I = | 1 0 | ∴ A x I = I x A ✔
| 0 1 |
- -
- - - -
Inverse: | a b |^{-1} = 1/(ad- bc)| d -b | ✔
| c d |^{ } | -c a |
- - - -
Associativity: (A x B) x C = A x (B x C) ✔
Commutativity: A x B ≠ B x A x
Commutativity
-------------
ABELIAN: [g_{i},g_{j}] = 0
NON-ABELIAN: [g_{i},g_{j}] ≠ 0
Examples: Integer multiplication is Abelian.
Matrix multiplication is generally
non-Abelian.
Cayley Tables
-------------
Cayley tables allow us to construct verify the
group closure property. They have the following
properties.
1. Square
2. No duplicate elements allwed in rows or columns.
This dictates how the rows and columns are formed
regardless of the group operation.
3. Symmetric about diagonal indicates the group
is abelian.
* = group operation.
2nd order group:
* | e | a
--+---+----
e | e | a
--+---+----
a | a | e
This is the same as (isomorphic to) ℤ (mod 2)
(or ℤ_{2}).
3rd order group:
* | e | a | b
--+---+---+---
e | e | a | b
--+---+---+---
a | a | b | e
--+---+---+---
b | b | e | a
This is the same as (isomorphic to) ℤ (mod 3)
(or ℤ_{3}).
4th order groups are a little more complicated
because there is more than one way to organize
the Cayley, but the same principles apply.
Klein 4 group:
+ | e | a | b | c
--+---+---+---+---
e | e | a | b | c
--+---+---+---+---
a | a | e | c | b
--+---+---+---+---
b | b | c | e | a
--+---+---+---+---
c | c | b | a | e
ℤ (mod 4) (or ℤ_{4})
+ | e | a | b | c
--+---+---+---+---
e | e | a | b | c
--+---+---+---+---
a | a | b | c | e
--+---+---+---+---
b | b | c | e | a
--+---+---+---+---
c | c | e | a | b
4th roots of unity {1,-1,i,-i}:
x | e | a | b | c
--+---+---+---+---
e | e | a | b | c
--+---+---+---+---
a | a | e | c | b
--+---+---+---+---
b | b | c | a | e
--+---+---+---+---
c | c | b | e | a
Modular Additive and Multiplicative Inverses
--------------------------------------------
In modular arithmetic, the modular additive and
multiplicative inverses are also defined. It is
the number a such that a + x = 0 (mod n) or ax = 0
(mod n). These inverse always exist. For example,
consider the group ℤ_{3}
+ | 0 1 2
--+------
0 | 0 1 2
1 | 1 2 0
2 | 2 0 1
1 + 2 = 0 (mod 3)
and,
x | 0 1 2
--+------
0 | 0 0 0
1 | 0 1 2
2 | 0 2 1
2 x 2 = 1 (mod 3)
The modular additive and multiplicative inverses
should not be confused with the ordinary inverses
i.e. 2 + (-2) = 0 and 2(1/2) = 1.
Subgroups
---------
(G,*) = {a,b,c,d, ...} then (H,*) = {a,b} form a subgroup.
Note: e and the inverse must be in the subgroup.
Example 1.
(ℤ,+)
Consider the even integers (2ℤ,+)
✔ Closure: a,b ∈ 2ℤ -> a + b &eisin; 2ℤ
✔ Identity: a + 0 = 0 + a = a
✔ Inverse: a^{-1} = -a
✔ Associativity: (a + b) + c = a + (b + c)
It turns out that all we need to show is closure
and the existence of inverses to show that we have
found a subgroup.
What about the odd integers (2ℤ + 1,+)
x Closure: a + b = even number
✔ Inverse: a^{-1} = -a
Example 2.
Consider rotations by 90° of a square in 2D with composition
equal to the addition of rotation angles. Therefore, G = {I, R_{90},
R_{180}, R_{270}}. This is the symmetry group of a square.
A B
------
| | {I, R_{90}, R_{180}, R_{270}}
| |
------
D C
We can represent all of the rotation operations
by:
_{ } I R_{90} R_{180} R_{270}
---------------------
I_{ } | I _{ }R_{90} _{ }R_{180} R_{270}
R_{90}_{ } | R_{90}_{ } R_{180} R_{270} I
R_{180} | R_{180} R_{270} I _{ }R_{90}
R_{270} | R_{270} I _{ }R_{90} _{ }R_{180}
Notes:
* | e
--+--- is the trivial subgroup.
e | e
The group itself is a subgroup. A subgroup that is not
the group itself is called a proper subgroup.
Group Extensions
----------------
Consider the symmetry group of the square again.
Reflection about vertical center line:
B A
------- y
| | ^ {m_{v}}
| O | |
| | -->x
-------
C D
_{ } - -
m_{v} = | -1 0 |
_{ } | 0 1 |
_{ } - -
- - - - - -
| -1 0 || x | = | -x |
| 0 1 || y | | y |
- - - - - -
Reflection about horizontal center line:
D C
-------
| | {R_{180}m_{v}}
| O |
| |
-------
A B
- - - - - - - - - -
| cosθ -sinθ || x | = | -1 0 || x | = | -x |
| sinθ cosθ || y | | 0 -1 || y | | -y |
- - - - - - - - - -
- - - - - -
| -1 0 || -x | = | x |
| 0 1 || -y | | -y |
- - - - - -
Reflection about upper-left to lower-right diagonal:
A D
-------
| | {R_{90}m_{v}}
| O |
| |
-------
B C
Remembering that a clockwise rotation of 90° corresponds
to a terminal angle of 270°, we get:
- - - - - - - - - -
| cosθ -sinθ || x | = | 0 1 || x | = | y |
| sinθ cosθ || y | | -1 0 || y | | -x |
- - - - - - - - - -
- - - - - -
| -1 0 || y | = | -y |
| 0 1 || -x | | -x |
- - - - - -
Therefore:
A B
(-1,1) (1,1)
-------
| |
| O |
| |
-------
(-1,-1) (1,-1)
D C
x -> -y
y -> -x
A: (-1,1) -> (1,-1) = C
B: (1,1) -> (-1,-1) = B
C: (1,-1) -> (-1,1) = A
D: (-1,-1) -> (1,1) = D
A D
(-1,1) (1,1)
-------
| |
| O |
| |
-------
(-1,-1) (1,-1)
B C
Reflection about lower-left to upper-right diagonal:
C B
-------
| | {R_{270}m_{v}}
| O |
| |
-------
D A
Remembering that a clockwise roation of 270° corresponds
to a terminal angle of 90°, we get:
- - - - - - - - - -
| cosθ -sinθ || x | = | 0 -1 || x | = | -y |
| sinθ cosθ || y | | 1 0 || y | | x |
- - - - - - - - - -
- - - - - -
| -1 0 || -y | = | y |
| 0 1 || x | | x |
- - - - - -
Therefore:
A B
(-1,1) (1,1)
-------
| |
| O |
| |
-------
(-1,-1) (1,-1)
D C
x -> y
y -> x
A: (-1,1) -> (1,-1) = C
B: (1,1) -> (1,1) = B
C: (1,-1) -> (-1,1) = A
D: (-1,-1) -> (-1,-1) = D
C B
(-1,1) (1,1)
------=
| |
| O |
| |
-------
(-1,-1) (1,-1)
D A