Frogs, Ponds, and the First Isomorphism Theorem

credit to thomas for being frog Textbooks traditionally first define what cosets are, and then quotient groups, and finally use all that machinery to state the First Isomorphism Theorem. However, it is actually much more intuitive to approach it from the opposite direction, and in this video I use the theorem to motivate definitions for quotient groups and more.