301.7A Cosets and Lagrange's Theorem: Introduction

1. Formula
   Observation

   Left box states "Let G be a finite group".

2. Audio
   Observation

   The lecturer discusses the order of the group in examples such as a cyclic group of order 16 and $Z_12$.

G

A finite group; in the worked example it is the additive cyclic group $Z_12$.

finite groups

1. Formula
   Observation

   Left box states "and $H < G$ be a subgroup".

2. Formula
   Observation

   Example writes "subgroup H = <3> = {0,3,6,9}" and later labels the top row of the table by H.

H

A subgroup of G; in the example H is the subgroup generated by 3 in $Z_12$.

subgroups of G

1. Formula
   Observation

   Handwritten goal line ends with "divides |G|."

2. Formula
   Observation

   Example writes "|G| = 12".

|G|

The order of the finite group G, i.e. its number of elements.

positive integers

1. Formula
   Observation

   A brace over the four entries 0,3,6,9 is labeled "|H| = 4".

2. Formula
   Observation

   A separate handwritten note also says "|H| = 4".

|H|

The order of the subgroup H, here counted as the number of elements in {0,3,6,9}.

positive integers

1. Formula
   Observation

   Example line reads "Ex: $G = Z_12$".

2. Audio
   Observation

   The lecturer says the group is isomorphic to $Z_12$, the additive group of integers mod 12.

$Z_{12}$

The additive group of integers modulo 12.

finite cyclic group of order 12

1. Formula
   Observation

   Handwriting says "element $g = 3$".

2. Audio
   Observation

   The lecturer says, "If I pick up an element in that group like the element 3".

$g=3$

A chosen element of $Z_12$ used to generate the example subgroup.

elements of $Z_{12}$

1. Formula
   Observation

   Handwriting says "subgroup H = <3> = {0,3,6,9}".

2. Audio
   Observation

   The lecturer refers to "the subgroup generated by 3".

$\langle 3 \rangle$

The cyclic subgroup generated by 3 inside $Z_12$.

subgroups of $Z_{12}$

1. Formula
   Observation

   Handwriting lists "{0,3,6,9}" as the subgroup.

2. Diagram
   Observation

   The top row of the 2-by-4 table contains 0, 3, 6, 9.

\{0,3,6,9\}

The explicit element set of the subgroup H in the example.

subset of $Z_{12}$

1. Formula
   Observation

   The slide shows $G = \mathbb{Z}_{12}$.

2. Audio
   Observation

   The speaker refers to the larger group as G and to its elements being related to H.

G

The ambient finite group in the example, explicitly written as $\mathbb{Z}_{12}$.

$\mathbb{Z}_{12}$

1. Formula
   Observation

   The slide shows $H = \langle 3 \rangle$ = \{0,3,6,9\}.

2. Audio
   Observation

   The speaker calls H a subgroup and uses it as the row label for the first table row.

H

The subgroup generated by 3 in $\mathbb{Z}_{12}$, equal to \{0,3,6,9\}.

Subsets of $\mathbb{Z}_{12}$

1. Formula
   Observation

   The slide shows |G| = 12.

2. Audio
   Observation

   The speaker discusses how many copies of H are needed to partition the whole group.

|G|

The order (cardinality) of the group G.

Positive integers

1. Formula
   Observation

   The slide shows |H| = 4.

2. Audio
   Observation

   The speaker treats H as a subgroup whose rows/cosets tile the group.

|H|

The order (cardinality) of the subgroup H.

Positive integers

1. Formula
   Observation

   Left box title reads "Lagrange's Theorem" and begins "Let G be a finite group and $H < G$ be a subgroup. Then".

2. Audio
   Observation

   The lecturer introduces Lagrange's theorem as a central result about subgroups of finite groups and says the next videos will explain why it is true using cosets.

3. Diagram
   Observation

   Slide title reads "Subgroups, Cosets, and Lagrange's Theorem" with a Goals panel.

1. The displayed theorem statement is incomplete within this clip because the sentence stops at "Then".

This clip frames Lagrange's theorem as a statement about a finite group G and a subgroup $H < G$. The lecturer explicitly says the purpose of the upcoming sequence is to understand why the theorem is true by using cosets.

1. G is finite

2. H is a subgroup of G

1. Formula
   Observation

   Goal line is written as "Say something about the orders of subgroups."

2. Audio
   Observation

   The lecturer says the goal is to say something about the orders of subgroups in a finite group.

The first stated objective is not yet a proof but a question: determine what can be said about the possible orders of subgroups when the ambient group is finite.

1. The ambient group is finite

1. Setup for Lagrange's theorem

1. Formula
   Observation

   Handwritten line says "When G is finite and cyclic, we know that the orders of {elements, subgroups} divides |G|."

2. Audio
   Observation

   The lecturer says that for a finite cyclic group, the orders of all elements and all subgroups divide the order of the group.

1. The handwritten grammar is compressed; the intended meaning is supplied by the audio.

Before proving the general theorem, the lecturer recalls a special case: if G is finite and cyclic, then both element orders and subgroup orders divide |G|. This motivates the general statement by showing the divisibility pattern already holds in the cyclic setting.

1. G is finite

2. G is cyclic

1. Goal: orders of subgroups in a finite group

1. Formula
   Observation

   Example line reads "Ex: $G = Z_12$".

2. Formula
   Observation

   Additional handwriting gives "element $g = 3$" and "subgroup H = <3> = {0,3,6,9}".

3. Diagram
   Observation

   A 2-by-4 table is drawn; the top row is labeled H and filled with 0, 3, 6, 9.

