~~~~~~ GROUPS ~~~~~~

GROUPS
i. ∗ 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜, 𝑖𝑖𝑖𝑖 𝑎𝑎 ∗ 𝑏𝑏 ∈ 𝑆𝑆 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎, 𝑏𝑏 ∈ 𝑆𝑆
Binary Operation
ii. 𝑎𝑎 ∗ 𝑏𝑏 =∗ �(𝑎𝑎, 𝑏𝑏)�
𝐿𝐿𝐿𝐿𝐿𝐿 𝑏𝑏𝑏𝑏 𝑎𝑎, 𝑏𝑏 ∈ [𝑥𝑥]𝑛𝑛 𝑎𝑎𝑎𝑎𝑎𝑎 𝑐𝑐, 𝑑𝑑 ∈ [𝑦𝑦]𝑛𝑛 . 𝐼𝐼𝐼𝐼 𝑎𝑎 ∗ 𝑐𝑐 = 𝑏𝑏 ∗ 𝑑𝑑, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒
Well-Defined
∗ 𝑖𝑖𝑖𝑖 𝑤𝑤𝑤𝑤𝑤𝑤𝑤𝑤 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑜𝑜𝑜𝑜 [ 𝑘𝑘]𝑛𝑛

(𝐺𝐺,∗) 𝑖𝑖𝑖𝑖 𝑎𝑎 𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺, 𝑖𝑖𝑖𝑖 𝑡𝑡ℎ𝑒𝑒 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑎𝑎𝑎𝑎𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠;

i. 𝑎𝑎 ∗ 𝑏𝑏 ∈ 𝐺𝐺 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎 ∈ 𝐺𝐺 𝑎𝑎𝑎𝑎𝑎𝑎 ∀𝑏𝑏 ∈ 𝐺𝐺 (𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶)

ii. (𝑎𝑎 ∗ 𝑏𝑏) ∗ 𝑐𝑐 = 𝑎𝑎 ∗ (𝑏𝑏 ∗ 𝑐𝑐) 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎, 𝑏𝑏, 𝑐𝑐 ∈ 𝐺𝐺 (𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴)
Group iii. 𝑇𝑇ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎 𝑒𝑒 ∈ 𝐺𝐺 𝑠𝑠𝑠𝑠𝑠𝑠ℎ 𝑡𝑡ℎ𝑎𝑎𝑎𝑎 𝑎𝑎 ∗ 𝑒𝑒 = 𝑒𝑒 ∗ 𝑎𝑎 = 𝑎𝑎 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎 ∈ 𝐺𝐺.
𝑇𝑇ℎ𝑒𝑒𝑒𝑒 𝑒𝑒 𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒
iv. 𝑇𝑇ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎 𝑎𝑎′ ∈ 𝐺𝐺 𝑠𝑠𝑠𝑠𝑠𝑠ℎ 𝑡𝑡ℎ𝑎𝑎𝑎𝑎 𝑎𝑎 ∗ 𝑎𝑎′ = 𝑎𝑎′ ∗ 𝑎𝑎 = 𝑒𝑒 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎 ∈ 𝐺𝐺
𝑤𝑤ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑜𝑜𝑜𝑜 𝐺𝐺.
𝑇𝑇ℎ𝑒𝑒𝑒𝑒 𝑎𝑎′ 𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑜𝑜𝑜𝑜 𝑎𝑎 (𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼 𝑜𝑜𝑜𝑜 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒)

i. 𝐴𝐴 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 ℎ𝑎𝑎𝑎𝑎 𝑎𝑎𝑎𝑎 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖

Properties
ii. 𝐼𝐼𝐼𝐼 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔, 𝑎𝑎𝑎𝑎𝑎𝑎 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 ℎ𝑎𝑎𝑎𝑎 𝑎𝑎 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖
Commutative
𝐼𝐼𝐼𝐼 𝑎𝑎 ∗ 𝑏𝑏 = 𝑏𝑏 ∗ 𝑎𝑎 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎, 𝑏𝑏 ∈ 𝐺𝐺. 𝑇𝑇ℎ𝑒𝑒𝑒𝑒 𝐺𝐺 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎
(Abelian) Groups
i. 𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍𝐍: gcd(𝑘𝑘, 𝑛𝑛) 𝑜𝑜𝑜𝑜 (𝑘𝑘, 𝑛𝑛)
Greatest Common
ii. 𝑔𝑔𝑔𝑔𝑔𝑔(𝑘𝑘, 𝑛𝑛) = 1 𝑖𝑖𝑖𝑖𝑖𝑖 𝑘𝑘 𝑎𝑎𝑎𝑎𝑎𝑎 𝑛𝑛 𝑎𝑎𝑎𝑎𝑎𝑎 𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛
Divisor
iii. [𝑘𝑘]𝑛𝑛 ∈ ℤ ℎ𝑎𝑎𝑎𝑎 𝑎𝑎𝑎𝑎 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑤𝑤𝑤𝑤𝑤𝑤 ∙𝑛𝑛 𝑖𝑖𝑖𝑖𝑖𝑖 𝑔𝑔𝑔𝑔𝑔𝑔(𝑘𝑘, 𝑛𝑛) = 1
List Common
𝑙𝑙𝑙𝑙𝑙𝑙(𝑎𝑎, 𝑏𝑏)
Multiple
The Number of 𝐼𝐼𝐼𝐼 𝑛𝑛 = 𝑝𝑝1 𝛼𝛼1 𝑝𝑝2 𝛼𝛼2 … 𝑝𝑝𝑟𝑟 𝛼𝛼𝑟𝑟 𝑤𝑤ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑝𝑝1 , 𝑝𝑝2 , … 𝑝𝑝𝑟𝑟 𝑎𝑎𝑎𝑎𝑎𝑎 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛,
Positive Divisor 𝑡𝑡ℎ𝑒𝑒𝑒𝑒; 𝑇𝑇(𝑛𝑛) = (𝛼𝛼1 + 1)(𝛼𝛼2 + 1) … (𝛼𝛼𝑟𝑟 + 1)

Residual Class ℤ𝑛𝑛 = {[0]𝑛𝑛 , [1]𝑛𝑛 , [2]𝑛𝑛 , [3]𝑛𝑛 , … , [𝑛𝑛 − 1]𝑛𝑛 }

