Support this course by joining Wrath of Math to access exclusive and early abstract algebra videos, plus lecture notes at the premium tier! kzitem.info/rock/yEKvaxi8mt9FMc62MHcliwjoin Abstract Algebra course: kzitem.info/door/PLztBpqftvzxWT5z53AxSqkSaWDhAeToDG Abstract Algebra exercises: kzitem.info/door/PLztBpqftvzxVmiiFW7KtPwBpnHNkTVeJc
@paulshin4649
16 күн бұрын
Great opportunity to talk about group actions (especially since all of mathematics is essentially studying actions - actions of monoids/groups on manifolds [dynamics], actions of rings/fields on abelian groups [linear algebra], actions of groups on vector spaces [rep theory], etc). The proof in the video shows that any group acts faithfully on itself (as a set) by left multiplication.
@ulipink
16 күн бұрын
i love this video, it really helps break down the complexity of a proof into simple subgoals in a really visual way, which i appreciate a lot im new to theorem proving and only really prove theorems using proof assistants/programming languages like Lean4, Isabelle and Idris2, so this video is a really nice step in the right direction for figuring out how to approach proofs more generally
@WrathofMath
16 күн бұрын
Thanks a lot! I'm looking forward to making a full course just on proofs and formal math.
@JohnSmith-ut5th
16 күн бұрын
Thanks for the proof in the thumbnal! Got it! No need to watch now
Пікірлер: 6