4. Formula
   Observation

   Brace and notes record "|H| = 4" and "|G| = 12".

5. Audio
   Observation

   The lecturer explains that the subgroup generated by 3 has four elements and therefore order 4, while the whole group has order 12.

1. The clip ends before the lecturer finishes the sentence beginning "why is it reasonable in this cyclic group that the order of the subgroup...".

The lecturer instantiates the cyclic-case claim with $G = Z_12$. Choosing the element 3 produces the subgroup H = <3> = {0,3,6,9}. Counting elements gives |H| = 4 and |G| = 12, so the example exhibits the divisibility relation 4 | 12 that the general theorem will explain.

1. Use the additive group of integers modulo 12

2. H is the subgroup generated by 3

1. Known cyclic-group case

1. Formula
   Observation

   The slide states Ex: $G = \mathbb{Z}_{12}$, |H| = 4, subgroup $H = \langle 3 \rangle$ = \{0,3,6,9\}.

2. Audio
   Observation

   The speaker says, 'This H row, that's actually a subgroup of G.'

In the worked example, the ambient group is $G = \mathbb{Z}_{12}$, and the subgroup under study is $H = \langle 3 \rangle$ = \{0,3,6,9\}. The speaker explicitly identifies this purple row as a subgroup of G.

1. G is the cyclic group $\mathbb{Z}_{12}$.

2. H is the subgroup generated by 3.

1. Audio
   Observation

   The speaker says one systematic way to fill the rest of the table is to add 1 and then add 2 to each of the elements in H.

2. Formula
   Observation

   The table rows become H: 0 3 6 9; $1+H$: 1 4 7 10; $2+H$: 2 5 8 11.

Starting from the subgroup row H = \{0,3,6,9\}, the lecturer fills the remaining elements of $\mathbb{Z}_{12}$ by translating H: add 1 to every element of H to get the second row, and add 2 to every element of H to get the third row. This produces the displayed rows $1+H$ and $2+H$.

1. The operation is addition modulo 12.

2. Each new row is formed elementwise from H by adding a fixed representative.

1. Example subgroup H of $\mathbb{Z}_{12}$

1. Audio
   Observation

   The speaker says, 'These rows, the green and blue rows, are called cosets of the subgroup H.'

2. Formula
   Observation

   The rows are labeled $1+H$ and $2+H$.

The lecturer names the non-subgroup rows obtained from H by translation as cosets of H. In this concrete $\mathbb{Z}_{12}$ example, the rows $1+H$ and $2+H$ are the cosets being introduced.

1. They are formed from the subgroup H by adding a fixed element of G to every member of H.

1. Example subgroup H of $\mathbb{Z}_{12}$
2. Constructing other rows from H by adding representatives

1. Audio
   Observation

   The speaker says the number of them that there are in this group, in this case it's 3, is called the index in G of the subgroup H.

2. Formula
   Observation

   A bracketed annotation reads index in G of H beside the three rows.

The index of H in G is defined verbally as the number of cosets of H needed to partition the whole group. In the displayed example there are three rows total, so the index is 3.

1. The group is partitioned into distinct cosets of H.

2. Here the partition consists of H, $1+H$, and $2+H$.

1. Cosets of a subgroup in this example

1. Formula
   Observation

   The left panel title reads Lagrange's Theorem and begins 'Let G be a finite group and $H < G$ be a subgroup. Then'.

2. Audio
   Observation

   The opening sentence says subgroup orders divide the order of the big group.

1. The full conclusion of Lagrange's theorem is not shown in this clip; only the setup and the motivating claim are visible/audible.

The clip frames the discussion around the theorem that if G is finite and H is a subgroup of G, then the order of H divides the order of G. The example with $\mathbb{Z}_{12}$ and $H = \langle 3\rangle$ is used to motivate why this divisibility should hold.

1. G is finite.

2. $H < G$ is a subgroup.

1. Example subgroup H of $\mathbb{Z}_{12}$

1. Formula
   Observation

   The left panel reads: "Lagrange's Theorem. Let G be a finite group and $H < G$ be a subgroup. Then |H| divides |G|."

2. Audio
   Observation

   The lecturer says that as long as the group is finite, "the order of any subgroup H is going to divide the order of the whole group."

The clip presents Lagrange's Theorem as the general finite-group analogue of a divisibility fact already known for cyclic groups: if H is a subgroup of a finite group G, then the size of H divides the size of G. The lecturer emphasizes that this no longer requires cyclicity or even abelianness.

1. G is finite.

2. H is a subgroup of G.

1. Order of a finite group and subgroup
2. Index of a subgroup in the example

1. Formula
   Observation

   The board shows |H| = 4 and |G| = 12.

2. Audio
   Observation

   The lecturer speaks about "the twelve elements which make up the order of G" and "three rows of four elements."

The example treats |G| and |H| as counts of elements. In the displayed case, G has 12 elements and H has 4 elements, so the theorem concerns how these counts relate.

1. Applies to finite groups and their subgroups.

1. Formula
   Observation

   The board writes [G:H] = 3 beside the three-row coset table.

2. Audio
   Observation

   The lecturer says there are three rows and that this means the index of the subgroup is three.

1. The clip gives an example-based explanation of index rather than a formal definition in full generality.

In this clip, the index [G:H] is introduced through the partition of G into cosets of H. The displayed table has three rows, so the lecturer identifies the index of H in G as 3.

1. H is a subgroup of G.

2. Here $G = Z_12$ and H = <3>.

1. Cosets of <3> partition $Z_12$

1. Audio
   Observation

   The lecturer calls it "Lagrange's theorem" and says it is probably more important than almost any other theorem in the theory of finite groups.

2. Formula
   Observation

   The left box is titled "Lagrange's Theorem".

1. The full formal conclusion of the theorem is not shown in this clip.

The clip announces Lagrange's theorem as a major theorem about subgroups of finite groups, with the visible hypothesis "Let G be a finite group and $H < G$ be a subgroup. Then".

1. G is a finite group

2. $H < G$ is a subgroup

For a finite group G and a subgroup H of G.

1. Formula
   Observation

   Handwritten goal text states that when G is finite and cyclic, the orders of elements and subgroups divide |G|.

2. Audio
   Observation

   The lecturer says that in a finite cyclic group, the orders of all elements and all subgroups divide the order of the group.

If G is a finite cyclic group, then the order of every element of G and the order of every subgroup of G divide |G|.

1. G is finite

2. G is cyclic

For every element of G and every subgroup of G.

1. Audio
   Observation

   The speaker says the next row is not a subgroup because, for example, it doesn't contain the identity element of the group G, which is zero.

2. Formula
   Observation

   The second row is $1+H$ = \{1,4,7,10\}, which visibly lacks 0.

In this example, the row $1+H$ is not a subgroup of G because it does not contain the identity element 0 of G.

1. $G = \mathbb{Z}_{12}$.

2. The identity of G is 0.

3. The row under consideration is $1+H$ = \{1,4,7,10\}.

For the specific displayed row $1+H$ in this example.

1. Audio
   Observation

   The speaker says, 'for a cyclic group it's clear why we can do this just by adding one and by adding two. By the time I add three, I get back around to the original row itself.'

1. The clip ends before the speaker completes the final sentence after 'and every one'.

2. The general theorem behind this observation is not fully stated in the clip.

In the displayed cyclic example, adding 1 and then 2 to H produces new rows, and adding 3 returns to the original row H, so the group is partitioned into these cosets.

1. $G = \mathbb{Z}_{12}$ is cyclic.

2. $H = \langle 3\rangle$ = \{0,3,6,9\}.

For the concrete example shown in the clip.

1. Formula
   Observation

   The goals box changes to "Does this hold for ALL finite groups?" and then a red arrow points to "YES!".

2. Audio
   Observation

   The lecturer asks whether the result holds for non-cyclic groups, possibly non-abelian ones, and answers yes, identifying this as Lagrange's Theorem.

For every finite group G and every subgroup H of G, |H| divides |G|.

1. G is finite.

2. H is a subgroup of G.

For all finite groups G and all subgroups H <= G.

1. Audio
   Observation

   The lecturer says that the truth of the statement for cyclic groups was "a simple result from number theory and divisibility," while the general finite-group case requires more abstract algebra to prove.

The divisibility conclusion is already known for finite cyclic groups by elementary number-theoretic reasoning, but proving it for arbitrary finite groups requires more abstract algebra.

1. The group is finite.

2. In the special case being contrasted, the group is cyclic.

Comparative claim about the cyclic special case versus the general finite case.

1. Audio
   Observation

   the cosets of a group... will partition that group... every element of my group is going to be in one and only one of those cosets

The cosets of a subgroup H in a group G form a partition of G. Every element of G belongs to exactly one coset of H.

1. G is a group

2. H is a subgroup of G

For all elements g in G, there exists a unique coset of H containing g.

1. Audio
   Observation

   guarantee that every coset is going to have the same number of elements as the original subgroup

Every left (or right) coset of a subgroup H has the same number of elements as H itself.

1. G is a group

2. H is a subgroup of G

For all g in G, |gH| = |H|.

1. Formula
   Observation

   The example writes H = <3> = {0,3,6,9}.

2. Diagram
   Observation

   The top row of the table contains exactly four entries: 0, 3, 6, 9.

3. Formula
   Observation

   A brace over those entries is labeled |H| = 4, and elsewhere |G| = 12 is written.

4. Audio
   Observation

   The lecturer says the subgroup has order four because it has four elements, 0, 3, 6, and 9.

1. Expression

   $$G=\mathbb{Z}_{12}$$
   Explanation

   Start with the additive cyclic group of integers modulo 12.

   Justification

   Given in the example line on the slide.

   Shown in the video
2. Expression

   $$g=3$$
   Explanation

   Choose the element 3 in $Z_12$.

   Justification

   Written as "element $g = 3$" and spoken by the lecturer.

   Shown in the video
3. Expression

   $$H=\langle 3\rangle=\{0,3,6,9\}$$
   Explanation

   Form the subgroup generated by 3 and list its elements.

   Justification

   Explicitly written on the slide and named in the audio as the subgroup generated by 3.

   Shown in the video
4. Expression

   $$|H|=4$$
   Explanation

   Count the listed elements of H to get its order.

   Justification

   The lecturer says the subgroup has order four because it has four elements; the brace label confirms this.

   Shown in the video
5. Expression

   $$|G|=12$$
   Explanation

   Record the order of the ambient group.

   Justification

   Written on the slide and consistent with $G = Z_12$.

   Shown in the video
6. Expression

   $$4\mid 12$$
   Explanation

   Conclude that the subgroup order divides the group order in this example.

   Justification

   Derived from |H| = 4 and |G| = 12; this matches the earlier cyclic-case claim.

   Derived from the video

In the example $G = Z_12$ and H = <3>, one obtains |H| = 4 and |G| = 12, so the subgroup order divides the group order.