Primitive Residual i. 𝑈𝑈(ℤ𝑛𝑛 ) = {[𝑘𝑘]𝑛𝑛 | 𝑘𝑘 ∈ ℤ, gcd(𝑘𝑘, 𝑛𝑛) = 1}

Class ii. 〈𝑈𝑈(ℤ𝑛𝑛 ), . 〉 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔
General Linear i. 𝐺𝐺𝐺𝐺(𝑛𝑛, 𝑅𝑅) = �𝐴𝐴𝑛𝑛×𝑛𝑛 | 𝐴𝐴𝑖𝑖𝑖𝑖 ∈ 𝑅𝑅, det (A) ≠ 0�
Group ii. 𝐺𝐺𝐺𝐺(𝑛𝑛, 𝑅𝑅) 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑡𝑡ℎ𝑒𝑒 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑜𝑜𝑜𝑜 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑛𝑛
i. 𝑆𝑆𝑆𝑆(𝑛𝑛, 𝑅𝑅) = �𝐴𝐴𝑛𝑛×𝑛𝑛 | 𝐴𝐴𝑖𝑖𝑖𝑖 ∈ 𝑅𝑅, det(A) = 1�
Special Linear Group
ii. 𝑆𝑆𝑆𝑆(𝑛𝑛, 𝑅𝑅) 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑡𝑡ℎ𝑒𝑒 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑜𝑜𝑜𝑜 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑛𝑛
i. 𝑂𝑂(𝑛𝑛, 𝑅𝑅)
Othogonal Group
ii.
i. 𝑆𝑆𝑋𝑋 = {𝑓𝑓(𝑥𝑥) | 𝑓𝑓 𝑖𝑖𝑖𝑖 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓, 𝑥𝑥 ∈ 𝑋𝑋}
ii. ∘: (𝑓𝑓 ∘ 𝑔𝑔)(𝑥𝑥) = 𝑓𝑓(𝑔𝑔(𝑥𝑥))
Symmetric Groups iii. (𝑆𝑆𝑋𝑋 ,∘) 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔
iv. 𝑆𝑆𝑋𝑋 𝑖𝑖𝑖𝑖 𝑛𝑛𝑛𝑛𝑛𝑛 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑓𝑓𝑓𝑓𝑓𝑓 |𝑋𝑋| > 2
v. 𝐼𝐼𝐼𝐼 |𝑋𝑋| = 𝑛𝑛, |𝑆𝑆𝑋𝑋 | = 𝑛𝑛!
 i. 𝑆𝑆ℝ2 = {𝑓𝑓(𝑥𝑥, 𝑦𝑦) ∈ ℝ2 | 𝑓𝑓(𝑅𝑅) = 𝑅𝑅 𝑤𝑤ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑅𝑅 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑠𝑠ℎ𝑎𝑎𝑎𝑎𝑎𝑎, (𝑥𝑥, 𝑦𝑦) ∈ ℝ2 }
ii. 𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅: 𝜌𝜌2𝑘𝑘𝑘𝑘 , 𝑘𝑘 = 0,1, . . 𝑛𝑛 − 1
𝑛𝑛
iii. 𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅𝑅: 𝑟𝑟1 , 𝑟𝑟2 , … , 𝑟𝑟𝑛𝑛
Dihedral Groups
iv. 𝐷𝐷2𝑛𝑛 = �𝜌𝜌0 , 𝜌𝜌2𝜋𝜋 , 𝜌𝜌4𝜋𝜋 , … , 𝜌𝜌2(𝑛𝑛−1)𝜋𝜋 , 𝑟𝑟1 , 𝑟𝑟2 , … , 𝑟𝑟𝑛𝑛 �
𝑛𝑛 𝑛𝑛 𝑛𝑛
v. 𝑠𝑠(𝐷𝐷2𝑛𝑛 ) = 𝑃𝑃𝑛𝑛 = 𝑛𝑛 + 𝑛𝑛 = 2𝑛𝑛
vi. (𝐷𝐷2𝑛𝑛 ,∘) 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑑𝑑𝑑𝑑ℎ𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔
i. 𝑇𝑇ℎ𝑒𝑒 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑜𝑜𝑜𝑜 𝐺𝐺 𝑏𝑏𝑏𝑏: 1, 0, 𝑒𝑒 𝑜𝑜𝑜𝑜 1𝐺𝐺 , 0𝐺𝐺 , 𝑒𝑒𝐺𝐺
ii. 𝑇𝑇ℎ𝑒𝑒 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑜𝑜𝑜𝑜 𝑔𝑔 ∈ 𝐺𝐺: 𝑔𝑔−1
Notations iii. 𝑎𝑎 ∗ 𝑏𝑏 𝑖𝑖𝑖𝑖 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑏𝑏𝑏𝑏: 𝑎𝑎𝑎𝑎
iv. 𝑔𝑔𝑛𝑛 = 𝑔𝑔 ∗ 𝑔𝑔 ∗ … ∗ 𝑔𝑔
v. 𝑔𝑔−𝑛𝑛 = 𝑔𝑔−1 ∗ 𝑔𝑔−1 ∗ … ∗ 𝑔𝑔−1
i. (𝑔𝑔𝑚𝑚 )𝑛𝑛 = 𝑔𝑔𝑚𝑚𝑚𝑚
ii. 𝑔𝑔𝑚𝑚 𝑔𝑔𝑛𝑛 = 𝑔𝑔𝑚𝑚+𝑛𝑛
iii. (𝑔𝑔−1 )−1 = 𝑔𝑔
iv. 𝑎𝑎𝑎𝑎 = 𝑏𝑏𝑏𝑏 ⇒ 𝑎𝑎 = 𝑏𝑏 𝑔𝑔𝑔𝑔 = 𝑔𝑔𝑔𝑔 ⇒ 𝑎𝑎 = 𝑏𝑏
Properties of Power
v. (𝑎𝑎𝑎𝑎)𝑛𝑛 ≠ 𝑎𝑎𝑛𝑛 𝑏𝑏 𝑛𝑛
vi. 𝑎𝑎𝑎𝑎 = 1𝐺𝐺 ⇔ 𝑎𝑎 = 𝑏𝑏 −1 ⇔ 𝑏𝑏 = 𝑎𝑎−1 ⇔ 𝑏𝑏𝑏𝑏 = 1𝐺𝐺
vii. (𝑎𝑎𝑎𝑎)−1 = 𝑏𝑏 −1 𝑎𝑎−1
(𝑎𝑎1 𝑎𝑎2 … 𝑎𝑎𝑘𝑘 )−1 = 𝑎𝑎𝑘𝑘 −1 … 𝑎𝑎2 −1 𝑎𝑎1 −1

