Group with operators: Difference between revisions

Content deleted Content added
MathMartin (talk | contribs)
Definition: clarified definition, added definition for stable subgroup
MathMartin (talk | contribs)
m Definition: style
Line 3:
== Definition ==
 
A '''group with operators''' <math>(G, \Omega)</math> is a group <math>G</math> together with a family of [[function (mathematics)|function]]s <math>\Omega</math>
:<math>\omega : G \to G \quad \omega \in \Omega</math>
which are [[distributive]] with respect to the [[group operation]]. The elements of <math>\Omega</math> are called '''homotheties''' of <math>G</math>.