1. Audio
   Observation

   The speaker explains filling the rest of the table by adding 1 and then adding 2 to each element in H.

2. Formula
   Observation

   The completed table shows H: 0 3 6 9; $1+H$: 1 4 7 10; $2+H$: 2 5 8 11.

1. Expression

   $$H = \{0,3,6,9\}$$
   Explanation

   Begin with the subgroup row already written on the board.

   Justification

   Observed directly from the slide formula.

   Shown in the video
2. Expression

   $$1+H = \{0+1,3+1,6+1,9+1\} = \{1,4,7,10\}$$
   Explanation

   Add 1 to each element of H to obtain the second row.

   Justification

   Stated by the speaker as a systematic way to fill the rest of the table.

   Shown in the video
3. Expression

   $$2+H = \{0+2,3+2,6+2,9+2\} = \{2,5,8,11\}$$
   Explanation

   Add 2 to each element of H to obtain the third row.

   Justification

   Stated by the speaker and visible in the completed table.

   Shown in the video
4. Expression

   $$H \cup (1+H) \cup (2+H) = \mathbb{Z}_{12}$$
   Explanation

   The three rows together list all elements 0 through 11 exactly once.

   Justification

   Derived from the displayed completed table and the speaker's remark that this lists all elements in Z mod 12.

   Derived from the video

The whole group $\mathbb{Z}_{12}$ is organized into three rows obtained by translating the subgroup H.

1. Audio
   Observation

   The speaker says the number of such rows, in this case 3, is called the index in G of the subgroup H.

2. Formula
   Observation

   The board shows three labeled rows: H, $1+H$, $2+H$, with an annotation 'index in G of H'.

1. Expression

   $$\text{Rows displayed: } H,\;1+H,\;2+H$$
   Explanation

   Identify the distinct rows produced from H.

   Justification

   Visible on the whiteboard/table.

   Shown in the video
2. Expression

   $$\#\text{rows} = 3$$
   Explanation

   There are exactly three displayed rows covering G.

   Justification

   Direct count from the visual layout.

   Shown in the video
3. Expression

   $$\text{index in }G\text{ of }H = 3$$
   Explanation

   By the lecturer's definition, the index is the number of cosets needed to partition G.

   Justification

   Spoken definition in the clip.

   Shown in the video

In this example the index of H in G is 3.

1. Diagram
   Observation

   A 3-by-4 table displays the three cosets of H in $Z_12$.

2. Audio
   Observation

   The lecturer explains that the 12 elements can be accounted for by three rows of four elements, where the four elements come from the subgroup H.

1. Expression

   $$H = \{0,3,6,9\},\quad |H|=4$$
   Explanation

   The subgroup H is written explicitly and has four elements.

   Justification

   Directly read from the board.

   Shown in the video
2. Expression

   $$1+H = \{1,4,7,10\},\quad 2+H = \{2,5,8,11\}$$
   Explanation

   Two additional rows are formed by translating H by 1 and by 2.

   Justification

   Directly read from the board.

   Shown in the video
3. Expression

   $$\mathbb{Z}_{12} = H \cup (1+H) \cup (2+H)$$
   Explanation

   These three rows together contain all residues 0 through 11 exactly once, so they partition the group.

   Justification

   Stated in the audio as a partition and visible from the listed elements.

   Shown in the video
4. Expression

   $$[G:H] = 3$$
   Explanation

   Because there are three rows/cosets, the index of H in G is 3.

   Justification

   Audio explanation plus the written bracket notation on the board.

   Shown in the video
5. Expression

   $$|H|\,[G:H] = 4\cdot 3 = 12 = |G|$$
   Explanation

   Multiplying the number of elements per coset by the number of cosets gives the total number of elements of G.

   Justification

   Explicitly written on the board and explained verbally.

   Shown in the video

In the example $G = Z_12$ and H = <3>, the coset decomposition visually yields |H|[G:H] = |G|, hence |H| divides |G|.

1. Audio
   Observation

   when we can define cosets using an equivalence relation, we know... that the cosets... will partition that group... The only other piece that's missing is to guarantee that every coset is going to have the same number of elements as the original subgroup. If I can prove those two things, then I will have proven Lagrange's theorem.

1. Expression

   $$|G| = \sum_{i=1}^{k} |C_i|$$
   Explanation

   The total number of elements in the group G is the sum of the number of elements in each of its disjoint cosets $C_1$, $C_2$, ..., $C_k$.

   Justification

   Because the cosets partition the group G.

   Derived from the video
2. Expression

   $$|C_i| = |H| \text{ for all } i$$
   Explanation

   Each coset $C_i$ has the exact same number of elements as the subgroup H.

   Justification

   This is the second key property needed for the proof, as stated in the video.

   Shown in the video
3. Expression

   $$|G| = \sum_{i=1}^{k} |H| = k|H|$$
   Explanation

   Substituting the size of each coset with the size of H yields that the order of G is k times the order of H.

   Justification

   Algebraic substitution.

   Derived from the video
4. Expression

   $$|H| \mid |G|$$
   Explanation

   Therefore, the order of the subgroup H divides the order of the group G.

   Justification

   Definition of divisibility, where k is an integer (the index [G:H]).

   Derived from the video

Lagrange's Theorem: |H| divides |G|.

1. Formula
   Observation

   Slide shows "Ex: $G = Z_12$", "element $g = 3$", and "subgroup H = <3> = {0,3,6,9}".

2. Diagram
   Observation

   A 2-by-4 grid is drawn with the top row labeled H and filled by 0, 3, 6, 9.

