Support this course by joining Wrath of Math to access exclusive and early abstract algebra videos, plus lecture notes at the premium tier! th-cam.com/channels/yEKvaxi8mt9FMc62MHcliw.htmljoin Abstract Algebra course: th-cam.com/play/PLztBpqftvzxWT5z53AxSqkSaWDhAeToDG.html Abstract Algebra exercises: th-cam.com/play/PLztBpqftvzxVmiiFW7KtPwBpnHNkTVeJc.html
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.
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
Support this course by joining Wrath of Math to access exclusive and early abstract algebra videos, plus lecture notes at the premium tier! th-cam.com/channels/yEKvaxi8mt9FMc62MHcliw.htmljoin
Abstract Algebra course: th-cam.com/play/PLztBpqftvzxWT5z53AxSqkSaWDhAeToDG.html
Abstract Algebra exercises: th-cam.com/play/PLztBpqftvzxVmiiFW7KtPwBpnHNkTVeJc.html
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.
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
Thanks a lot! I'm looking forward to making a full course just on proofs and formal math.
Thanks for the proof in the thumbnal! Got it! No need to watch now
No problem, always thorough in the thumbnail!