Free group action
A group action is free if for every
Proposition
Given a Lie group
(see @sharpe2000differential Proposition 2.2 page 145).
A group action is free if for every
Proposition
Given a Lie group
(see @sharpe2000differential Proposition 2.2 page 145).