3. Formula
   Observation

   The slide records |H| = 4 and |G| = 12.

4. Audio
   Observation

   The lecturer explains the example verbally and asks why it is reasonable that the subgroup order behaves this way in the cyclic group.

1. The final spoken question is cut off before completion.

Illustrate the cyclic-group divisibility fact with a concrete finite cyclic group.

1. $G = Z_12$

2. $g = 3$

3. H = <3> = {0,3,6,9}

Determine |H| and |G| and compare them.

1. Expression

   $$G=\mathbb{Z}_{12}$$
   Explanation

   Take the additive group of integers modulo 12 as the ambient finite cyclic group.

   Justification

   Explicitly written on the slide and named in the audio.

   Shown in the video
2. Expression

   $$g=3$$
   Explanation

   Pick the element 3 in $Z_12$.

   Justification

   Written as "element $g = 3$" and mentioned aloud.

   Shown in the video
3. Expression

   $$H=\langle 3\rangle=\{0,3,6,9\}$$
   Explanation

   Generate the subgroup from 3 and list its elements.

   Justification

   Shown directly on the slide and described as the subgroup generated by 3.

   Shown in the video
4. Expression

   $$|H|=4$$
   Explanation

   Count the elements of H.

   Justification

   The lecturer states that the subgroup has order four because it has four elements; the brace label confirms this.

   Shown in the video
5. Expression

   $$|G|=12$$
   Explanation

   Record the order of the whole group.

   Justification

   Written on the slide and implied by $Z_12$.

   Shown in the video
6. Expression

   $$|H|\mid |G|$$
   Explanation

   Compare the two orders to see the divisibility pattern.

   Justification

   Derived from |H| = 4 and |G| = 12.

   Derived from the video

|H| = 4 and |G| = 12, so 4 divides 12.

Direct element count of {0,3,6,9} gives 4, and $Z_12$ has 12 elements; numerically 4 | 12.

1. Formula
   Observation

   The slide gives $G = \mathbb{Z}_{12}$, |H| = 4, $H = \langle 3 \rangle$ = \{0,3,6,9\}, |G| = 12.

2. Audio
   Observation

   The speaker walks through filling the table with $1+H$ and $2+H$ and then names these rows cosets and their count the index.

Given $G = \mathbb{Z}_{12}$ and $H = \langle 3\rangle$ = \{0,3,6,9\}, organize the elements of G into rows obtained from H and identify the resulting structure.

1. $G = \mathbb{Z}_{12}$

2. $H = \langle 3\rangle$ = \{0,3,6,9\}

3. |H| = 4

4. |G| = 12

Fill the remaining elements of G using translations of H, determine whether the new rows are subgroups, and name the collection of rows and its count.

1. Expression

   $$H = \{0,3,6,9\}$$
   Explanation

   Start from the subgroup row already given.

   Justification

   Displayed on the slide.

   Shown in the video
2. Expression

   $$1+H = \{1,4,7,10\}$$
   Explanation

   Add 1 to every element of H to form the second row.

   Justification

   The speaker explicitly proposes this systematic method.

   Shown in the video
3. Expression

   $$2+H = \{2,5,8,11\}$$
   Explanation

   Add 2 to every element of H to form the third row.

   Justification

   The speaker explicitly proposes this systematic method.

   Shown in the video
4. Expression

   $$1+H \text{ is not a subgroup}$$
   Explanation

   The second row fails to be a subgroup because it does not contain the identity 0 of G.

   Justification

   Stated directly by the speaker.

   Shown in the video
5. Expression

   $$\text{The rows }1+H,2+H\text{ are cosets of }H$$
   Explanation

   Although they are not subgroups, the lecturer names these translated rows cosets.

   Justification

   Stated directly by the speaker.

   Shown in the video
6. Expression

   $$\text{index in }G\text{ of }H = 3$$
   Explanation

   There are three rows total, so the index is 3.

   Justification

   Stated directly by the speaker and annotated on the board.

   Shown in the video

The group $\mathbb{Z}_{12}$ is partitioned into H = \{0,3,6,9\}, $1+H$ = \{1,4,7,10\}, and $2+H$ = \{2,5,8,11\}; the latter two are cosets rather than subgroups, and the index of H in G is 3.

The three displayed rows together contain each element 0,1,2,$\dots$,11 exactly once, matching |G| = 12 and |H| = 4 with three rows.

1. Formula
   Observation

   The board writes Ex: $G = Z_12$, |H| = 4, subgroup H = <3> = {0,3,6,9}, and the three coset rows.

2. Audio
   Observation

   The lecturer narrates the partition of the numbers 0 through 11 into multiples of three, one more than multiples of three, and two more than multiples of three.

Show how the subgroup H = <3> sits inside $G = Z_12$ and how its cosets account for all elements of G.

1. $G = Z_12$.

2. H = <3> = {0,3,6,9}.

3. |H| = 4.

4. |G| = 12.

Identify the cosets of H in G, read off the index [G:H], and verify the counting relation |H|[G:H] = |G|.

1. Expression

   $$3+H = H = \{0,3,6,9\}$$
   Explanation

   The first row is the subgroup itself, consisting of the multiples of 3 modulo 12.

   Justification

   Written on the board.

   Shown in the video
2. Expression

   $$1+H = \{1,4,7,10\}$$
   Explanation

   Adding 1 to each element of H gives the second row, the elements congruent to 1 modulo 3.

   Justification

   Written on the board and described verbally as "one more than a multiple of three."

   Shown in the video
