3
votes
4answers
134 views

What math will I need in order to learn Microsoft's UProve?

I'm studying Microsoft's UProve (independent studies at 35 years old) and forget most of the Math I learned in college. I intend to proceed and learn the contents of this chapter of this book but can ...
3
votes
1answer
88 views

Exercise #26 from “Abel's Theorem in Problems and Solutions” by Alekseev

Exercise: Prove, that for every element $a$ of the group: $(a^m)^{-1}=(a^{-1})^m$, where $m$ is natural. On the #23 was proven that $$(a_1 \centerdot \ldots \centerdot a_n)^{-1} = a_n^{-1} ...
8
votes
2answers
1k views

Intuition on the Orbit-Stabilizer Theorem

The Orbit-Stabilizer says that, given a group $G$ which acts on a set $X$, then there exists a bijection between the orbit of an element $x\in X$ and the set of left cosets of the stabilizer group of ...