Math 2.0

Linear and multilinear algebra; matrix theory Object

Algebra of endomorphisms

Description

Let FF be a field and let VV be a vector space over FF. The algebra of endomorphisms End⁡F(V)\End_F(V) is the set of endomorphisms of VV, with pointwise addition, scalar multiplication, and composition as multiplication. It is an associative algebra over FF, with the identity map id⁡V\id_V as unit. Thus S(T+U)=ST+SUS(T + U) = ST + SU, (S+T)U=SU+TU(S + T)U = SU + TU and a(ST)=(aS)T=S(aT)a(ST) = (aS)T = S(aT) for all S,T,U∈End⁡F(V)S, T, U \in \End_F(V) and a∈Fa \in F.

Remarks

If dim⁡V=n\dim V = n, then the choice of a basis gives an algebra isomorphism End⁡F(V)≅Mn(F)\End_F(V) \cong M_n(F). For dim⁡V≥2\dim V \ge 2, the algebra is not commutative. Its group of units is the group GL(V)GL(V) of linear isomorphisms V→VV \to V.

Further reading

  1. Web https://en.wikipedia.org/wiki/Endomorphism_ring, lead section
About this page
Tag0E3X2G1ZQB
URIm2://0E3X2G1ZQB
Kindobject
WritingW0 stub
MSC15A04, 16S50
Instance ofSpace of linear maps

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)
  • field same_as: the identifiers in the databases (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.