3. Expression

   $$2+H = \{2,5,8,11\}$$
   Explanation

   Adding 2 to each element of H gives the third row, the elements congruent to 2 modulo 3.

   Justification

   Written on the board and described verbally as "two more than a multiple of three."

   Shown in the video
4. Expression

   $$[G:H] = 3$$
   Explanation

   There are three distinct rows, so the index is 3.

   Justification

   Audio explanation and bracket notation on the board.

   Shown in the video
5. Expression

   $$|H|\,[G:H] = 4\cdot 3 = 12 = |G|$$
   Explanation

   The total number of elements equals the number per row times the number of rows.

   Justification

   Explicit formula written on the board.

   Shown in the video

The cosets of H partition $Z_12$ into three rows of four elements each, so [G:H] = 3 and |H| divides |G| because 4 divides 12.

The union of the three displayed rows is exactly {0,1,2,...,11}, and the arithmetic $4*3=12$ matches the written orders |H|=4 and |G|=12.

1. Formula
   Observation

   $G = Z_12$, |G| = 12; H = <3> = {0, 3, 6, 9}, |H| = 4; [G:H] = 3

2. Diagram
   Observation

   Grid showing rows for H, $1+H$, and $2+H$ with elements of $Z_12$

Identify the cosets of the subgroup H = <3> in the group $G = Z_12$ and verify Lagrange's Theorem.

1. $G = Z_12 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}$

2. H = <3> = {0, 3, 6, 9}

Find the distinct cosets of H in G and check if |H| divides |G|.

1. Expression

   $$H = \{0, 3, 6, 9\}$$
   Explanation

   The subgroup H itself is the first coset ($0 + H$).

   Justification

   Definition of a coset.

   Shown in the video
2. Expression

   $$1 + H = \{1+0, 1+3, 1+6, 1+9\} = \{1, 4, 7, 10\}$$
   Explanation

   Adding 1 to each element of H modulo 12 gives the second coset.

   Justification

   Left action of the element 1 on the subgroup H.

   Shown in the video
3. Expression

   $$2 + H = \{2+0, 2+3, 2+6, 2+9\} = \{2, 5, 8, 11\}$$
   Explanation

   Adding 2 to each element of H modulo 12 gives the third coset.

   Justification

   Left action of the element 2 on the subgroup H.

   Shown in the video
4. Expression

   $$3 + H = \{3+0, 3+3, 3+6, 3+9\} = \{3, 6, 9, 0\} = H$$
   Explanation

   Adding 3 returns the original subgroup H, showing the cosets repeat.

   Justification

   Since 3 is in H, $3+H$ is identical to H.

   Derived from the video

The distinct cosets are H, $1+H$, and $2+H$. There are 3 cosets, so the index [G:H] = 3. The order of H is 4, and the order of G is 12. Since 4 divides $12 (12 = 3 * 4)$, Lagrange's Theorem is verified.

|G| = 12, |H| = 4, [G:H] = 3. $4 * 3 = 12$, which matches |G|.

1. Diagram
   Observation

   The screen shows a lecture slide titled "Subgroups, Cosets, and Lagrange's Theorem" with a Goals panel on the right and a left box titled "Lagrange's Theorem".

2. Diagram
   Observation

   A webcam view of the lecturer appears at upper left throughout the clip.

1. Title bar "Subgroups, Cosets, and Lagrange's Theorem"

2. Goals panel

3. Left box "Lagrange's Theorem"

4. Webcam view of lecturer

1. Handwritten goals are added progressively into the Goals panel.

2. An example block is written below the goals.

3. A 2-by-4 table is drawn and annotated with subgroup and order labels.

1. The overall slide template remains the same.

2. The left theorem box stays visible with the incomplete statement "Let G be a finite group and $H < G$ be a subgroup. Then".

The visual structure separates the formal theorem prompt on the left from the evolving explanatory goals and example on the right, matching the lecturer's move from announcement to motivation.

1. Animation
   Observation

   Between about 38 and 52 seconds, the line "Say something about the orders of subgroups." is written into the Goals area.

2. Animation
   Observation

   Between about 52 and 82 seconds, the line "When G is finite and cyclic, we know that the orders of {elements, subgroups} divides |G|." is added beneath it.

1. Exact stroke-by-stroke timing is approximate because the writing appears progressively.

1. Goal sentence about orders of subgroups

2. Cyclic-case sentence with braces around elements and subgroups

3. Symbol |G|

1. First the general goal is written.

2. Then the special cyclic case is added as supporting context.

1. Both statements remain visible once written.

2. The slide continues to frame the discussion as preparation for Lagrange's theorem.

The animation shows the conceptual narrowing from a broad question about subgroup orders to a known special case in finite cyclic groups.

1. Animation
   Observation

   Around 103 seconds a 2-by-4 rectangular grid appears below the example text.

2. Diagram
   Observation

   The top row is labeled H and filled with 0, 3, 6, 9.

3. Animation
   Observation

   Around 111 seconds a purple brace is drawn over the top row and labeled |H| = 4.

4. Diagram
   Observation

   Around 114 seconds |G| = 12 is written to the right.

1. The bottom row remains empty in this clip.

1. 2-by-4 grid

2. Top-row entries 0, 3, 6, 9

3. Label H

4. Purple brace

5. Labels |H| = 4 and |G| = 12

1. Empty grid appears.

2. Top row is populated with the subgroup elements.

3. A brace marks the four occupied cells.

4. Order labels are added.

1. The grid keeps four columns, matching the four listed elements of H.

2. The top row consistently represents H.

