stab(a) ≤ G (Prove Stabilizer of an Element is a Subgroup of Group of Permutations G)

In Group Theory from Abstract Algebra, given a group of permutations G on a set X and an element a ∈ X, the stabilizer of "a" in G, which is stab(a)={α∈G | α(a)=a}, is a subgroup of G (we use the one-step subgroup test to prove this).

Links and resources
===============================
🔴 Subscribe to Bill Kinney Math: https://www.youtube.com/user/billkinn...
🔴 Subscribe to my Math Blog, Infinity is Really Big: https://infinityisreallybig.com/
🔴 Follow me on Twitter:   / billkinneymath  
🔴 Follow me on Instagram:   / billkinneymath  
🔴 You can support me by buying "Infinite Powers, How Calculus Reveals the Secrets of the Universe", by Steven Strogatz, or anything else you want to buy, starting from this link: https://amzn.to/3eXEmuA.
🔴 Check out my artist son Tyler Kinney's website: https://www.tylertkinney.co/
🔴 Desiring God website: https://www.desiringgod.org/

AMAZON ASSOCIATE
As an Amazon Associate I earn from qualifying purchases.