Law of supply

From formulasearchengine
Revision as of 21:53, 8 December 2013 by 117.211.84.18 (talk) (See also)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In abstract algebra, a branch of pure mathematics, the algebraic structure group with operators or Ω-group can be viewed as a group with a 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 theorems.

Template:Algebraic structures

Definition

A group with operators (G, Ω) can be definedTemplate:Sfn as a group G together with an action of a set Ω on G :

Ω×GG:(ω,g)gω

which is distributive relatively to the group law :

(gh)ω=gωhω.

For each ωΩ, the application

ggω

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 (uω)ωΩ of endomorphisms of G.

Ω is called the operator domain. The associate endomorphismsTemplate:Sfn 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 f:GH satisfying

ωΩ,gG:f(gω)=(f(g))ω.

A subgroup S of G is called a stable subgroup, ω-subgroup or Ω-invariant subgroup if it respects the homotheties, that is

sS,ωΩ:sωS.

Category-theoretic remarks

In category theory, a group with operators can be definedTemplate:Sfn 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 (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

ΩEndGrp(G),

where EndGrp(G) is the set of group endomorphisms of G.

Examples

  • Given any group G, (G, ∅) is trivially a group with operators
  • Given an R-module M, R acts by scalar multiplication on the underlying Abelian group M, so (M, R) is a group with operators.
  • As a special case of the above, every vector space over k is a group with operators (V, k).

Applications

The Jordan–Hölder theorem also holds in the context of operator groups. The requirement that a group have a composition series is analogous to that of 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 is an operator-subgroup relative to the operator set X, of the group in question.

See also

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534