ORDER
Order of Group |𝐺𝐺| = 𝑠𝑠(𝐺𝐺)

Finite Group 𝐼𝐼𝐼𝐼 |𝐺𝐺| 𝑖𝑖𝑖𝑖 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓, 𝑡𝑡ℎ𝑒𝑒 𝑤𝑤𝑤𝑤 𝑠𝑠𝑠𝑠𝑠𝑠 𝑡𝑡ℎ𝑎𝑎𝑎𝑎 𝐺𝐺 𝑖𝑖𝑖𝑖 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓
i. 𝐼𝐼𝐼𝐼 𝑡𝑡ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑚𝑚 𝑠𝑠𝑠𝑠𝑠𝑠ℎ 𝑡𝑡ℎ𝑎𝑎𝑎𝑎 𝑔𝑔𝑚𝑚 = 1𝐺𝐺 ,
𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑡𝑡ℎ𝑒𝑒 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑡𝑡ℎ𝑒𝑒 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜 𝑔𝑔:
Order of Elements 𝑜𝑜(𝑔𝑔) = |𝑔𝑔| = 𝑚𝑚
ii. 𝐼𝐼𝐼𝐼 𝑡𝑡ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑖𝑖𝑖𝑖 𝑛𝑛𝑛𝑛 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑚𝑚, 𝑡𝑡ℎ𝑒𝑒 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜 𝑔𝑔 𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖:
𝑜𝑜(𝑔𝑔) = ∞
i. 𝐼𝐼𝐼𝐼 𝑔𝑔𝑚𝑚 = 1𝐺𝐺 𝑓𝑓𝑓𝑓𝑓𝑓 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑚𝑚, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑜𝑜(𝑔𝑔) 𝑖𝑖𝑖𝑖 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓.
ii. 𝐼𝐼𝐼𝐼 𝑜𝑜(𝑔𝑔) = 𝑛𝑛, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑔𝑔0 , 𝑔𝑔1 , 𝑔𝑔2 , … , 𝑔𝑔𝑛𝑛−1 𝑎𝑎𝑎𝑎𝑎𝑎 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑
iii. 𝐼𝐼𝐼𝐼 𝑜𝑜(𝑔𝑔) = ∞, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒
Properties … , 𝑔𝑔−2 , 𝑔𝑔−1 , 𝑔𝑔0 , 𝑔𝑔1 , 𝑔𝑔2 , … 𝑎𝑎𝑎𝑎𝑎𝑎 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑
iv. 𝐼𝐼𝐼𝐼 |𝐺𝐺| 𝑖𝑖𝑖𝑖 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓, 𝑡𝑡ℎ𝑒𝑒 𝑤𝑤𝑤𝑤 𝑠𝑠𝑠𝑠𝑠𝑠 𝑡𝑡ℎ𝑎𝑎𝑎𝑎 𝐺𝐺 𝑖𝑖𝑖𝑖 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓
v. 𝐼𝐼𝐼𝐼 𝑔𝑔𝑘𝑘 = 1𝐺𝐺 𝑓𝑓𝑓𝑓𝑓𝑓 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑘𝑘 ≠ 0, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑜𝑜(𝑔𝑔)� 𝑘𝑘
vi. 𝐼𝐼𝐼𝐼 𝑔𝑔𝑘𝑘 = 𝑔𝑔𝑙𝑙 , 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑜𝑜(𝑔𝑔)� 𝑘𝑘 − 𝑙𝑙
 vii. 𝐼𝐼𝐼𝐼 𝑜𝑜(𝑔𝑔) = ∞ 𝑎𝑎𝑎𝑎𝑎𝑎 𝑔𝑔𝑘𝑘 = 1𝐺𝐺 , 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑘𝑘 = 0
𝑛𝑛
viii. 𝑜𝑜(𝑔𝑔𝑘𝑘 ) =
gcd(𝑘𝑘,𝑛𝑛)

ix. 𝐹𝐹𝐹𝐹𝐹𝐹 𝑎𝑎𝑎𝑎𝑎𝑎 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑘𝑘, 𝑡𝑡ℎ𝑒𝑒 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜 [𝑘𝑘]𝑛𝑛 𝑖𝑖𝑖𝑖 𝑡𝑡ℎ𝑒𝑒 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 (ℤ𝑛𝑛 , +𝑛𝑛 )
𝑛𝑛
𝑖𝑖𝑖𝑖 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑏𝑏𝑏𝑏 𝑜𝑜([𝑘𝑘]𝑛𝑛 ) =
gcd(𝑘𝑘, 𝑛𝑛)
x. 𝑜𝑜(𝑎𝑎) = 𝑜𝑜(𝑎𝑎−1 )
xi. 𝑜𝑜(𝑥𝑥𝑥𝑥𝑥𝑥 −1 ) = 𝑜𝑜(𝑎𝑎)
xii. 𝑜𝑜(𝑎𝑎𝑎𝑎) = 𝑜𝑜(𝑏𝑏𝑏𝑏)
xiii. 𝐼𝐼𝐼𝐼 𝑔𝑔2 = 1𝐺𝐺 , 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝐺𝐺 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎.
Well Ordering
𝐴𝐴 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 ℎ𝑎𝑎𝑎𝑎 𝑡𝑡ℎ𝑒𝑒 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒
Principle
𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑎𝑎 𝑎𝑎𝑎𝑎𝑎𝑎 𝑏𝑏 𝑤𝑤𝑤𝑤𝑤𝑤ℎ 𝑏𝑏 ≠ 0, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑎𝑎𝑎𝑎𝑎𝑎 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑞𝑞 𝑎𝑎𝑎𝑎𝑎𝑎 𝑟𝑟
Division Algorithm
𝑠𝑠𝑠𝑠𝑠𝑠ℎ 𝑡𝑡ℎ𝑎𝑎𝑎𝑎 𝑎𝑎 = 𝑏𝑏𝑏𝑏 + 𝑟𝑟 𝑤𝑤𝑤𝑤𝑤𝑤ℎ 0 ≤ 𝑟𝑟 ≤ |𝑏𝑏|

