Group with operators

In abstract algebra, a branch of mathematics, the algebraic structure group with operators or Ω-group can be viewed as a group with a set Ω that 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 theorems. A group with operators can be defined as a group together with an action of a set on : that is distributive relative to the group law: For each , the application is then an endomorphism of G. From this, it results that a Ω-group can also be viewed as a group G with an indexed family of endomorphisms of G. is called the operator domain. The associate endomorphisms are called the homotheties of G. Given two groups G, H with same operator domain , a homomorphism of groups with operators is a group homomorphism satisfying for all and A subgroup S of G is called a stable subgroup, -subgroup or -invariant subgroup if it respects the homotheties, that is for all and In , a group with operators can be defined as an object of a GrpM where M is a monoid (i.e. a with one ) and Grp denotes the . This definition is equivalent to the previous one, provided is a monoid (otherwise we may expand it to include the identity and all compositions). A morphism in this category is a natural transformation between two functors (i.e., two groups with operators sharing same operator domain M). Again we recover the definition above of a homomorphism of groups with operators (with f the component of the natural transformation). A group with operators is also a mapping where is the set of group endomorphisms of G. Given any group G, (G, ∅) is trivially a group with operators Given a module M over a ring R, R acts by scalar multiplication on the underlying abelian group of M, so (M, R) is a group with operators. As a special case of the above, every vector space over a field k is a group with operators (V, k). The Jordan–Hölder theorem also holds in the context of operator groups.