甘明辉 · Bilibili · 4:19
This segment explains normal subgroups (invariant subgroups). The video first defines: if H is a subgroup of G, and all conjugate elements of elements in H still belong to H, then H is called an invariant subgroup or normal subgroup of G. It then verbally interprets 'conjugate elements' as elements obtained by conjugation, emphasizing 'all' and 'belong to H'. Finally, it states the property: for an invariant subgroup, left cosets coincide with right cosets, and briefly illustrates it using the chalkboard chain gH, gHg^{-1}=H, gH=Hg. This segment explains normal subgroups in group theory. The blackboard first gives the definition: if H is a subgroup of G, and all conjugates of elements of H remain in H, then H is a normal subgroup of G; it also writes the key property gHg^{-1}=H, from which it follows that gH=Hg, meaning the left coset and right coset coincide. The instructor then uses a rectangular diagram to visually illustrate the relationship among G, H, and an element g, clarifying that 'acting on H by g and returning to H' captures the core feature of a normal subgroup. Finally, a common question is addressed: replacing the representative g with g' does not yield a new coset, because g' still belongs to the same coset. This segment covers teaching material on normal subgroups (also called invariant subgroups) in group theory. The instructor explains, using the formula written on the blackboard and a Venn diagram, the property that left and right cosets of a normal subgroup coincide, and verbally elaborates the logic that the coset construction method can exhaust all elements of the group.
Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.
Generated from the video's visuals and explanation; not verbatim speech.
This segment begins by introducing the topic: normal subgroups, also called invariant subgroups. The chalkboard title reads 'Invariant Subgroup (Normal Subgroup)'. It then sets up the objects: H is a subgroup of G. The logical order here is to first fix the parent group G and the subgroup H, and then discuss what additional condition H must satisfy to be called a normal subgroup.
The core sentence of the definition is: if all conjugates of every element in H belong to H, then H is called a normal subgroup (or invariant subgroup) of G. The video does not first give a formal definition of 'conjugate,' but instead states the criterion in plain language; thus, learners must simultaneously grasp the three parts: 'all,' 'conjugates,' and 'belong to H.'
Next, the instructor gives an intuitive explanation of the definition. He refers to 'conjugates' as the result of 'performing a conjugation operation,' and stresses that after this operation, the element still 'lands within its own group'—that is, remains inside H. Accompanied by yellow underlining and circling, the visual highlights the key phrases 'all,' 'conjugates,' and 'belong to H,' indicating that this is not a condition satisfied by just some elements, but a universal condition.
The video then moves to a property: for a normal subgroup, its left cosets and right cosets coincide. This serves to recast the earlier definition into a more usable criterion or consequence. On the board, a '△' marks this new item, signaling it is another conclusion—not the definition itself.
To illustrate this property, the instructor first writes the left coset , then writes , and connects them with a downward arrow to . The video's reasoning chain is brief: because H is a normal subgroup, we have ; from this, we obtain . In other words, this segment directly links normality to coset equality.
Finally, the instructor adds, 'Now, this H—we know it is a subgroup,' thereby re-anchoring the discussion to the original setup: H remains a subgroup of G, and the coset notations and are used under this assumption.
This part first consolidates the conclusion written on the blackboard: if H is a normal subgroup of G, then gHg^{-1}=H holds for every . The video further translates this condition into coset language, pointing out that gH is a left coset and Hg is a right coset, and the key property of a normal subgroup is precisely their coincidence, i.e., gH=Hg. The reasoning proceeds as follows: first state the definition, then give an equivalent criterion, and finally arrive at the directly usable conclusion that the cosets are equal.
Next, the instructor switches to a graphical explanation of this abstract condition. The outer rectangle represents the entire group G, the inner rectangle represents the subgroup H, and a point outside H represents some element g. An arrow from H to g, followed by a loop returning to H, together with blue shading, illustrates that 'transporting' H by g results again in a subset lying entirely within H. This is the intuitive version of gHg^{-1}=H, and also explains why normal subgroups cause left and right cosets to coincide.
The final segment addresses a natural question: does the conclusion still hold if we replace the representative g with g'? The video answers negatively, because there is no issue of 'producing a new coset' here; g' still lies in the original coset, so g'H and gH denote the same set. In other words, coset representatives need not be unique, but changing the representative does not alter the coset itself—a fact that, together with the earlier property of 'coincidence of left and right cosets', forms an intuitive understanding of the structure of normal subgroups.
In group theory, a normal subgroup, also called an invariant subgroup, is a central concept. Look at the formula on the blackboard , which gives the algebraic definition of a normal subgroup: for any element of the group , the subgroup remains unchanged under conjugation. The diagram on the right illustrates this property visually: the large rectangle represents the group , the blue shaded region represents the subgroup , and the small box beside it represents the left coset and right cosets. The text written above the board, 'left cosets and right cosets of a normal subgroup coincide', further clarifies its geometric feature.
The instructor here supplements the construction logic of cosets. When we consider another element in the group, it still belongs to the group. Using the coset construction method, multiply group elements by the subgroup, and as we run through all elements of the group, these cosets eventually cover all elements of the group. This is precisely the foundation for understanding the property that left and right cosets of a normal subgroup coincide.
The video treats 'normal subgroup' and 'invariant subgroup' as synonymous terms. The definition is: let H be a subgroup of G; if all conjugates of every element in H belong to H, then H is called an invariant subgroup (normal subgroup) of G. The crucial point is not a single element, but that the conjugates of *all* elements must lie back in H.
This segment does not formally define 'conjugate' separately, but orally equates it with 'the result of performing a conjugation operation.' The instructor emphasizes that after such an operation, the element still belongs to H itself; thus, the definition can be read as: for any element in H, its conjugate remains in H.
The property presented in the video is: for an invariant subgroup, its left cosets and right cosets coincide. That is, for the corresponding representative element g, we have gH = Hg. This translates normality—from 'conjugates remain in H'—into an equality at the coset level.
The derivation chain in the clip is: first write the left coset gH, then use the fact that H is a normal subgroup to obtain gHg^{-1} = H, and finally write gH = Hg. The video does not expand the intermediate algebraic steps, but explicitly cites gHg^{-1} = H as the basis for concluding equality of the cosets.
The video states: if H is a subgroup of G, and all conjugates of elements of H remain in H, then H is called a normal subgroup of G. Here, 'conjugates' refers to the conjugation relation, so this definition aligns with the subsequent formula gHg^{-1}=H.
The blackboard writes gHg^{-1}=H and derives gH=Hg below it. Based on this, the video explains that the left coset and right coset of a normal subgroup are identical.
The video denotes left cosets by gH and right cosets by Hg, emphasizing that they coincide in the case of a normal subgroup.
The outer rectangle represents the group G, the inner rectangle the subgroup H, and points outside H represent the element g. Arrows go from H to g and back to H, together with shaded regions, visually express 'acting on H by g still lands inside H'—this is the graphical interpretation of the normal subgroup condition.
The instructor asks what happens if g is replaced by g', then answers: there is no such thing as a 'new coset', because g' still belongs to the original coset. In other words, different representatives from the same coset generate the identical set.
A normal subgroup is a subgroup such that for any element in the group, it satisfies subgroup . Its important property is that the left cosets and right cosets coincide completely, that is, .
Cosets are sets constructed via multiplication of group elements with a subgroup (e.g., or ). As the group elements range over the entire group , the union of all resulting cosets exhausts all elements of the group .
A normal subgroup (also called an invariant subgroup) is a subgroup for which, for every element in the group , holds . Geometrically, this means the left cosets and right cosets of the subgroup coincide completely.
Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.
The instructor says, "We assume H is a subgroup of G."
The board displays "H is a subgroup of G."
H
A subgroup of G, later used to define invariant subgroups or normal subgroups
A subgroup of the group G
The instructor says, "H is a subgroup of G."
The board displays "H is a subgroup of G."
G
The parent group, of which H is a subgroup
group
The instructor says, "We consider its left coset, namely gH."
The board writes "gH."
gH
The left coset with respect to element g
The coset generated by the subgroup H in the group G
The instructor says, "So what is gH equal to? Hg."
The board displays "gH = Hg".
Hg
the right coset of element g
the coset generated by subgroup H in group G
The board displays "gHg^{-1} = H".
This equation appears in the video as a direct conclusion from normality, without an element-by-element proof.
gHg^{-1}
the conjugate set of subgroup H with respect to g
an expression for a subset/subgroup of group G
The uppercase letter G appears repeatedly on the board to denote a group.
The instructor refers to 'the group G' and 'elements in G'.
Starting at approximately 00:28, draw an outer rectangular frame and label its upper-right corner G.
G
The parent group, i.e., the group in which cosets and normal subgroups are discussed.
group
The board displays 'H is a subgroup of G' and 'gHg^{-1} = H'.
The instructor mentions 'subgroup H' several times.
Starting at approximately 00:35, draw a smaller rectangle inside G and label it H.
H
A subgroup of G, and the object being tested for normality.
a subgroup of G
The board displays gHg^{-1} = H and gH = Hg.
The instructor says 'g is an element of G'.
Label the element g inside G and outside H, approximately at ratio 00:39.
g
An element taken from the parent group G, used to construct the left coset gH and the right coset Hg.
Group G
On the blackboard below, gH = Hg is written, with the left-hand side gH circled.
The instructor says, "Actually, this is the left coset."
gH
The left coset generated by the element g and the subgroup H.
A subset of G
On the blackboard below, gH = Hg is written, with the right-hand side Hg circled.
The instructor says, "This is the right coset."
Hg
The right coset generated by the subgroup H and the element g.
A subset of G
On the blackboard, gHg^{-1} = H is written.
The instructor explains the property of normal subgroups using this formula.
gHg^{-1}
The conjugate set of subgroup H with respect to element g.
A subset of G
The instructor asks, "What if I replace g here with, say, g'? Would the statement still hold?"
Approximately 01:31, draw a small box elsewhere in the diagram and label it g'.
g'
Another element taken from G, used to discuss whether coset representatives are unique.
Group G
The instructor says, "Let us examine the concept of a normal subgroup—or invariant subgroup. If all conjugates of elements in H belong to H, then H is called an invariant subgroup of G—or a normal subgroup."
The board displays "Invariant Subgroup (Normal Subgroup)" and "H is a subgroup of G; if all conjugates of elements in H belong to H, then H is called an invariant subgroup of G."
The video treats "normal subgroup" and "invariant subgroup" as two names for the same concept. Its definition proceeds as follows: first take a subgroup H of G, then require that all conjugates of elements in H remain in H. Here, "conjugates" are explained orally later as elements obtained via conjugation.
H is a subgroup of G
For all elements in H, their conjugate elements still belong to H
The instructor says, "When we perform a conjugation operation on it, it still lands within its own group," and "When we perform a conjugation operation, the result still belongs to H itself."
The instructor underlines in yellow "H is a subgroup of G, if all conjugate elements of H", and circles for emphasis the phrases "all", "conjugate elements", and "belong to H"
The video does not give a formal algebraic definition of "conjugate elements", but instead verbally equates them with "the result of performing a conjugation operation", emphasizing that these elements must still land back in H itself. This shifts the definition from an abstract noun to an operational, intuitive description.
Discussing the conjugates of elements in H
The instructor says, "Let us now examine another property: normal subgroups— their left cosets and right cosets coincide."
The board writes: "△ For a normal subgroup, its left cosets and right cosets coincide."
The video presents this as a property of normal subgroups: if H is a normal subgroup, then for the corresponding element g, the left coset gH equals the right coset Hg.
H is a normal subgroup of G
The blackboard reads: "Let H be a subgroup of G. If all elements conjugate to any element in H also belong to H, then H is called a normal subgroup of G."
The instructor elaborates on the concept of "normal subgroups".
"Conjugate elements" are not further defined on screen; context indicates they refer to elements within a conjugacy class.
The video states: If H is a subgroup of G and all conjugates of elements in H remain in H, then H is called a normal subgroup of G. Here, "conjugate" refers to the conjugacy relation, so this definition aligns with the subsequent formula gHg^{-1}=H.
H is a subgroup of G
Conjugation of elements in H remains in H
The blackboard reads "The left cosets and right cosets of a normal subgroup coincide."
The instructor says, "Therefore, the left cosets and right cosets of a normal subgroup coincide."
The video states a core characterization property of a normal subgroup as: for any , gHg^{-1} = H, and from this deduces gH = Hg. That is, the left cosets and right cosets of a normal subgroup are identical.
H is a normal subgroup of G
g is an element of the group G
Below the blackboard appears gH = Hg, with gH and Hg each circled.
The instructor explicitly says, "This is actually the left coset... and this is the right coset."
The video denotes the left coset by gH and the right coset by Hg, emphasizing that they coincide in the case of a normal subgroup.
H is a subgroup of G
g is an element of the group G
The top of the blackboard reads "the left cosets and right cosets of a normal subgroup coincide," followed by formula .
The instructor says, "Actually, g prime also belongs to G... Using the coset construction method, it can cover all elements."
A normal subgroup, also called an invariant subgroup, is a subgroup such that for any element of the group , we have . Geometrically, this means the left cosets and right cosets of the subgroup coincide exactly.
is a subgroup of group
g belongs to G
The instructor says: "Because we use the coset construction method with G and H, it covers all elements."
Cosets are constructed via multiplication of group elements with the subgroup (e.g., left coset or right coset ). When ranging over all elements of group , the union of these cosets covers all elements of group .
is a group
is a subgroup of
The instructor says, "If all conjugates of every element in H belong to H, then H is called a normal subgroup (or invariant subgroup) of G."
The board writes: "H is a subgroup of G; if all conjugates of elements in H belong to H, then H is called a normal subgroup of G."
The video uses the term "conjugates" without giving a more formal, element-wise definition within this segment.
If H is a subgroup of G and all conjugates of every element in H belong to H, then H is called an invariant subgroup (normal subgroup) of G.
H is a subgroup of G
All conjugates of every element in H belong to H
For every element belonging to H
The instructor says, "Its left cosets and right cosets coincide." "Because it is a normal subgroup, we have this conclusion... so gH equals what? Hg."
The board writes: "gHg^{-1} = H" and "gH = Hg"
The video does not explicitly state the quantifier "for all ", but the context implies that the property holds for the relevant cosets.
If H is a normal subgroup of G, then its left cosets coincide with its right cosets, that is, gH = Hg.
H is a normal subgroup of G
The video does not explicitly specify the quantifier scope.
The blackboard shows gHg^{-1} = H and gH = Hg.
The instructor says, "Therefore, the left cosets and right cosets of a normal subgroup coincide."
If H is a normal subgroup of G, then gH = Hg for all .
H is a normal subgroup of G
g is an element of the group G
For all
The instructor says, "Actually, there is no such thing as g'; why? Because g' also falls into the same region as g."
Approximately at ratio 01:31, draw g' and link it to the region containing g.
If g' and g lie in the same coset, then constructing that coset using either g or g' yields the same set; thus, there is no such thing as a 'different coset' starting from g'.
g and g′ are both elements of the group G.
g' and g belong to the same coset.
for representatives of the same coset
The instructor says, "We assume its left coset, so gH... Since it is a normal subgroup, we have this conclusion, right? Because we have this conclusion, gH equals what? Hg."
The board writing sequentially shows "gH", "gHg^{-1} = H", "↓", "gH = Hg".
The intermediate algebraic steps from gHg^{-1} = H to gH = Hg are not shown line by line in the video; only the concluding equations are written.
First, write down the left coset under consideration.
Orally, the video says, "We assume its left coset, so gH", and writes gH on the board.
Given that H is a normal subgroup, the video directly states the conclusion that conjugation preserves H.
The instructor says, "Since it is a normal subgroup, we have this conclusion", and the board shows gHg^{-1} = H.
From the previous step, it further follows that the left coset equals the right coset.
The instructor says, 'Because of this result, gH equals what? Hg,' and writes gH = Hg on the board.
In this segment, the video explains that for a normal subgroup, the left and right cosets coincide using the implication 'gHg^{-1} = H ⇒ gH = Hg'.
The blackboard first writes gHg^{-1}=H, then derives gH=Hg downward.
The instructor says, 'Using this property, it comes out in one step.'
The video does not expand the proof element by element; it gives only a conclusion-style derivation.
Starting from the normal subgroup condition on the blackboard.
The definition/property given directly in the video.
Right-multiplying both sides of gHg^{-1}=H by g yields equality of the left coset and the right coset.
A standard manipulation based on the right-cancellation law of group operations; the video summarizes it as 'it comes out in one step.'
The left cosets and right cosets of a normal subgroup coincide.
The instructor explains that 'there is no g'' because g' is also assigned to g.
In the diagram, g' is drawn inside the same region associated with g.
The video does not state the full Coset Partition Theorem, but explains orally and visually that representatives belong to the same coset.
Treat g' as a representative belonging to the same coset as g.
The video expresses this membership relation as 'assigned to g'.
Therefore, the coset generated by g' equals the coset generated by g.
A coset, as a subset, is determined by its partition block; representatives from the same block generate the same coset.
There is no issue of obtaining a new coset by changing the representative.
Yellow underlining highlights 'H is a subgroup of G; if all conjugate elements of H' ; then key terms such as 'all', 'conjugate elements', and 'belong to H' are circled.
While circling, the instructor explains, 'That is, after we apply conjugation, it still lands back inside its own subgroup,' and adds, 'One is "all", the other is "each and every".'
The definition sentence written on the board.
Yellow underlining.
Yellow circling.
First, the first half of the definition is underlined as a whole.
Then key terms such as 'all', 'conjugate elements', and 'belong to H' are circled separately.
The definition text itself remains unchanged.
The notations H and G remain unchanged.
Visual emphasis corresponds to two key points in the verbal explanation: first, 'all' denotes the universal quantifier; second, 'elements of the same type' are explained as elements that remain in H after conjugation.
The board writing proceeds top to bottom: 'gH', 'gHg^{-1} = H', '↓', 'gH = Hg'
The instructor says, 'We assume its left coset, so gH... because it is a normal subgroup, we have this conclusion... therefore, what does gH equal? Hg.'
gH
gHg⁻¹ equals H
downward arrow
gH equals Hg
First write the left coset gH
Then write the conjugation equation gHg^{-1}=H
Use a downward arrow to connect to the final conclusion gH=Hg
H always denotes a subgroup
g always denotes the representative element of a coset.
The board work compresses the relationship between 'normality' and 'coincidence of left and right cosets' into a short chain: from gHg^{-1}=H directly to gH=Hg.
The upper part of the blackboard displays the definition of a normal subgroup and the statement 'left cosets and right cosets coincide'.
Below it appears gHg^{-1}=H, with a downward arrow pointing to gH=Hg.
Verbal definition
Formula gHg^{-1}=H
Formula gH=Hg
Circling annotations and arrows
First present the definition, then present the derivation from the definition to coset equality
Notations G, H, and g remain unchanged
The screen displays the normal subgroup definition alongside the property of left and right cosets coinciding, emphasizing that this is the core conclusion of this segment.
Starting at approximately 00:28, draw an outer rectangular frame and label it G.
Starting at approximately 00:35, draw a smaller rectangle inside G and label it H.
Starting at approximately 00:39, label element g outside H.
Starting at approximately 00:56, draw an arrow from H to g, then draw a returning loop arrow.
Starting approximately at ratio 01:03, the H region is filled with blue diagonal lines.
Starting approximately at ratio 01:31, a small box is drawn separately and labeled g'.
The set boundaries of gH and Hg are not explicitly written in the figure; only regions and arrows indicate them.
Outer rectangle G
Inner rectangle H
Element g
Arrow
Blue shaded region
Element g'
First draw the inclusion relationship between G and H.
Then place g outside H.
Next, use an arrow to indicate the process of acting on H by g and then returning to H.
Finally, add g' to discuss representative membership.
H always lies inside G.
Both g and g' denote elements of G.
This diagram visually expresses the defining feature of a normal subgroup: 'transporting' H using an element of G still lands within H, thereby corresponding to the relations gHg^{-1}=H and gH=Hg; g' is added later to clarify that representatives from the same coset do not generate new cosets.
On the left side of the blackboard, formula appears together with the labels "left coset" and "right coset"; below them, two boxes represent and . On the right side, a large rectangle represents group , containing a blue shaded region representing subgroup , and two small boxes representing and .
large rectangle
blue shaded region
small square
small square
formula
the large rectangle always represents the group
the blue shaded region always represents the subgroup
the small square represents a coset
the diagram visually shows the position of the normal subgroup within the group , and the coincidence of the left coset and the right coset under the invariance condition
The instructor says, 'We must notice that this one consists of all elements of H; their conjugate elements... ultimately still belong to H itself. One is "all", the other is "all of them".'
Circle words such as "all" and "belong to H".
Focusing only on "conjugate elements" while ignoring the universal condition and the containment condition in the definition.
The video especially stresses that it must be "all" elements of H, and that their conjugate elements "all" belong to H—neither condition may be omitted.
The instructor anticipates the question, 'What if I use g' here instead of g—does the statement still hold?', then replies, 'Actually, there is no such thing as g''.
In the diagram, g' is drawn within the same region associated with g.
Upon seeing another element g', one might easily assume it generates a new coset distinct from gH.
The video points out that g' is still assigned to the original coset, so replacing g with g' merely changes the representative without altering the coset itself.
First present the definition of "invariant subgroup/normal subgroup", then discuss its property: for an invariant subgroup, its left and right cosets coincide.
The board work transitions from the definitional sentence to "△ The left and right cosets of an invariant subgroup coincide."
The video first gives the definition of normal subgroup / invariant subgroup, then applies this definition to coset properties, explaining that normality implies gH=Hg.
After stating the property, the instructor immediately asks, 'How do we prove this?', and proceeds to the derivation involving gH, gHg^{-1}=H, and gH=Hg.
The board work writes the property and the derivation consecutively.
The property that cosets coincide is not stated in isolation in this segment; rather, it is immediately illustrated by using gHg^{-1}=H to deduce gH=Hg.
The blackboard first writes the definition of a normal subgroup, then writes gHg^{-1}=H and gH=Hg.
The instructor says, 'Using this property, we get the result in one step.'
The video first builds the concept using the definition of a normal subgroup, then applies it to the property that left and right cosets are equal.
gH = Hg appears directly on the board.
The instructor identifies gH as the left coset and Hg as the right coset.
The property 'left and right cosets coincide' itself takes left cosets and right cosets as its objects.
In the rectangular diagram, H, after being acted upon by g, returns to its own region.
The instructor says, 'After all that operation, it comes back to itself — this subgroup is a normal subgroup.'
The diagram visualizes the abstract condition gHg^{-1} = H to support the conclusion that left and right cosets coincide.
on the blackboard, 'the left cosets and right cosets of an invariant subgroup coincide' is written alongside formula
the method of constructing cosets is used to explain and verify the property of normal subgroups (invariant subgroups), namely, proving the coincidence of left and right cosets by constructing cosets while iterating through all group elements
Let us now consider the concept of a normal subgroup—or invariant subgroup.
Let H be a subgroup of G. If all conjugates of elements in H belong to H, then H is called an invariant subgroup of G.
That is, when we apply a conjugation operation, the result still lies within the same subgroup.
Circle the phrase 'conjugate elements'.
Its left cosets and right cosets coincide. So what does gH equal? Hg.
gH equals Hg.
On the board: write 'gHg^{-1} = H', then 'gH = Hg'.
Because H is an invariant subgroup, we obtain this conclusion.
The intermediate algebraic manipulation is not expanded line by line in the video.
The board states, 'H is called a normal subgroup of G.'
The instructor explains around the definition of a normal subgroup.
The board displays gHg^{-1} = H and gH = Hg.
The instructor says, 'Using this property, it follows immediately.'
The blackboard below displays gH = Hg.
The instructor clearly distinguishes left cosets from right cosets.
In the rectangular diagram, H returns to itself after acting by g.
The instructor says, 'After all that operation, it comes back to itself.'
The instructor discusses whether the property still holds if we use g' instead.
The diagram adds g'.
formula and the text 'invariant subgroup' on the blackboard
the instructor mentions 'using the coset construction method, it can cover all the elements'
Covered · Introduce the concept of normal subgroup (invariant subgroup) and write its definition based on 'conjugate elements'.
Covered · Give an intuitive conjugation-based explanation of 'conjugate elements' in the definition, and emphasize 'all' and 'belong to H'.
Covered · State the property of invariant subgroups: left cosets coincide with right cosets.
Covered · Use the chalkboard chain gH, gHg^{-1}=H, gH=Hg to illustrate this property.
Covered · The blackboard presents the definition of a normal subgroup, gHg^{-1} = H, and gH = Hg, and the instructor verbally explains that the left and right cosets coincide.
Covered · The instructor draws a rectangular schematic diagram of G, H, and g, and uses arrows and shading to explain the intuitive meaning of 'acting and returning to itself.'
Covered · The instructor raises and answers a question about g' , explaining that representatives from the same coset do not generate new cosets.
Covered · This segment fully presents the blackboard definition of a normal subgroup and, together with the instructor's verbal explanation, clarifies the logic of traversing all group elements via cosets.
Reviewed English material v1: card "Definition of normal subgroup / invariant subgroup" at 0:00 — The video treats 'normal subgroup' and 'invariant subgroup' as synonymous terms. The definition is: let H be a subgroup of G; if all conjugates of every element in H belong to H, then H is called an invariant subgroup (normal subgroup) of G. The crucial point is not a single element, but that the conjugates of *all* elements must lie back in H.
Continue with related videos in the same subject.
Bilibili8:34.23900000000003
Bilibili4:54.26299999999998
Bilibili2:38.733000000000004