Euclidean Algorithm

i. 𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑎𝑎 𝑎𝑎𝑎𝑎𝑎𝑎 𝑏𝑏 𝑤𝑤ℎ𝑖𝑖𝑖𝑖ℎ 𝑎𝑎𝑎𝑎𝑎𝑎 𝑛𝑛𝑛𝑛𝑛𝑛 𝑏𝑏𝑏𝑏𝑏𝑏ℎ 𝑧𝑧𝑧𝑧𝑧𝑧𝑧𝑧, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑎𝑎𝑎𝑎𝑎𝑎 𝑥𝑥, 𝑦𝑦 ∈
ℤ 𝑠𝑠𝑠𝑠𝑠𝑠ℎ 𝑡𝑡ℎ𝑎𝑎𝑎𝑎 gcd(𝑎𝑎, 𝑏𝑏) = 𝑎𝑎𝑎𝑎 + 𝑏𝑏𝑏𝑏
ii. gcd(𝑎𝑎, 𝑏𝑏) = 1 ⟺ 𝑎𝑎𝑎𝑎 + 𝑏𝑏𝑏𝑏 = 1
iii. gcd(𝑎𝑎, 𝑏𝑏) = 𝑑𝑑 ⇒ 𝑎𝑎𝑎𝑎 + 𝑏𝑏𝑏𝑏 = 𝑑𝑑
𝑎𝑎 𝑏𝑏
iv. gcd(𝑎𝑎, 𝑏𝑏) = 𝑑𝑑 ⇒ gcd � , � = 1
𝑑𝑑 𝑑𝑑
 SUBGROUPS
Definition 𝐼𝐼𝐼𝐼 ∅ ≠ 𝐻𝐻 ⊆ 𝐺𝐺 𝑎𝑎𝑎𝑎𝑎𝑎 (𝐺𝐺,∗) 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 (𝐻𝐻,∗) 𝑖𝑖𝑖𝑖 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 (𝐺𝐺,∗)
Notation 𝐻𝐻 ≤ 𝐺𝐺
(𝐻𝐻,∗) 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠, 𝑖𝑖𝑖𝑖 𝑡𝑡ℎ𝑒𝑒 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑎𝑎𝑎𝑎𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠;
i. ∅ ≠ 𝐻𝐻 ⊆ 𝐺𝐺
ii. 𝑎𝑎𝑎𝑎 ∈ 𝐻𝐻 (𝑎𝑎 ∗ 𝑏𝑏 ∈ 𝐻𝐻) 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎, 𝑏𝑏 ∈ 𝐻𝐻
Theorem iii. 𝑎𝑎−1 ∈ 𝐻𝐻 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎 ∈ 𝐻𝐻

𝑜𝑜𝑜𝑜 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒, 𝑡𝑡ℎ𝑒𝑒 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑎𝑎𝑎𝑎𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠;

i. ∅ ≠ 𝐻𝐻 ⊆ 𝐺𝐺
ii. 𝑎𝑎𝑏𝑏 −1 ∈ 𝐻𝐻 (𝑎𝑎 ∗ 𝑏𝑏 −1 ∈ 𝐻𝐻) 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎, 𝑏𝑏 ∈ 𝐻𝐻
(𝐻𝐻 ∗) 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝑎𝑎 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑜𝑜𝑜𝑜 𝐺𝐺,
Subgroup of Finite 𝑖𝑖𝑖𝑖 𝑡𝑡ℎ𝑒𝑒 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑎𝑎𝑎𝑎𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠;
Group i. ∅ ≠ 𝐻𝐻 ⊆ 𝐺𝐺
ii. 𝑎𝑎𝑎𝑎 ∈ 𝐻𝐻 (𝑎𝑎 ∗ 𝑏𝑏 ∈ 𝐻𝐻) 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑎𝑎, 𝑏𝑏 ∈ 𝐻𝐻

Trivial Group {1𝐺𝐺 } 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇 𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺. 𝐼𝐼𝐼𝐼 𝑖𝑖𝑖𝑖 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺
{𝑔𝑔𝑛𝑛 | 𝑛𝑛 ∈ ℤ} =< 𝑔𝑔 > 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺 𝑓𝑓𝑓𝑓𝑓𝑓 𝑔𝑔 ∈ 𝐺𝐺. < 𝑔𝑔 >
Cyclic Subgroup
𝑖𝑖𝑖𝑖 𝑡𝑡ℎ𝑒𝑒 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑔𝑔
𝐻𝐻 ∪ 𝐾𝐾 ≤ 𝐺𝐺 ⟺ 𝐻𝐻 ⊆ 𝐾𝐾 𝑜𝑜𝑜𝑜 𝐾𝐾 ⊆ 𝐻𝐻
𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼 𝑜𝑜𝑜𝑜 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠

