Math 2.0

General algebraic systems Definition

Endomorphism monoid

Builds on StructureHomomorphismMonoidFunction composition

Definition

Let ๐€\mathbf{A} be a structure with domain AA. An endomorphism of ๐€\mathbf{A} is a homomorphism from ๐€\mathbf{A} to ๐€\mathbf{A}. Let EE be the set of endomorphisms of ๐€\mathbf{A}, let โˆ˜\circ be composition and let idโกA\id_A be the identity map of AA. The endomorphism monoid of ๐€\mathbf{A} is the monoid Endโก(๐€)=(E,โˆ˜,idโกA)\End(\mathbf{A}) = (E, \circ, \id_A).

Remarks

The composite of two homomorphisms is a homomorphism and idโกA\id_A is a homomorphism, so EE is closed under โˆ˜\circ and contains idโกA\id_A; composition is associative.

Example: let ๐€=(โ„ค,+,0)\mathbf{A} = (\Z, +, 0). Each endomorphism hh satisfies h(x)=xโ€‰h(1)h(x) = x\,h(1) for all xโˆˆโ„คx \in \Z, by induction on xโ‰ฅ0x \ge 0 and h(โˆ’x)=โˆ’h(x)h(-x) = -h(x). So hโ†ฆh(1)h \mapsto h(1) is an isomorphism from Endโก(๐€)\End(\mathbf{A}) to the monoid (โ„ค,โ‹…,1)(\Z, \cdot, 1), since (gโˆ˜h)(1)=g(1)โ€‰h(1)(g \circ h)(1) = g(1)\,h(1).

Non-example: the map xโ†ฆx+1x \mapsto x + 1 lies in the monoid of all maps โ„คโ†’โ„ค\Z \to \Z but not in Endโก(โ„ค,+,0)\End(\Z, +, 0), because it sends 00 to 11.

The invertible elements of Endโก(๐€)\End(\mathbf{A}) are the automorphisms of ๐€\mathbf{A}.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Function composition concept
  2. Homomorphism concept
  3. Monoid concept
  4. Structure concept
  5. Endomorphism monoid definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Endomorphism
About this page
TagCZW4BPZPZC
URIm2://CZW4BPZPZC
Kinddefinition
WritingW0 stub
MSC08A35, 20M20
DefinesEndomorphism monoid
UsesStructure, Homomorphism, Monoid, Function composition

Markdown ยท JSON ยท Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.