Group with operators: Difference between revisions

Revision as of 17:00, 23 November 2014

Revision as of 03:17, 22 October 2017

Line 9:

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>

that is distributive relativelyrelative to the group law :

:<math>\ (gh)^{\omega} = g^{\omega} h^{\omega}.</math>

For each <math>\omega \in \Omega </math>, the application