Group with operators: Difference between revisions

Revision as of 04:28, 23 January 2013

Revision as of 07:07, 12 February 2013

Line 1:

In [[abstract algebra]], a branch of pure [[mathematics]], the [[algebraic structure]] '''group with operators''' or Ω-'''group''' can be viewed as a [[group (mathematics)|group]] with a [[setSet (mathematics)|set]] Ω which operates on the elements of the group in a special way.

Groups with operators were extensively studied by [[Emmy Noether]] and her school in the 1920s. She employed the concept in her original formulation of the three [[Noether isomorphism theorem]]s.

{{Algebraic structures|cTopic=[[module (mathematics)|Module]]-like structures}}

== Definition ==

A '''group with operators''' (''G'', <math>\Omega</math>) can be defined{{sfn|Bourbaki|1974|p=31}} as a group ''G'' together with an action of a set <math>\Omega</math> on ''G'' :

:<math>\ \Omega \times G \rightarrow G : (\omega , g) \mapsto g^{\omega}</math>