Math 2.0

Associative rings and algebras Definition

Cartan matrix of an algebra

Builds on Associative algebraProjective moduleIndecomposable moduleSimple moduleComposition factorsJacobson radical

Definition

Let KK be a field and let AA be a finite-dimensional associative algebra over KK. Let P1,…,PnP_1, \dots, P_n be representatives of the isomorphism classes of indecomposable projective left AA-modules. Let Si=Pi/JPiS_i = P_i / JP_i, where JJ is the Jacobson radical of AA; then S1,…,SnS_1, \dots, S_n represent the isomorphism classes of simple left AA-modules. The Cartan matrix of AA is the n×nn \times n integer matrix C=(cij)C = (c_{ij}). Here cijc_{ij} is the number of times SjS_j occurs among the composition factors of PiP_i.

Remarks

Example: A=K[x]/(x2)A = K[x]/(x^2) has the single indecomposable projective P1=AP_1 = A, with composition series 0⊂(x)⊂A0 \subset (x) \subset A. Both factors are the simple module KK, so C=(2)C = (2). Example: for the algebra T2(K)T_2(K) of upper triangular 2×22 \times 2 matrices, P1=KE11P_1 = K E_{11} is simple and P2=KE12+KE22P_2 = K E_{12} + K E_{22} has the factors S2S_2 on top and S1S_1 below, so C=(1011)C = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}. Non-example: the polynomial ring K[x]K[x] is not finite-dimensional, and its projective module K[x]K[x] has no composition series, so it has no Cartan matrix in this sense. Some authors use the transpose of CC. If KK is a splitting field for AA, for example algebraically closed, then cij=dim⁡KHom⁡A(Pj,Pi)c_{ij} = \dim_K \Hom_A(P_j, P_i). For the group algebra KGKG of a finite group over a splitting field of characteristic pp, Brauer showed that C=DTDC = D^{T} D, where DD is the decomposition matrix, so CC is symmetric.

Reading path

To understand this page from the ground up, read these 7 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. Associative algebra concept
  2. Composition factors concept
  3. Indecomposable module concept
  4. Jacobson radical concept
  5. Projective module concept
  6. Simple module concept
  7. Cartan matrix of an algebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Cartan_matrix
About this page
Tag94SXH8EDPS
URIm2://94SXH8EDPS
Kinddefinition
WritingW0 stub
MSC16G10, 20C20
DefinesCartan matrix of an algebra
UsesAssociative algebra, Projective module, Indecomposable module, Simple module, Composition factors, Jacobson radical
Changed2 November 2026

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.