The table makes the abstract subgroup H = <3> concrete by displaying its elements and visually counting them to justify |H| = 4 against |G| = 12.

1. Diagram
   Observation

   A 3-by-4 table appears under the example, with the top row labeled H and later rows labeled $1+H$ and $2+H$.

2. Animation
   Observation

   The lower rows are filled in progressively during the explanation.

1. Top purple row labeled H containing 0, 3, 6, 9

2. Middle blue row labeled $1+H$ containing 1, 4, 7, 10

3. Bottom green row labeled $2+H$ containing 2, 5, 8, 11

4. Right-side annotations |H| = 4, |G| = 12, and index in G of H

1. The empty cells below H are filled with 1,4,7,10 and then 2,5,8,11.

2. Row labels appear as $1+H$ and $2+H$.

3. A bracketed annotation naming the index is added beside the stacked rows.

1. The top row remains H = \{0,3,6,9\}.

2. The group remains $\mathbb{Z}_{12}$ throughout.

3. Each row has four entries.

The visual organizes the ambient group into three equally sized rows obtained from one subgroup, making the partition into cosets and the count of cosets visually explicit.

1. Diagram
   Observation

   The first row is purple, the second row is blue, and the third row is green.

2. Audio
   Observation

   The speaker contrasts the purple row H as a subgroup with the blue and green rows as non-subgroups but closely related structures.

1. Purple H row

2. Blue $1+H$ row

3. Green $2+H$ row

1. Color emphasis separates the original subgroup from the translated rows.

1. All three rows have the same length and come from the same H by translation.

The color coding supports the conceptual distinction: H itself is a subgroup, while the other colored rows are cosets of H rather than subgroups.

1. Diagram
   Observation

   A purple-outlined top row contains 0,3,6,9; a blue middle row contains 1,4,7,10; a green bottom row contains 2,5,8,11.

2. Animation
   Observation

   A cursor moves among the rows and the right-side formulas as the lecturer discusses partition, index, and multiplication.

1. Top row $3+H = {0,3,6,9}$

2. Middle row $1+H = {1,4,7,10}$

3. Bottom row $2+H = {2,5,8,11}$

4. Right-side labels |H|=4, [G:H]=3, |G|=12

1. The cursor highlights different rows while the lecturer explains that each element falls into one of the three categories.

2. Attention shifts from the rows to the bracket notation [G:H] when index is introduced.

3. The formula |H|*[G:H]=|G| is emphasized after the partition has been established.

1. Each row contains exactly four elements.

2. The three rows together contain all twelve residues 0 through 11.

3. H remains the subgroup {0,3,6,9} throughout the example.

The visual arrangement encodes a partition of the group into equal-sized cosets, making the counting identity |H|[G:H]=|G| immediate from the picture.

1. Animation
   Observation

   The goals box changes from the cyclic-group reminder to the handwritten question "Does this hold for ALL finite groups?".

2. Audio
   Observation

   The lecturer asks whether the result holds beyond cyclic groups, including groups that may not even be abelian.

1. Goals box text

2. Handwritten question

3. Spoken contrast between cyclic and general finite groups

1. The earlier goal about finite cyclic groups is replaced by a broader question about all finite groups.

2. The lecture focus shifts from a concrete example to a general theorem.

1. The underlying topic remains the order of subgroups relative to the order of the whole group.

This visual transition marks the move from a number-theoretic special case to the abstract-algebra statement later named Lagrange's Theorem.

1. Animation
   Observation

   A red arrow appears pointing to "YES!" beneath the question.

2. Audio
   Observation

   The lecturer says the answer is yes and identifies this as Lagrange's Theorem.

1. Question "Does this hold for ALL finite groups?"

2. Red arrow

3. "YES!"

1. The open question is resolved by an explicit affirmative annotation.

2. The left theorem panel becomes the focal mathematical statement.

1. The claim remains about divisibility of subgroup order by group order.

The animation converts the preceding inquiry into a theorem-level assertion: the cyclic example is not exceptional.

1. Animation
   Observation

   The goals box updates again to: "Compare and contrast the effects of left- and right-actions, and inner automorphisms, on a subgroup $H < G$."

2. Audio
   Observation

   The lecturer says the chapter will build toward cosets in the more general case by contrasting left and right actions and comparing them with inner automorphisms.

1. Inner automorphisms are mentioned only as upcoming material; no definition is given in this clip.

1. New goals text

2. Mention of left-actions, right-actions, and inner automorphisms

1. The slide shifts from stating Lagrange's Theorem to outlining the method for developing cosets generally.

2. The lecture signals a move from counting consequences to structural comparisons inside groups.

1. The subgroup $H < G$ remains the central object of study.

The clip closes by indicating that the general theory of cosets will be built by analyzing how group elements act on subgroups from the left and right.

1. Diagram
   Observation

   A 3x4 grid with purple, blue, and green rows showing elements of $Z_12$ and their shifts.

1. Grid of numbers

2. Purple row (H)

3. Blue row ($1+H$)

4. Green row ($2+H$)

5. Arrows indicating shifts

1. Elements in the blue and green rows are formed by adding 1 and 2 respectively to the elements in the purple row.

1. The number of elements in each row remains constant (4).

2. The relative spacing between elements within each row remains constant (3).

The visual grid demonstrates how left actions (addition in this abelian group) shift a subgroup to create new, disjoint sets of elements (cosets) that collectively cover the entire group without overlap.

1. Formula
   Observation

   The slide explicitly restricts the recalled result to "When G is finite and cyclic".

