Group with operators: Difference between revisions

Revision as of 22:53, 24 December 2021

Latest revision as of 20:30, 18 May 2025

(2 intermediate revisions by 2 users not shown)

Line 1:

{{Short description|Concept in mathematics regarding sets operating on groups}}

In [[abstract algebra]], a branch of [[mathematics]], the [[algebraic structure]]a '''group with operators''' or Ω-'''group''' is an [[algebraic structure]] that can be viewed as a [[group (mathematics)|group]] together with a [[Setset (mathematics)|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 theoremtheorems]]s.

{{Algebraic structures|Module}}

Line 12:

: <math>(g \cdot h)^\omega = g^\omega \cdot h^\omega.</math>

For each <math>\omega \in \Omega </math>, the application <math>g \mapsto g^\omega</math> is then an [[Group homomorphism#Types|endomorphism]] of ''G''. From this, it results that a Ω-group can also be viewed as a group ''G'' with an [[indexed family]] <math>\left(u_\omega\right)_{\omega \in \Omega}</math> of endomorphisms of ''G''.

<math>\Omega</math> is called the '''operator ___domain'''. The associate endomorphisms{{sfn|Bourbaki|1974|pp=30–31}} are called the '''homotheties''' of ''G''.

Given two groups ''G'', ''H'' with same operator ___domain <math>\Omega</math>, a '''homomorphism''' of groups with operators from <math>(G, \Omega)</math> to <math>(H, \Omega)</math> is a [[group homomorphism]] <math>\phi: G \to H</math> satisfying

: <math>\phi\left(g^\omega\right) = (\phi(g))^\omega</math> for all <math>\omega \in \Omega</math> and <math>g \in G.</math>

Line 23:

== Category-theoretic remarks ==

In [[category theory]], a '''group with operators''' can be defined{{sfn|Mac Lane|1998|p=41}} as an [[object (category theory)|object]] of a [[functor category]] '''Grp'''^''M'' where ''M'' is a [[monoid]] (i.e. a [[Categorycategory (mathematics)|category]] with one [[object (category theory)|object]]) and '''Grp''' denotes the [[category of groups]]. This definition is equivalent to the previous one, provided <math>\Omega</math> is a monoid (otherwiseif not, we may expand it to include the [[identity function|identity]] and all [[function composition|compositions]]).

A [[morphism]] in this category is a [[natural transformation]] between two [[functor]]s (i.e., two groups with operators sharing same operator ___domain ''M''{{hairsp}}). Again we recover the definition above of a homomorphism of groups with operators (with ''f'' the [[natural transformation#Definition|component]] of the natural transformation).

A group with operators is also a mapping

Line 35:

* Given any group ''G'', (''G'', ∅) is trivially a group with operators

* Given a [[module (mathematics)|module]] ''M'' over a [[ring (mathematics)|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 [[Fieldfield (mathematics)|field]] ''kK'' is a group with operators (''V'', ''kK'').

==Applications==

The [[Jordan–Hölder theorem]] also holds in the context of operator groups with operators. The requirement that a group have a [[composition series]] is analogous to that of [[compact space|compactness]] in [[topology]], 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|normal]]) subgroup is an operator-subgroup relative to the operator set ''X'', of the group in question.

==See also==

Line 51:

*{{cite book | last=Mac Lane | first=Saunders | title=Categories for the Working Mathematician | publisher=Springer-Verlag | year=1998 | isbn=0-387-98403-8}}

[[Category:Group actions (mathematics)]]

[[Category:Universal algebra]]