{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Description\n\nLet $F$ be a field and let $V$ be a vector space over $F$.\nThe *algebra of endomorphisms* $\\End_F(V)$ is the set of [[endomorphisms|0J7H0YBFDJ]] of $V$, with pointwise addition, scalar multiplication, and composition as multiplication.\nIt is an associative algebra over $F$, with the identity map $\\id_V$ as unit.\nThus $S(T + U) = ST + SU$, $(S + T)U = SU + TU$ and $a(ST) = (aS)T = S(aT)$ for all $S, T, U \\in \\End_F(V)$ and $a \\in F$.\n\n## Remarks\n\nIf $\\dim V = n$, then the choice of a basis gives an algebra isomorphism $\\End_F(V) \\cong M_n(F)$.\nFor $\\dim V \\ge 2$, the algebra is not commutative.\nIts group of units is the group $GL(V)$ of linear isomorphisms $V \\to V$.\n\n## Explanations\n\n### L1 human\n\nThe endomorphisms of a space can be added, scaled and composed.\nComposition plays the role of multiplication.\nThis makes them a ring that is also a vector space, like the square matrices.\n",
  "commit": "f591989ed15704e9d8755a7a5a6426d73de7a3ae",
  "front": {
    "instance_of": [
      "0X9MBPP2Z3"
    ],
    "kind": "object",
    "msc": [
      "15A04",
      "16S50"
    ],
    "name": "Algebra of endomorphisms",
    "sources": [
      {
        "locator": "lead section",
        "url": "https://en.wikipedia.org/wiki/Endomorphism_ring"
      }
    ],
    "tag": "0E3X2G1ZQB"
  },
  "kind": "object",
  "link": "https://math2.tamnd.com/node/0E3X2G1ZQB/",
  "links": [
    {
      "field": "instance_of",
      "target": "0X9MBPP2Z3"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/0E3X2G1ZQB.md",
  "msc": [
    "15A04",
    "16S50"
  ],
  "name": "Algebra of endomorphisms",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/0E3/0E3X2G1ZQB.md",
  "status": null,
  "tag": "0E3X2G1ZQB",
  "uri": "m2://0E3X2G1ZQB",
  "url": "https://math2.tamnd.com/wiki/algebra-of-endomorphisms/",
  "writing": {
    "tag": "0E3X2G1ZQB",
    "kind": "object",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "field same_as",
        "note": "the identifiers in the databases",
        "have": 0,
        "want": 1
      }
    ]
  }
}
