Free group action
A group action of
Properties
- A free group action is necessarily effective.
Proof of 1
Since
for all and , the induced automorphism cannot be identity for such a , hence is a group monomorphism proving ^P1.
A group action of
Proof of 1
Since
for all and , the induced automorphism cannot be identity for such a , hence is a group monomorphism proving ^P1.