CYCLIC GROUPS
𝐼𝐼𝐼𝐼 𝐻𝐻 = {𝑥𝑥 𝑛𝑛 | 𝑛𝑛 ∈ ℤ}, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑥𝑥 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 generator𝑜𝑜𝑜𝑜 𝐻𝐻.
Generator (Üreteç)
𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵𝑵: < 𝑥𝑥 > = {𝑥𝑥 𝑛𝑛 | 𝑛𝑛 ∈ ℤ} , 𝐻𝐻 = < 𝑥𝑥 >
Cyclic Group
𝐼𝐼𝐼𝐼 𝐺𝐺 = {𝑥𝑥 𝑛𝑛 | 𝑛𝑛 ∈ ℤ}, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝐺𝐺 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 “𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶 𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺”.
(Devirli Grup)
i. 𝐼𝐼𝐼𝐼 𝐺𝐺 = < 𝑥𝑥 >, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑜𝑜(𝑥𝑥) = |𝐺𝐺|
(𝑌𝑌𝑌𝑌𝑌𝑌𝑌𝑌 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑏𝑏𝑏𝑏𝑏𝑏 (𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠) 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 ü𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 𝑒𝑒ş𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖)
ii. 𝐴𝐴𝐴𝐴𝐴𝐴 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝑎𝑎 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑎𝑎𝑎𝑎𝑎𝑎 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐.
iii. 𝐴𝐴𝐴𝐴𝐴𝐴 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝑎𝑎 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆 𝒇𝒇𝒇𝒇𝒇𝒇 𝒕𝒕𝒕𝒕𝒕𝒕𝒕𝒕𝒕𝒕𝒕𝒕𝒕𝒕 𝒈𝒈𝒈𝒈𝒈𝒈𝒈𝒈𝒈𝒈
𝑎𝑎𝑎𝑎𝑎𝑎 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖.
Theorems iii. 𝐴𝐴𝐴𝐴𝐴𝐴 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑔𝑔𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐.
iv. 𝐴𝐴𝐴𝐴𝐴𝐴 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎.
v. 𝑜𝑜(𝑔𝑔) = 𝑛𝑛, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 < 𝑔𝑔 > = { 𝑔𝑔0 , 𝑔𝑔1 , 𝑔𝑔2 , … , 𝑔𝑔𝑛𝑛−1 }
vi. 𝑜𝑜(𝑔𝑔) = ∞, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 < 𝑔𝑔 > = {… , 𝑔𝑔−2 , 𝑔𝑔−1 , 𝑔𝑔0 , 𝑔𝑔1 , 𝑔𝑔2 , … }
vii. ℤ𝑛𝑛 = < [𝑘𝑘]𝑛𝑛 >, gcd(𝑘𝑘, 𝑛𝑛) = 1
viii. 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 𝑜𝑜𝑜𝑜 (ℤ, +) 𝑎𝑎𝑎𝑎𝑎𝑎 𝑛𝑛ℤ = {𝑛𝑛𝑛𝑛 |𝑘𝑘 ∈ ℤ} 𝑤𝑤ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑛𝑛 > 0
ix. 𝐴𝐴 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑛𝑛 ℎ𝑎𝑎𝑎𝑎 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑇𝑇(𝑛𝑛) 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠
𝐿𝐿𝐿𝐿𝐿𝐿 𝐺𝐺 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑛𝑛. 𝐹𝐹𝐹𝐹𝐹𝐹 𝑎𝑎𝑎𝑎𝑎𝑎 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑑𝑑 𝑜𝑜𝑜𝑜 𝑛𝑛,
𝐺𝐺 ℎ𝑎𝑎𝑎𝑎 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑜𝑜𝑜𝑜𝑜𝑜 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑑𝑑. 𝑀𝑀𝑀𝑀𝑀𝑀𝑀𝑀 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝, 𝑖𝑖𝑖𝑖 𝐺𝐺 = < 𝑔𝑔 >
𝑛𝑛
𝑎𝑎𝑎𝑎𝑎𝑎 𝑑𝑑|𝑛𝑛, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 < 𝑔𝑔𝑑𝑑 > 𝑖𝑖𝑖𝑖 𝑡𝑡ℎ𝑒𝑒 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑑𝑑
Euler Function 𝜑𝜑(𝑝𝑝𝑘𝑘 ) = 𝑝𝑝𝑘𝑘−1 (𝑝𝑝 − 1) 𝑎𝑎𝑎𝑎𝑎𝑎 𝜑𝜑(𝑝𝑝) = 𝑝𝑝 − 1
 COSETS AND LAGRANGE THEOREM
𝐿𝐿𝐿𝐿𝐿𝐿 𝐺𝐺 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔, 𝐻𝐻 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺, 𝑎𝑎𝑎𝑎𝑎𝑎 𝑎𝑎 ∈ 𝐺𝐺.
𝑊𝑊𝑊𝑊 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑎𝑎𝑎𝑎 ≔ {𝑎𝑎ℎ |ℎ ∈ 𝐻𝐻}. 𝑇𝑇ℎ𝑒𝑒 𝑠𝑠𝑠𝑠𝑠𝑠 𝑎𝑎𝑎𝑎 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑡𝑡ℎ𝑒𝑒 (𝒍𝒍𝒍𝒍𝒍𝒍𝒍𝒍) 𝒄𝒄𝒄𝒄𝒄𝒄𝒄𝒄𝒄𝒄
Definition 𝑜𝑜𝑜𝑜 𝐻𝐻 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑎𝑎 (𝑤𝑤𝑤𝑤𝑤𝑤ℎ 𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑎𝑎)

𝑹𝑹𝑹𝑹𝒈𝒈𝒉𝒉𝒉𝒉 𝒄𝒄𝒄𝒄𝒄𝒄𝒄𝒄𝒄𝒄 𝒘𝒘𝒘𝒘𝒘𝒘𝒘𝒘 𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓𝒓 𝒂𝒂: 𝐻𝐻𝐻𝐻 ≔ {ℎ𝑎𝑎 |ℎ ∈ 𝐻𝐻}

