Group with operators: Difference between revisions

Revision as of 19:57, 25 May 2006

Revision as of 19:59, 25 May 2006

Line 19:

A group with operators is a mapping

:<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 ==