Inabstract algebra, a branch of mathematics, a group with operators or Ω-group is an algebraic structure that can be viewed as a group together 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.
Agroup with operators can be defined[1] 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 endomorphismofG. 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[2] are called the homothetiesofG.
Given two groups G, H with same operator domain , a homomorphism of groups with operators from to is a group homomorphism satisfying
Asubgroup SofG is called a stable subgroup, -subgroupor -invariant subgroup if it respects the homotheties, that is
Incategory theory, a group with operators can be defined[3] as an object of a functor category GrpM where M is a monoid (i.e. a category with one object) and Grp denotes the category of groups. This definition is equivalent to the previous one, provided is a monoid (if not, we may expand it to include the identity and all compositions).
Amorphism 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.
The Jordan–Hölder theorem also holds in the context of groups with operators. The requirement that a group have a composition series is analogous to that of compactnessintopology, and can sometimes be too strong a requirement. It is natural to talk about "compactness relative to a set", i.e. talk about composition series where each (normal) subgroup is an operator-subgroup relative to the operator set X, of the group in question.