Cyclic Group
𝐼𝐼𝐼𝐼 𝐺𝐺 = {𝑥𝑥 𝑛𝑛 | 𝑛𝑛 ∈ ℤ}, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝐺𝐺 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 “𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶 𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺”.
(Devirli Grup)
𝐿𝐿𝐿𝐿𝐿𝐿 𝐺𝐺 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔, 𝐻𝐻 ≤ 𝐺𝐺 𝑎𝑎𝑎𝑎𝑎𝑎 𝑎𝑎, 𝑏𝑏 ∈ 𝐺𝐺. 𝑇𝑇ℎ𝑒𝑒𝑒𝑒;
i. 𝑎𝑎 ∈ 𝑎𝑎𝑎𝑎
Properties ii. 𝑏𝑏 ∈ 𝑎𝑎𝑎𝑎 ⟺ 𝑎𝑎𝑎𝑎 = 𝑏𝑏𝑏𝑏
iii. 𝑎𝑎𝑎𝑎 = 𝑏𝑏𝑏𝑏 ⟺ 𝑎𝑎−1 𝑏𝑏, 𝑏𝑏 −1 𝑎𝑎 ∈ 𝐻𝐻 ⟺ 𝑎𝑎 ∈ 𝑏𝑏𝑏𝑏, 𝑏𝑏 ∈ 𝑎𝑎𝑎𝑎
iv. 𝐴𝐴𝐴𝐴𝐴𝐴 𝑡𝑡𝑡𝑡𝑡𝑡 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑜𝑜𝑜𝑜 𝐻𝐻 𝑎𝑎𝑎𝑎𝑎𝑎 𝑒𝑒𝑒𝑒𝑒𝑒ℎ𝑒𝑒𝑒𝑒 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑜𝑜𝑜𝑜 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒. 𝑇𝑇ℎ𝑎𝑎𝑎𝑎 𝑖𝑖𝑖𝑖,
𝑎𝑎𝑎𝑎 ∩ 𝑏𝑏𝑏𝑏 = ∅ 𝑜𝑜𝑜𝑜 𝑎𝑎𝑎𝑎 = 𝑏𝑏𝑏𝑏. (𝑎𝑎𝑎𝑎 ≠ 𝑏𝑏𝑏𝑏 ⟺ 𝑎𝑎𝑎𝑎 ∩ 𝑏𝑏𝑏𝑏 = ∅ )
i. 𝐼𝐼𝐼𝐼 𝐴𝐴 ∩ 𝐵𝐵 = ∅, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝐴𝐴 ⊎ 𝐵𝐵 = 𝐴𝐴 ∪ 𝐵𝐵
Disjoint Union ii. 𝐼𝐼𝐼𝐼 𝐴𝐴 ∩ 𝐵𝐵 ≠ ∅, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝐴𝐴 𝑎𝑎𝑎𝑎𝑎𝑎 𝐵𝐵 𝑎𝑎𝑎𝑎𝑎𝑎 𝑛𝑛𝑛𝑛𝑛𝑛 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑎𝑎𝑎𝑎𝑎𝑎
𝐴𝐴 ⊎ 𝐵𝐵 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑛𝑛𝑛𝑛𝑛𝑛 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒
i. 𝐿𝐿𝐿𝐿𝐿𝐿 𝐺𝐺 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑎𝑎𝑎𝑎𝑎𝑎 𝐻𝐻 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺. 𝑇𝑇ℎ𝑒𝑒𝑒𝑒, 𝐺𝐺 𝑖𝑖𝑖𝑖 𝑡𝑡ℎ𝑒𝑒 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑
Properties of 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 𝑜𝑜𝑜𝑜 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑜𝑜𝑜𝑜 𝐻𝐻. 𝐺𝐺 = 𝐻𝐻⨄𝑔𝑔1 𝐻𝐻⨄𝑔𝑔2 𝐻𝐻⨄ … = � 𝑔𝑔𝑔𝑔 = � 𝑔𝑔𝑔𝑔
Disjoint Union 𝑔𝑔∈𝐺𝐺 𝑔𝑔𝑔𝑔∈𝐺𝐺/𝐻𝐻
ii. |𝑎𝑎𝑎𝑎| = |𝐻𝐻|

Sets of Cosets 𝐺𝐺� : = {𝑔𝑔𝑔𝑔 |𝑔𝑔 ∈ 𝐺𝐺}

𝐻𝐻
Index �𝐺𝐺�𝐻𝐻 � 𝑜𝑜𝑜𝑜 |𝐺𝐺: 𝐻𝐻| 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑡𝑡ℎ𝑒𝑒 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑜𝑜𝑜𝑜 𝐻𝐻 𝑖𝑖𝑖𝑖 𝐺𝐺
Lagrange’s
|𝐺𝐺| = |𝐺𝐺: 𝐻𝐻| . |𝐻𝐻|
Theorem
𝐿𝐿𝐿𝐿𝐿𝐿 (𝐴𝐴,∗) 𝑎𝑎𝑎𝑎𝑎𝑎 (𝐵𝐵,⊡) 𝑏𝑏𝑏𝑏 𝑡𝑡𝑡𝑡𝑡𝑡 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔. 𝑇𝑇ℎ𝑒𝑒𝑒𝑒 𝑡𝑡ℎ𝑒𝑒 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝
Componentwise
𝐴𝐴 × 𝐵𝐵 ≔ {(𝑎𝑎, 𝑏𝑏)|𝑎𝑎 ∈ 𝐴𝐴, 𝑏𝑏 ∈ 𝐵𝐵}
Operation and
𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑤𝑤𝑤𝑤𝑤𝑤 “𝑡𝑡ℎ𝑒𝑒 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜”
(𝑎𝑎, 𝑏𝑏)(𝑐𝑐, 𝑑𝑑) = (𝑎𝑎 ∗ 𝑐𝑐, 𝑏𝑏 ⊡ 𝑑𝑑)
Direct Product
of Groups
𝑇𝑇ℎ𝑒𝑒 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝐴𝐴 × 𝐵𝐵 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑡𝑡ℎ𝑒𝑒 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜 𝑡𝑡ℎ𝑒𝑒 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝐴𝐴 𝑎𝑎𝑎𝑎𝑎𝑎 𝐵𝐵
Corollaries of i. 𝐼𝐼𝐼𝐼 𝐺𝐺 𝑖𝑖𝑖𝑖 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑜𝑜(𝑔𝑔)|𝐺𝐺 𝑎𝑎𝑎𝑎𝑎𝑎 𝑔𝑔|𝐺𝐺| = 1𝐺𝐺
the Lagrange’s ii. 𝐴𝐴𝐴𝐴𝐴𝐴 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑜𝑜𝑜𝑜 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐
Theorem iii. 𝐼𝐼𝐼𝐼 𝐻𝐻 ≤ 𝐾𝐾 ≤ 𝐺𝐺, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 |𝐺𝐺: 𝐻𝐻| = |𝐺𝐺: 𝐾𝐾|. |𝐾𝐾: 𝐻𝐻|

WORDS

Subgroup of G
Generated

Properties

Set Product

