Content deleted Content added
MathMartin (talk | contribs) |
MathMartin (talk | contribs) moved definition of group with operators from Zassenhaus lemma here |
||
Line 1:
In [[mathematics]], more specifically in [[abstract algebra]], a '''group with operators''' is a [[group (mathematics)|group]] with a [[set (mathematics)|set]] of group [[endomorphism]]s.
== Definition ==
A '''group with operators''' or a <math>\Omega</math>-'''group''' is a group ''G'' with set ''Ω'' and a function
:<math>\Omega\rightarrow\operatorname{End}_{\mathbf{Grp}}(G)</math>,
where <math>\mathbf{Grp}</math> is the [[category of groups]] and <math>\operatorname{End}_{\mathbf{Grp}}(G)</math> is the set of group [[endomorphism]]s of <math>G</math>.
== Examples ==
| |||