Dihedral Group D4/Matrix Representation/Formulation 2/Examples of Cosets

From ProofWiki
Jump to navigation Jump to search

Examples of Cosets of Subgroups of Dihedral Group $D_4$

Let the dihedral group $D_4$ be represented by the set of square matrices:

$D_4 = \set {\mathbf I, \mathbf A, \mathbf B, \mathbf C, \mathbf D, \mathbf E, \mathbf F, \mathbf G}$


under the operation of conventional matrix multiplication, where:

$\mathbf I = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix}

\qquad \mathbf A = \begin{bmatrix} i & 0 \\ 0 & -i \end{bmatrix} \qquad \mathbf B = \begin{bmatrix} -1 & 0 \\ 0 & -1 \end{bmatrix} \qquad \mathbf C = \begin{bmatrix} -i & 0 \\ 0 & i \end{bmatrix}$

$\mathbf D = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}

\qquad \mathbf E = \begin{bmatrix} 0 & i \\ -i & 0 \end{bmatrix} \qquad \mathbf F = \begin{bmatrix} 0 & -1 \\ -1 & 0 \end{bmatrix} \qquad \mathbf G = \begin{bmatrix} 0 & -i \\ i & 0 \end{bmatrix}$


Generated Subgroup $\gen {\mathbf A}$

Let $H \subseteq D_4$ be defined as:

$H = \gen {\mathbf A}$

where $\gen {\mathbf A}$ denotes the subgroup generated by $\mathbf A$.

From Dihedral Group D4: Examples of Generated Subgroups: $\gen {\mathbf A}$ we have:

$\gen {\mathbf A} = \set {\mathbf I, \mathbf A, \mathbf B, \mathbf C}$


Left Cosets

The left cosets of $H$ are:

\(\ds \mathbf I H\) \(=\) \(\ds \set {\mathbf I, \mathbf A, \mathbf B, \mathbf C}\)
\(\ds \) \(=\) \(\ds \mathbf A H\)
\(\ds \) \(=\) \(\ds \mathbf B H\)
\(\ds \) \(=\) \(\ds \mathbf C H\)
\(\ds \) \(=\) \(\ds H\)


\(\ds \mathbf D H\) \(=\) \(\ds \set {\mathbf D, \mathbf E, \mathbf F, \mathbf G}\)
\(\ds \) \(=\) \(\ds \mathbf E H\)
\(\ds \) \(=\) \(\ds \mathbf F H\)
\(\ds \) \(=\) \(\ds \mathbf G H\)


Right Cosets

The right cosets of $H$ are:

\(\ds H \mathbf I\) \(=\) \(\ds \set {\mathbf I, \mathbf A, \mathbf B, \mathbf C}\)
\(\ds \) \(=\) \(\ds H \mathbf A\)
\(\ds \) \(=\) \(\ds H \mathbf B\)
\(\ds \) \(=\) \(\ds H \mathbf C\)
\(\ds \) \(=\) \(\ds H\)


\(\ds H \mathbf D\) \(=\) \(\ds \set {\mathbf D, \mathbf E, \mathbf F, \mathbf G}\)
\(\ds \) \(=\) \(\ds H \mathbf E\)
\(\ds \) \(=\) \(\ds H \mathbf F\)
\(\ds \) \(=\) \(\ds H \mathbf G\)


Generated Subgroup $\gen {\mathbf B, \mathbf F}$

Let $H \subseteq D_4$ be defined as:

$H = \gen {\mathbf B, \mathbf F}$

where $\gen {\mathbf B, \mathbf F}$ denotes the subgroup generated by $\set {\mathbf B, \mathbf F}$.

From Dihedral Group D4: Examples of Generated Subgroups: $\gen {\mathbf B, \mathbf F}$ we have:

$\gen {\mathbf B, \mathbf F} = \set {\mathbf I, \mathbf B, \mathbf D, \mathbf F}$


Left Cosets

The left cosets of $H$ are:

\(\ds \mathbf I H\) \(=\) \(\ds \set {\mathbf I, \mathbf B, \mathbf D, \mathbf F}\)
\(\ds \) \(=\) \(\ds \mathbf B H\)
\(\ds \) \(=\) \(\ds \mathbf D H\)
\(\ds \) \(=\) \(\ds \mathbf F H\)
\(\ds \) \(=\) \(\ds H\)


\(\ds \mathbf A H\) \(=\) \(\ds \set {\mathbf A, \mathbf C, \mathbf E, \mathbf G}\)
\(\ds \) \(=\) \(\ds \mathbf C H\)
\(\ds \) \(=\) \(\ds \mathbf E H\)
\(\ds \) \(=\) \(\ds \mathbf G H\)


Right Cosets

The right cosets of $H$ are:

\(\ds H \mathbf I\) \(=\) \(\ds \set {\mathbf I, \mathbf B, \mathbf D, \mathbf F}\)
\(\ds \) \(=\) \(\ds H \mathbf B\)
\(\ds \) \(=\) \(\ds H \mathbf D\)
\(\ds \) \(=\) \(\ds H \mathbf F\)
\(\ds \) \(=\) \(\ds H\)


\(\ds H \mathbf A\) \(=\) \(\ds \set {\mathbf A, \mathbf C, \mathbf E, \mathbf G}\)
\(\ds \) \(=\) \(\ds H \mathbf C\)
\(\ds \) \(=\) \(\ds H \mathbf E\)
\(\ds \) \(=\) \(\ds H \mathbf G\)


Generated Subgroup $\gen {\mathbf D}$

Let $H \subseteq D_4$ be defined as:

$H = \gen {\mathbf D}$

where $\gen {\mathbf D}$ denotes the subgroup generated by $\mathbf D$.

From Dihedral Group D4: Examples of Generated Subgroups: $\gen {\mathbf D}$ we have:

$\gen {\mathbf D} = \set {\mathbf I, \mathbf D}$


Left Cosets

The left cosets of $H$ are:

\(\ds \mathbf I H\) \(=\) \(\ds \set {\mathbf I, \mathbf D}\)
\(\ds \) \(=\) \(\ds \mathbf D H\)
\(\ds \) \(=\) \(\ds H\)


\(\ds \mathbf A H\) \(=\) \(\ds \set {\mathbf A, \mathbf E}\)
\(\ds \) \(=\) \(\ds \mathbf E H\)


\(\ds \mathbf B H\) \(=\) \(\ds \set {\mathbf B, \mathbf F}\)
\(\ds \) \(=\) \(\ds \mathbf F H\)


\(\ds \mathbf C H\) \(=\) \(\ds \set {\mathbf C, \mathbf G}\)
\(\ds \) \(=\) \(\ds \mathbf G H\)


Right Cosets

The right cosets of $H$ are:

\(\ds H \mathbf I\) \(=\) \(\ds \set {\mathbf I, \mathbf D}\)
\(\ds \) \(=\) \(\ds H \mathbf D\)
\(\ds \) \(=\) \(\ds H\)


\(\ds H \mathbf A\) \(=\) \(\ds \set {\mathbf A, \mathbf G}\)
\(\ds \) \(=\) \(\ds H \mathbf G\)


\(\ds H \mathbf B\) \(=\) \(\ds \set {\mathbf B, \mathbf F}\)
\(\ds \) \(=\) \(\ds H \mathbf F\)


\(\ds H \mathbf C\) \(=\) \(\ds \set {\mathbf C, \mathbf E}\)
\(\ds \) \(=\) \(\ds H \mathbf E\)
Retrieved from "https://proofwiki.org/w/index.php?title=Dihedral_Group_D4/Matrix_Representation/Formulation_2/Examples_of_Cosets&oldid=386581"