𝐿𝐿𝐿𝐿𝐿𝐿 𝐺𝐺 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔, 𝑎𝑎𝑎𝑎𝑎𝑎 𝐻𝐻 𝑎𝑎𝑎𝑎𝑎𝑎 𝐾𝐾 𝑏𝑏𝑏𝑏 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺. 𝑇𝑇ℎ𝑒𝑒𝑒𝑒;
Theorem
𝐻𝐻𝐻𝐻 ≤ 𝐺𝐺 ⟺ 𝐻𝐻𝐻𝐻 = 𝐾𝐾𝐾𝐾
 𝐿𝐿𝐿𝐿𝐿𝐿 𝐺𝐺 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔, 𝑎𝑎𝑎𝑎𝑎𝑎 𝐻𝐻 𝑎𝑎𝑎𝑎𝑎𝑎 𝐾𝐾 𝑏𝑏𝑏𝑏 𝒇𝒇𝒇𝒇𝒇𝒇𝒇𝒇𝒇𝒇𝒇𝒇 𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔𝒔 𝑜𝑜𝑜𝑜 𝐺𝐺. 𝑇𝑇ℎ𝑒𝑒𝑒𝑒;
Theorem |𝐻𝐻|. |𝐾𝐾|
𝐻𝐻𝐻𝐻 = 𝐾𝐾𝐾𝐾 =
|𝐻𝐻 ∩ 𝐾𝐾|

NORMAL SUBGROUPS AND QUOTIENT GROUP

Remark |𝑔𝑔𝑔𝑔𝑔𝑔−1 | = |𝑔𝑔𝑔𝑔| = |𝐴𝐴𝐴𝐴| = |𝐴𝐴|
𝐿𝐿𝐿𝐿𝐿𝐿 𝐺𝐺 𝑏𝑏𝑏𝑏 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔, 𝑎𝑎𝑎𝑎𝑎𝑎 𝑁𝑁 𝑏𝑏𝑏𝑏 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺. 𝐼𝐼𝐼𝐼 𝑔𝑔𝑔𝑔 = 𝑁𝑁𝑁𝑁 𝑓𝑓𝑓𝑓𝑓𝑓 𝑔𝑔 ∈ 𝐺𝐺,
Definition
𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑁𝑁 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑜𝑜𝑜𝑜 𝐺𝐺
Notation 𝑁𝑁 ⊲ 𝐺𝐺
𝑁𝑁 ⊲ 𝐺𝐺, 𝑖𝑖𝑖𝑖 𝑡𝑡ℎ𝑒𝑒 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑎𝑎𝑟𝑟𝑟𝑟 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠;
Theorem i. 𝑁𝑁 ≤ 𝐺𝐺
ii. 𝑔𝑔𝑔𝑔𝑔𝑔−1 ∈ 𝑁𝑁 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑛𝑛 ∈ 𝑁𝑁 𝑎𝑎𝑎𝑎𝑎𝑎 ∀𝑔𝑔 ∈ 𝐺𝐺
i. 𝑇𝑇ℎ𝑒𝑒 𝑠𝑠𝑠𝑠𝑠𝑠 𝐺𝐺�𝑁𝑁 ≔ {𝑔𝑔𝑔𝑔 |𝑔𝑔 ∈ 𝐺𝐺} 𝑜𝑜𝑜𝑜 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑜𝑜𝑜𝑜 𝑁𝑁 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 𝑡𝑡ℎ𝑒𝑒
𝑠𝑠𝑠𝑠𝑠𝑠 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝
Equivalent ii. 𝑇𝑇ℎ𝑒𝑒 𝑠𝑠𝑠𝑠𝑠𝑠 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑜𝑜𝑜𝑜 𝑡𝑡𝑡𝑡𝑡𝑡 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑜𝑜𝑜𝑜 𝑁𝑁 𝑖𝑖𝑖𝑖 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑎𝑎 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑜𝑜𝑜𝑜 𝑁𝑁
Conditions iii. 𝑔𝑔𝑔𝑔𝑔𝑔−1 = 𝑁𝑁 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑔𝑔 ∈ 𝐺𝐺
iv. 𝑔𝑔𝑔𝑔 = 𝑁𝑁𝑁𝑁 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑔𝑔 ∈ 𝐺𝐺
v. (𝑥𝑥𝑥𝑥)(𝑦𝑦𝑦𝑦) = 𝑥𝑥𝑥𝑥𝑥𝑥 𝑓𝑓𝑓𝑓𝑓𝑓 ∀𝑥𝑥, 𝑦𝑦 ∈ 𝐺𝐺
Properties

𝐺𝐺� ≔ {𝑔𝑔𝑔𝑔 |𝑔𝑔 ∈ 𝐺𝐺} 𝑤𝑤ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑁𝑁 ⊲ 𝐺𝐺. (𝐺𝐺� ,∙) 𝑖𝑖𝑖𝑖 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 𝑠𝑠𝑠𝑠𝑠𝑠ℎ 𝑡𝑡ℎ𝑎𝑎𝑎𝑎:
Quotient Group 𝑁𝑁 𝑁𝑁
(𝑔𝑔𝑔𝑔). (ℎ𝑁𝑁) = 𝑁𝑁(𝑔𝑔ℎ) 𝑓𝑓𝑓𝑓𝑓𝑓 𝑔𝑔, ℎ ∈ 𝐺𝐺
Properties of i. 𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒: 𝑁𝑁 = 1𝐺𝐺 𝑁𝑁
Quotient Group ii. 𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒: 𝑔𝑔−1 𝑁𝑁

GROUP HOMOMORPHISM
𝐿𝐿𝐿𝐿𝐿𝐿 (𝐺𝐺,∗) 𝑎𝑎𝑎𝑎𝑎𝑎 (𝐻𝐻,⊡) 𝑏𝑏𝑏𝑏 𝑡𝑡𝑡𝑡𝑡𝑡 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔. 𝐵𝐵𝐵𝐵 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 ℎ𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜ℎ𝑖𝑖𝑖𝑖𝑖𝑖
Definition 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝐺𝐺 𝑡𝑡𝑡𝑡 𝐻𝐻 𝑤𝑤𝑤𝑤 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 𝑎𝑎 𝑚𝑚𝑚𝑚𝑚𝑚 𝜙𝜙: 𝐺𝐺 → 𝐻𝐻 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠:
𝜙𝜙(𝑎𝑎 ∗ 𝑏𝑏) = 𝜙𝜙(𝑎𝑎) ⊡ 𝜙𝜙(𝑏𝑏)
Identity Map 𝜙𝜙(𝑔𝑔) = 𝑔𝑔 (𝜙𝜙: 𝐺𝐺 → 𝐺𝐺)