2. Audio
   Observation

   The lecturer presents the cyclic case as something already known before moving toward the broader theorem.

One might think the divisibility of subgroup orders by |G| has already been justified for all finite groups because it is true in the cyclic examples.

In this clip the divisibility statement is explicitly recalled only for finite cyclic groups; the lecturer is using that special case to motivate the more general Lagrange theorem discussed next.

1. Formula
   Observation

   The left box ends with "Then" and no conclusion is shown.

2. Audio
   Observation

   The lecturer says he will tell what the theorem says in a second and focuses here on the goal and motivation.

A viewer may assume the full content of Lagrange's theorem has already been stated on screen.

Within this 120-second excerpt, only the setup "Let G be a finite group and $H < G$ be a subgroup. Then" is visible; the actual conclusion is not yet given.

1. Audio
   Observation

   The speaker explicitly says the next row is not a subgroup because it does not contain the identity element 0.

One might assume that any row obtained from a subgroup by translation is itself another subgroup.

In this example, $1+H$ is not a subgroup because it lacks the identity element 0 of G, even though it is structurally related to H and is called a coset.

1. Audio
   Observation

   The lecturer explicitly asks whether the result holds for groups that are not cyclic and might not even be abelian, then answers yes.

2. Formula
   Observation

   The board writes "Does this hold for ALL finite groups?" followed by "YES!".

One might infer from the $Z_12$ example that |H| dividing |G| is true only for finite cyclic groups or only in abelian settings.

The lecturer states that the result extends to all finite groups, regardless of whether they are cyclic or abelian; this general statement is Lagrange's Theorem.

1. Audio
   Observation

   The lecturer contrasts the cyclic case, called a simple result from number theory and divisibility, with the general finite case, said to require more abstract algebra to prove.

Because the example is easy to count in $Z_12$, one might assume the general finite-group proof is equally elementary.

The clip distinguishes truth from proof method: the statement is true for all finite groups, but the general proof needs abstract-algebra tools beyond the cyclic number-theory argument.

1. Audio
   Observation

   regardless if it's a cyclic group or not, every element of my group is going to be in one and only one of those cosets

Students might think that the property of cosets partitioning a group only applies to cyclic groups because the example uses $Z_12$.

The speaker explicitly notes that the partitioning property holds for any group, whether cyclic or not.

1. Formula
   Observation

   The left theorem box introduces G and $H < G$, and the Goals panel then writes "Say something about the orders of subgroups."

2. Audio
   Observation

   The lecturer moves from naming Lagrange's theorem to stating the goal of discussing subgroup orders.

The theorem setup supplies the objects G and H before the clip can ask what should be said about their orders.

1. Formula
   Observation

   After the general goal line, the next handwritten line specializes to "When G is finite and cyclic...".

2. Audio
   Observation

   The lecturer says we already know a little something about the answer in the cyclic case.

The cyclic-group divisibility fact is presented as a known special case of the broader question about subgroup orders in finite groups.

1. Formula
   Observation

   The cyclic-case line is followed by "Ex: $G = Z_12$" and the computation H = <3> = {0,3,6,9}.

2. Audio
   Observation

   The lecturer illustrates the general cyclic statement with a concrete group of order 12.

The $Z_12$ example applies the previously stated cyclic-case divisibility rule to a specific finite cyclic group.

1. Diagram
   Observation

   The algebraic line H = <3> = {0,3,6,9} is mirrored by a table whose top row contains 0, 3, 6, 9.

2. Formula
   Observation

   The brace over the row is labeled |H| = 4.

The table visualization implements the example by displaying the subgroup elements and making the count |H| = 4 visually explicit.

1. Audio
   Observation

   The speaker builds $1+H$ and $2+H$ from H and then names those rows cosets of the subgroup H.

The cosets in this example are defined only after first fixing the subgroup H and translating it by elements of G.

1. Audio
   Observation

   The speaker defines the index as the number of such cosets needed to partition the group.

The notion of index depends on first understanding what the cosets of H are and counting them.

1. Formula
   Observation

   The left panel introduces Lagrange's theorem while the example computes |H| = 4, |G| = 12, and index 3.

2. Audio
   Observation

   The opening line connects subgroup orders dividing the order of the big group to the partitioning discussion.

1. The full formal proof is not present in this clip.

Counting cosets gives the structural reason foreshadowed here for why |H| should divide |G| in Lagrange's theorem.

1. Audio
   Observation

   The speaker contrasts the purple subgroup row H with the blue and green rows that are not subgroups but are closely related.

H is a subgroup because it contains the identity and is closed under the group structure, whereas $1+H$ and $2+H$ are translated copies that need not contain the identity and are therefore not subgroups in this example.

1. Audio
   Observation

   The lecturer asks whether what is known in the cyclic case holds for all finite groups and answers yes via Lagrange's Theorem.

The concrete coset partition in $Z_12$ motivates the broader theorem for arbitrary finite groups.

1. Formula
   Observation

   The board introduces [G:H]=3 and then writes |H|*[G:H]=|G|.

Once the index is read from the number of cosets, it is used in the counting identity relating subgroup order, index, and group order.

1. Diagram
   Observation

   The entire visual argument for the example is based on partitioning G into cosets of H.

2. Audio
   Observation

   The lecturer then says the chapter will build up the idea of cosets in the more general case.

1. The clip does not yet give the full general proof; this relation records the intended conceptual dependence shown in the introduction.

The example suggests that the general proof of Lagrange's Theorem will rely on decomposing a finite group into cosets of a subgroup.