Visual Group Theory, Lecture 3.2: Cosets

Visual Group Theory, Lecture 3.2: Cosets

The "regularity" property of Cayley diagrams implies that identical copies of the fragment corresponding to a subgroup appear throughout the rest of the diagram. These subsets are called cosets. In this lecture, we formalize this algebraically and prove some basic properties about them. There is a natural notion of left coset and right coset, and these are frequently different. We analyze this both algebraically and in terms of Cayley diagrams. Finally, we conclude with an important theorem due to Joseph Lagrange, relating the size of a subgroup to the number of its cosets and the size of the original group.

[turbolesso]

It's the best thing in the world, when you understand theorems and concepts in math, which your prof couldn't teach you in a simple way. Thanks a lot for your effort. Keep up the great work.




I will binge watch this, till the explosion of my mind.

So nice to have an intuitive idea of what a coset is!

[amonhim]

Thank you so much for these amazing videos!

[irplans]

18:52 is this proof really sufficient shouldn't we prove that all of the left cosets of subgroup have the same size?

[scitwi]

So if the subgroup and its cosets partition the group into identical subsets, can we say that subgroups are like divisors and cosets are like their multiples?
As for the integers example: so the cosets of the subgroup of multiples of 4 are all the particular residue classes modulo 4? (E.g. all integers with the remainder of 1 are in one coset, all integers with the remainder of 2 are in the second coset, all integers with the remainder of 3 are in the third coset, and all integers with the remainder of 0 are in the original subgroup.) Am I right?
Regarding the Lagrange's Teorem: Ha! Looks like I _was_ right after all! It's all about divisors! :) Which means that if I happened to live before Lagrange, this would be now called Sci Twi's theorem :D

[solid]

Why do you prefer to write fr as r^2f? Seems a little bit arbitrary, and warrants some clarification to the casual observer. (Since I'd prefer to write anything, and just have it accepted, but can't seem to get away with that)

[fsaldan]

Small error in the last sentence. It should be the order of G divided by the order oH and not the other way around. Misspoke.