Group: A group is a non-empty set $G$ with binary operation satisfying:
Properties:
$$ ab = cb \ abb^{-1} = cbb^{-1} \ a(bb^{-1}) = c(bb^{-1}) \ ae = ce \ a = c $$
Uniqueness of inverse in a group:
Suppose $b, c$ is the inverse of $a$ in the group, since $ab = e, ac = e$, then $ab = ac$. By cancellation, $b = c$.
Shoe and socks property: $(ab)^{-1} = b^{-1}a^{-1}$
Subgroup: If $G$ is a group and $H \subseteq G$ is a subset of $G$, then $H$ is a subgroup of a group G if it is closed under the same binary operation as $G$
Cyclic subgroup: of G generated by a: Every element in $G$ is equal to $a^n$, $n \gt 1$
give an example of a group that is not cyclic: $D_4$
Order of a Group: $|G|$, The number of elements of a group
Order of an Element: $|g|$, the smallest positive integer $n$ such that $g^n = e$
One-step subgroup test: Let $G$ be a group and $H$ a nonempty subset of $G$, $ab^{-1} \in H$ when $a, b \in H$, then $H$ is a subgroup of $G$
Two-step subgroup test:
Center: $Z(G) = {a \in G | ag = ga$ \text{ for all } $g\in G}$
Show that Z(G) is a subgroup of G
Since $eg = ge = g$ for $g \in G$,
Let $a_1, a_2 \in Z(G)$, since $a_1a_2 g = a_1ga_2 = g(a_1a_2)$, $a_1a_2 \in G$
Let $a \in Z(G)$, $$ ag = ga \ a^{-1}ag = a^{-1}ga \ g = a^{-1}ga \ ga^{-1} = a^{-1}g $$ Thus, $a^{-1} \in Z(G)$
Centralizer: For $a$ in $G$, the centralizer of a in $G$, $C(a)$ is the set of all elements in $G$ that commute with $a$, $C(a) = {g \in G | ag = ga}$
Show that C(a) is a subgroup of G
Since $ea = ae$, $e \in C(a)$
Let $g_1, g_2 \in C(a)$, since $g_1g_2a = g_1ag_2 = ag_1g_2$, $g_1g_2 \in C(a)$
Let $g \in C(a)$, and $g^{-1}$ be the inverse of $g$ in $G$, $$ ag = ga \ g^{-1}agg^{-1} = g^{-1}gag^{-1} \ g^{-1}a = ag^{-1} $$
Criterion for $a^i = a^j$: If $a$ has infinite order, $a^i = a^j$ if only if $i=j$. If $a$ has finite order, then $\langle a \rangle = {e, …, a^{n-1}}$
Property of gcd: If $d = gcd(a, b)$, there is integers $t$ and $s$ such as $d = ta+sb$
Let $G$ be a finite cyclic group of order $n$, if $d = gcd(k, n)$, then $\langle a^k \rangle = \langle a^d \rangle$ and $|\langle a^k \rangle | = \frac{n}{d}$
The fundamental theorem of cyclic groups (Theorem 4.3):
Permutation: a function from $A$ to $A$ that is one-to-one and onto
Permutation group: a set of permutations of $A$ that forms a group under function composition
Symmetric group: $S_n = $ permutations of ${1, 2, …, n}$, $|S_n| = n!$
Disjoint cycles commute
multiply the following two permutations in cycle notation
Write the permutation as a product of transpositions: $(12)(23)…(n-1n) = (12)(13)…(1n)$
Order of a permutation: The order of a permutation of a finite set is the least common multiple of the lengths of the cycles
Always even or always odd theorem for permutations: If $\alpha \in S_n$, and $\alpha = t_1…t_k = s_1…s_l$, then $k$ and $l$ are both even or odd
If $A_n$ is the subset of even permutations, then $|A_n| = |B_n| = \frac{n!}{2}$, $|A_n|$ is a subgroup
{% comment %} {% endcomment %} {% comment %} {% endcomment %}