Content deleted Content added
→References: adding 1974 Bourbaki for foot notes (only one I have) |
→Definition: adding 2 supporting references with comment about these being endomorphisms |
||
Line 6:
== Definition ==
A '''group with operators''' (''G'', <math>\Omega</math>)
:<math>\omega : G \to G \quad \omega \in \Omega</math>
which are [[distributive]] with respect to the [[group operation]]. <math>\Omega</math> is called the '''operator ___domain''', and its elements are [[endomorphisms]]{{sfn|Bourbaki|1974|pp=30-31}} called the '''homotheties''' of ''G''.
We denote the image of a group element ''g'' under a function <math>\omega</math> with <math>g^\omega</math>. The distributivity can then be expressed as
| |||