Trivial Map 𝜙𝜙(𝑔𝑔) = 1𝐻𝐻 (𝜙𝜙: 𝐺𝐺 → 𝐻𝐻)

Isomorphism 𝐴𝐴 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 ℎ𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜ℎ𝑖𝑖𝑖𝑖𝑖𝑖 𝑤𝑤ℎ𝑖𝑖𝑖𝑖ℎ 𝑖𝑖𝑖𝑖 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖ℎ𝑖𝑖𝑖𝑖𝑖𝑖

 i. 𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶𝐶 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 ℎ𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜ℎ𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 ℎ𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜ℎ𝑖𝑖𝑖𝑖𝑖𝑖
ii. 𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼𝐼 𝑜𝑜𝑜𝑜 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 ℎ𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜ℎ𝑖𝑖𝑖𝑖𝑖𝑖 𝑖𝑖𝑖𝑖 𝑎𝑎 𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔𝑔 ℎ𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜ℎ𝑖𝑖𝑖𝑖𝑖𝑖
iii. 𝜙𝜙(1𝐺𝐺 ) = 1𝐻𝐻
iv. 𝜙𝜙(𝑔𝑔−1 ) = 𝜙𝜙 −1 (𝑔𝑔) 𝑓𝑓𝑓𝑓𝑓𝑓 𝑔𝑔 ∈ 𝐺𝐺
v. 𝜙𝜙(𝑔𝑔𝑛𝑛 ) = 𝜙𝜙 𝑛𝑛 (𝑔𝑔) 𝑓𝑓𝑓𝑓𝑓𝑓 𝑔𝑔 ∈ 𝐺𝐺 𝑎𝑎𝑎𝑎𝑎𝑎 𝑘𝑘 ∈ ℤ
Properties vi. 𝐹𝐹𝐹𝐹𝐹𝐹 𝑎𝑎𝑎𝑎𝑎𝑎 𝑔𝑔 ∈ 𝐺𝐺, 𝑖𝑖𝑖𝑖 𝑜𝑜(𝑔𝑔)𝑖𝑖𝑖𝑖 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑜𝑜�𝜙𝜙(𝑔𝑔)� 𝑖𝑖𝑖𝑖 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑎𝑎𝑎𝑎𝑎𝑎
𝑜𝑜�𝜙𝜙(𝑔𝑔)� | 0(𝑔𝑔)
vii. 𝐾𝐾 ≤ 𝐺𝐺 ⟹ 𝜙𝜙(𝐾𝐾) ≤ 𝐻𝐻 (𝜙𝜙: 𝐺𝐺 → 𝐻𝐻)
−1 (𝑈𝑈)
viii. 𝑈𝑈 ≤ 𝐺𝐺 ⟹ 𝜙𝜙 ≤ 𝐺𝐺 (𝜙𝜙: 𝐺𝐺 → 𝐻𝐻)
ix. 𝑈𝑈 ⊲ 𝐺𝐺 ⟹ 𝜙𝜙 −1 (𝑈𝑈) ⊲ 𝐺𝐺 (𝜙𝜙: 𝐺𝐺 → 𝐻𝐻)
x. 𝐾𝐾 ⊲ 𝐺𝐺 𝑎𝑎𝑎𝑎𝑎𝑎 𝜙𝜙 𝑖𝑖𝑖𝑖 𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 ⟹ 𝜙𝜙(𝐾𝐾) ⊲ 𝐻𝐻 (𝜙𝜙: 𝐺𝐺 → 𝐻𝐻)

Isomorphic
Groups

Kernel 𝐾𝐾𝐾𝐾𝐾𝐾 𝜙𝜙 ≔ {𝑔𝑔 ∈ 𝐺𝐺 |𝜙𝜙(𝑔𝑔) = 1𝐻𝐻 } = 𝜙𝜙 −1 ({1𝐻𝐻 })

i. 𝐾𝐾𝐾𝐾𝐾𝐾 𝜙𝜙 ≠ ∅, 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 1𝐺𝐺 ∈ 𝐾𝐾𝐾𝐾𝐾𝐾 𝜙𝜙
Properties of
ii. 𝐾𝐾𝐾𝐾𝐾𝐾 𝜙𝜙 ⊲ 𝐺𝐺
Kernel
iii. 𝜙𝜙 𝑖𝑖𝑖𝑖 1 − 1 (𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖) ⟺ 𝐾𝐾𝐾𝐾𝐾𝐾 𝜙𝜙 = {1𝐺𝐺 }

Chinese
Remainder
Theorem
First
Isomorphism
Theorem

Second
Isomorphism
Theorem

Third
Isomorphism
Theorem
Properties
Invariant
Under
Isomorphism

SYMMETRIC GROUPS
Definition 𝑆𝑆𝑋𝑋 = {𝑓𝑓: 𝑋𝑋 → 𝑋𝑋 |𝑓𝑓 𝑖𝑖𝑖𝑖 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏}, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 (𝑆𝑆𝑋𝑋 ,∘) 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑎𝑎 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺

Order |𝑆𝑆𝑋𝑋 | = 𝑛𝑛! 𝑤𝑤ℎ𝑒𝑒𝑒𝑒𝑒𝑒 𝑛𝑛 = |𝑋𝑋|

Cayley’s
Theorem
Properties |𝑋𝑋| = |𝑌𝑌|, 𝑡𝑡ℎ𝑒𝑒𝑒𝑒 𝑆𝑆𝑋𝑋 ≅ 𝑆𝑆𝑌𝑌

Notations

k-cycle
Transpositions

𝑖𝑖𝑖𝑖 𝑒𝑒𝑒𝑒𝑒𝑒ℎ𝑒𝑒𝑒𝑒 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑜𝑜𝑜𝑜𝑜𝑜 𝑜𝑜𝑜𝑜 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒

Alterneting
𝐴𝐴𝑛𝑛 𝑖𝑖𝑖𝑖 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑡𝑡ℎ𝑒𝑒 𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴𝐴 𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺𝐺 𝑜𝑜𝑜𝑜 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑛𝑛
Group