Fall ’ 02 A 2 a . Definition of group action p . 1 Math 551 – Algebra – Fall 2002

R. Lyons

Abstract:The axioms 1) and 2) yield that φ(g)φ(h) = φ(gh) and φ(1) = idΩ, for all g, h ∈ G. In particular φ(g)φ(g−1) = φ(g−1)φ(g) = φ(1) = idΩ, so φ(g) ∈ ΣΩ for each g ∈ G, and we have an action in the sense of b). Conversely, given φ as in b), we may define gω by the displayed equation, and the equations φ(g)φ(h) = φ(gh) and φ(1) = idΩ yield the axioms 1) and 2) in a). Group actions are an important source of subgroups: