\documentclass[11pt]{article}
\usepackage[a4paper,margin=25mm]{geometry}
\usepackage[T1]{fontenc}
\usepackage{lmodern,amsmath,amssymb,amsthm,mathtools,indentfirst,microtype,xcolor}
\usepackage[colorlinks=true,linkcolor=blue,citecolor=blue,urlcolor=blue]{hyperref}
\urlstyle{same}
\setlength{\parindent}{1.5em}
\setlength{\emergencystretch}{1em}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{maintheorem}{Theorem}
\renewcommand{\themaintheorem}{\Alph{maintheorem}}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Ext}{Ext}
\DeclareMathOperator{\rad}{rad}
\DeclareMathOperator{\add}{add}
\DeclareMathOperator{\proj}{proj}
\DeclareMathOperator{\pd}{pd}
\DeclareMathOperator{\gldim}{gl.dim}
\DeclareMathOperator{\Sub}{Sub}
\newcommand{\cC}{\mathcal C}
\newcommand{\cL}{\mathcal L}
\newcommand{\cQ}{\mathcal Q}
\newcommand{\cE}{\mathcal E}
\newcommand{\cP}{\mathcal P}
\newcommand{\cZ}{\mathcal Z}
\title{A note of the Cartan determinant conjecture}
\author{Qiyue Tang}
\date{}
\begin{document}
\maketitle
\begingroup
\renewcommand{\thefootnote}{}
\begin{NoHyper}
\footnotetext{\textit{2020 Mathematics Subject Classification.} Primary 16E10; Secondary 16G10, 16G60.\newline
\textit{Keywords.} Cartan determinant conjecture, Artin algebra, idempotent corner, torsionless-finite algebra.}
\end{NoHyper}
\endgroup
\begin{abstract}
We prove the Cartan determinant conjecture for every corner of finite global dimension in an Artin algebra of global dimension at most two. Consequently, the conjecture holds for torsionless-finite Artin algebras.
\end{abstract}

\begingroup\color{blue}
\section*{Scholarly credit}
By posting this manuscript on this platform, I do not seek to assert ownership of the results or claim priority. I welcome anyone interested in preparing a finished account or checking the arguments; the eventual scholarly credit should go to those who undertake that work.
\par\endgroup

\section{Introduction}
Finite projective resolutions express simple modules as integer combinations of indecomposable projective modules. In 1954, Eilenberg established the resulting unimodularity of the Cartan matrix for finite-dimensional algebras of finite global dimension \cite{Eilenberg}. The Cartan determinant conjecture asks whether its sign is always positive. Zacharia proved this for Artin algebras of global dimension at most two in 1983 \cite{Zacharia}.

An Artin algebra is an associative unital algebra that is finite as a module over a commutative Artin ring. Let $A$ be a nonzero Artin algebra. Choose representatives $S_1,\ldots,S_n$ of its simple right modules and their indecomposable projective covers $P_1,\ldots,P_n$. Its integral Cartan matrix is
\[
C_A=\bigl([P_j:S_i]\bigr)_{1\le i,j\le n},
\]
where $[P_j:S_i]$ is composition multiplicity. Write $\gldim A$ for global dimension. If it is finite, choose a finite projective resolution of each $S_j$ and write its degree-$q$ term as $\bigoplus_iP_i^{a_{iqj}}$ for integers $q\ge0$, with nonnegative multiplicities $a_{iqj}$ that vanish beyond the resolution. Taking alternating composition multiplicities gives $C_AQ=I$, where $Q_{ij}=\sum_{q\ge0}(-1)^qa_{iqj}$ and $I$ is the $n\times n$ identity matrix. Hence $\det C_A=\pm1$.

Two reduction methods compare Cartan determinants with those of an idempotent corner or an idempotent quotient. Burgess--Fuller develop matrix reduction using projective resolutions \cite[Lemma 1.5]{BF}. Ingalls--Paquette compare an algebra with a corner under a finite-global-dimension hypothesis on the Yoneda algebra associated with the deleted idempotent \cite[Proposition 6.1]{IP}. For representation-finite Artin algebras, Chen--Guo prove the conjecture \cite[Theorem 1.1]{ChenGuo}.

\begin{maintheorem}\label{thm:corner}
Let $R$ be an Artin algebra with $\gldim R\le2$, and let $e\in R$ be a nonzero idempotent. If $A=eRe$ has finite global dimension, then $\det C_A=1$.
\end{maintheorem}
The proof filters the category of finite projective right $R$-modules by the projective dimensions of the evaluated modules $Pe$. Each positive layer, and a modified initial layer, has an ordinary object quotient whose endomorphism algebra has global dimension at most two. Integer Cartan column operations give a factorization of $\det C_R$ into $\det C_A$ and the determinants of these auxiliary algebras. Zacharia's theorem determines their signs.

A finitely generated right $A$-module is torsionless if it embeds in a finitely generated projective module. The algebra $A$ is torsionless-finite if there are only finitely many isomorphism classes of indecomposable torsionless right modules; see Ringel \cite{Ringel}. The category of torsionless modules is closed under kernels. Its additive generator therefore gives an endomorphism algebra of global dimension at most two, to which Theorem~\ref{thm:corner} applies.
\begin{maintheorem}\label{thm:tf}
Let $A$ be a torsionless-finite Artin algebra. If $\gldim A<\infty$, then $\det C_A=1$.
\end{maintheorem}

\section{Kernels and Cartan factorization}\label{sec:quotient}
Fix a commutative Artin ring $K$. All algebras are finite $K$-algebras, and modules are finitely generated right modules unless specified otherwise. Write $\operatorname{mod}B$ for their category, $\proj B$ for its full subcategory of projective modules, $\pd_B N$ for projective dimension, and $\gldim B$ for global dimension on all right modules. For integers $q\ge0$, $\Ext_B^q(-,-)$ is the degree-$q$ derived functor of $\Hom_B(-,-)$. We put $\pd_B0=-\infty$. The symbol $\ell_K V$ denotes the composition length of a finite $K$-module $V$, and $\rad B$ denotes the Jacobson radical of a ring $B$. Endomorphism rings are multiplied by composition, with the rightmost map applied first; $\Hom_{\cC}(X,Y)$ denotes the morphisms from $X$ to $Y$ in a category $\cC$.

For an object $W$ in an additive category, $\add W$ is the full subcategory of direct summands of finite direct sums of $W$. For a collection of objects, $\add$ has the same closure meaning. All additive subcategories below are closed under isomorphisms and direct summands. We use $K$-linear, idempotent-complete Krull--Schmidt categories: every idempotent splits, and every object is a finite direct sum of indecomposable objects with local endomorphism rings, uniquely up to isomorphism and permutation. A local ring has a unique maximal right ideal, its Jacobson radical. The Hom spaces have finite $K$-length, and there are finitely many indecomposable isomorphism classes. A basic additive generator is the direct sum of one representative of each such class. The zero category is allowed as an auxiliary category; its Cartan determinant is the empty determinant $1$.

If $\cC=\add W$, the functor $\Hom_{\cC}(W,-)$ sends $Y$ to $\Hom_{\cC}(W,Y)$ and a map $f:Y\to Y'$ to $t\mapsto ft$. Its values are right $\End_{\cC}(W)$-modules by $t\cdot b=tb$. It identifies $\cC$ with $\proj\End_{\cC}(W)$. Indeed, it is fully faithful on finite sums of $W$, hence on their direct summands, and every finite projective module is such a summand of a finite free module. A categorical kernel of $f:X\to Y$ is a morphism $u:T\to X$ with $fu=0$ such that every $v:V\to X$ with $fv=0$ factors uniquely through $u$.

\begin{lemma}\label{lem:kernels}
If $\cC=\add W$ has kernels of all its morphisms, then $\gldim\End_{\cC}(W)\le2$.
\end{lemma}
\begin{proof}
Put $B=\End_{\cC}(W)$. A finite right $B$-module $N$ has a projective presentation induced by a morphism $f:X_1\to X_0$ in $\cC$. The kernel property gives an exact sequence
\[
0\longrightarrow\Hom(W,\ker f)\longrightarrow\Hom(W,X_1)
\longrightarrow\Hom(W,X_0)\longrightarrow N\longrightarrow0.
\]
Its first three modules are projective, so $\pd_BN\le2$. In particular, every simple right $B$-module has projective dimension at most two. This also bounds arbitrary modules: the radical of $B$ is nilpotent, every module has a finite filtration by its radical powers with semisimple factors, and direct sums of projective resolutions of simple modules resolve those factors in length at most two. Successive extensions preserve this bound.
\end{proof}

Cartan entries can be computed using lengths over $K$. Let $X_1,\ldots,X_n$ represent the indecomposable isomorphism classes of $\cC$, take $W=\bigoplus_iX_i$, and let $L_i$ be the simple top of $\Hom(W,X_i)$ over $B=\End(W)$. Define the residual division ring
\[
\Delta_i=\End(X_i)/\rad\End(X_i).
\]
Let $\varepsilon_i\in B$ be the projection of $W$ onto $X_i$ followed by inclusion. The right projective $\Hom(W,X_j)$ is $\varepsilon_jB$; its simple top is $\varepsilon_jB/\varepsilon_j\rad B$. The corner $\varepsilon_iB\varepsilon_i$ is $\End(X_i)$, and the quotient $B/\rad B$ is the product of the division rings $\Delta_i$. Thus $N\mapsto N\varepsilon_i$ is an exact component functor, with value $\Delta_i$ on $L_i$ and zero on the other simples. Applying it to a composition series, and using $\Hom(W,X_j)\varepsilon_i\cong\Hom(X_i,X_j)$, gives
\begin{equation}\label{eq:normalization}
\bigl[\Hom(W,X_j):L_i\bigr]
=\frac{\ell_K\Hom(X_i,X_j)}{\ell_K\Delta_i}.
\end{equation}
Thus these ratios, with sources indexing rows and targets indexing columns, give $C_B$. The same formula on a subset of the objects gives the Cartan matrix of their endomorphism algebra. Replacing an additive generator by its basic generator is a Morita equivalence and preserves the Cartan matrix up to simultaneous relabelling.

Let $\cL\subseteq\cC$ be an additive subcategory. A right $\cL$-approximation of $Y$ is a morphism $p_Y:U_Y\to Y$, with $U_Y\in\cL$, through which every morphism from an object of $\cL$ to $Y$ factors. Such approximations exist here: take generators over $K$ of the finitely many spaces $\Hom(V,Y)$, where $V$ runs over the indecomposable objects of $\cL$, and combine their maps into a morphism from a finite direct sum of these objects.

The object quotient $\cQ=\cC/[\cL]$ has the same objects as $\cC$, with
\[
\cQ(X,Y)=\cC(X,Y)/[\cL](X,Y),
\]
where $[\cL](X,Y)$ consists of maps factoring through objects of $\cL$. Composition is induced from $\cC$. The class of a map $f$ will be denoted by $\bar f$. For $f:X\to Y$ and $p:U\to Y$, the map $(f,p):X\oplus U\to Y$ has restrictions $f$ and $p$ on the two summands.

\begin{lemma}\label{lem:quotient}
Suppose each $Y\in\cC$ has a right $\cL$-approximation $p_Y:U_Y\to Y$ whose kernel exists and belongs to $\cL$. Suppose also that $\ker(f,p_Y)$ exists in $\cC$ for every $f:X\to Y$. Then $\cQ$ has kernels and is equivalent to $\proj D$ for an Artin algebra $D$ with $\gldim D\le2$. If $\Gamma$ and $\Gamma_{\cL}$ are endomorphism algebras of basic generators of $\cC$ and $\cL$, respectively, then
\begin{equation}\label{eq:factorization}
\det C_\Gamma=\det C_{\Gamma_{\cL}}\det C_D.
\end{equation}
\end{lemma}
\begin{proof}
Fix $f:X\to Y$, and write $T=\ker(f,p_Y)$. Let $h:T\to X$ and $v:T\to U_Y$ be the components of its kernel morphism. Then $fh=-p_Yv$, so $\bar f\bar h=0$.

For a map $g:V\to X$ with $\bar f\bar g=0$, write $fg=ab$ with $b:V\to V'$ and $a:V'\to Y$, where $V'\in\cL$. By approximation, $a=p_Ys$ for some $s:V'\to U_Y$. Thus $(g,-sb):V\to X\oplus U_Y$ factors through $T$, giving a factorization of $\bar g$ through $\bar h$.

For uniqueness, suppose $k:V\to T$ and $hk=cb$ factor through $V'\in\cL$, with $c:V'\to X$. Lift $fc$ through $p_Y$, writing $fc=p_Yt$. The morphism $(c,-t)$ induces $j:V'\to T$, and $h(k-jb)=0$. Let $\kappa:\ker p_Y\to U_Y$ be the kernel map. The pair $(0,\kappa)$ induces $\iota:\ker p_Y\to T$. If $w:V\to T$ satisfies $hw=0$, then $p_Yvw=-fhw=0$. There is a unique $s:V\to\ker p_Y$ with $\kappa s=vw$. The pairs $(h,v)w$ and $(h,v)\iota s$ are equal; since the kernel morphism $(h,v)$ is monic, $w=\iota s$. Thus $\iota$ is the kernel of $h$. In particular, $k-jb$ factors through $\ker p_Y\in\cL$. Both $jb$ and $k-jb$ vanish in $\cQ$, so $\bar k=0$. Hence $\bar h$ is a categorical kernel of $\bar f$.

Decompose each object using its indecomposable summands in $\cC$. The summands in $\cL$ become zero in $\cQ$. For a summand $X$ outside $\cL$, the ideal $[\cL](X,X)$ contains no invertible map, since an invertible factorization would make $X$ a summand of an object of $\cL$. It is therefore contained in the radical of the local ring $\End_{\cC}(X)$. The quotient endomorphism ring remains local, with the same residual division ring. Distinct surviving summands remain nonisomorphic: mutually inverse quotient maps lift to maps whose composites differ from identities by radical elements, and an invertible composite makes one indecomposable object a summand of the other.

Let $V$ be the sum of the surviving representatives and set $D=\End_{\cQ}(V)$. The projections onto these summands give a complete set of pairwise nonisomorphic primitive idempotents in the Artin algebra $D$. Thus all finite projective $D$-modules are represented by direct sums of those objects. Full faithfulness of $\Hom_{\cQ}(V,-)$ on these sums gives $\cQ\simeq\proj D$, including idempotent completeness. The kernel assertion and Lemma~\ref{lem:kernels} imply $\gldim D\le2$.

For the determinant, let $W$ be the basic generator of $\cC$ and put $P_Y=\Hom_{\cC}(W,Y)$. Let $I_Y=[\cL](W,Y)$, the image of $\Hom(W,p_Y)$. The actual kernel gives
\[
0\longrightarrow P_{\ker p_Y}\longrightarrow P_{U_Y}
\longrightarrow I_Y\longrightarrow0.
\]
In the group of finite $\Gamma$-modules modulo short exact sequences, write $[N]$ for the class of a module $N$. The sequence yields
\[
[P_Y/I_Y]=[P_Y]-[P_{U_Y}]+[P_{\ker p_Y}].
\]
Order the indecomposable objects with those of $\cL$ first. Keep the corresponding Cartan columns and replace each remaining column by the displayed combination. Only columns indexed by $\cL$ are added to it, so the transformation has determinant one. The new high columns vanish on the low rows, since every map from a low object factors through $\cL$. The low diagonal block is $C_{\Gamma_{\cL}}$ by \eqref{eq:normalization}. The high diagonal block is $C_D$: the surviving residual division rings are unchanged, and its component spaces are exactly $\cQ(X_i,X_j)$. The transformed matrix is therefore
\[
\begin{pmatrix}C_{\Gamma_{\cL}}&0\\ *&C_D\end{pmatrix},
\]
which proves \eqref{eq:factorization}.
\end{proof}

\section{The filtration of a corner}\label{sec:filtration}
\begin{proof}[Proof of Theorem~\ref{thm:corner}]
Put $A=eRe$ and $a=\gldim A<\infty$. For $\cE=\proj R$, evaluation at $e$ is the exact functor
\[
F:\operatorname{mod}R\longrightarrow\operatorname{mod}A,\qquad F(N)=Ne.
\]
It preserves kernels by restriction to the $e$-components. If a map is surjective and $y=ye$ is in its target, choose a preimage $x$; then $xe$ maps to $y$. Hence $F$ also preserves surjections and is exact.

The category $\cE$ is closed under module kernels. Indeed, for a map $g:P_1\to P_0$ between projectives, put $T=\ker g$. For any right $R$-module $V$, the short exact sequences with middle terms $P_1$ and $P_0$ give
\[
\Ext_R^1(T,V)\cong\Ext_R^2(\operatorname{im}g,V)
\cong\Ext_R^3(\operatorname{coker}g,V)=0.
\]
Thus $T$ is projective; it is finitely generated because $R$ is Artinian.

For integers $0\le m\le a$, define
\[
\cE_m=\{P\in\proj R:\pd_A(Pe)\le m\},\qquad
\cP=\add(eR).
\]
These are finite additive subcategories, $\cP\subseteq\cE_0$, and $\cE_a=\cE$. Let $\Gamma_m$ be the endomorphism algebra of a basic generator of $\cE_m$.

For $Q\in\proj A$, the induced module $Q\otimes_A eR$ belongs to $\cP$: a splitting of $Q$ from a finite free $A$-module tensors to a splitting from a finite sum of $eR$. For $Y\in\proj R$ we have
\begin{equation}\label{eq:adjunction}
\Hom_R(Q\otimes_A eR,Y)\cong\Hom_A(Q,Ye),\qquad
(Q\otimes_AeR)e\cong Q.
\end{equation}
The first bijection sends $u$ to $q\mapsto u(q\otimes e)$; its inverse sends $v$ to $q\otimes er\mapsto v(q)r$. In the second isomorphism, $q\otimes ere$ maps to $qere$. Thus $F$ restricts to an equivalence $\cP\simeq\proj A$.

\smallskip\noindent\textit{Positive layers.}
Fix $1\le m\le a$ and $Y\in\cE_m$. Choose a right $\cE_{m-1}$-approximation $p_Y:U_Y\to Y$. Since $\cP\subseteq\cE_{m-1}$, \eqref{eq:adjunction} lifts a projective cover of $FY$ to a map from an object of $\cP$, which then factors through $p_Y$. Hence $Fp_Y$ is surjective.

The module kernel $K_Y=\ker_Rp_Y$ belongs to $\proj R$, and exactness of $F$ gives
\[
0\longrightarrow FK_Y\longrightarrow FU_Y\longrightarrow FY\longrightarrow0.
\]
The projective-dimension bound for this sequence is
\begin{equation}\label{eq:pdbound}
\pd_A FK_Y\le\max\{\pd_A FU_Y,\pd_A FY-1\}\le m-1.
\end{equation}
For every right $A$-module $V$ and integer $q\ge1$, the long exact Ext sequence has a segment
\[
\Ext_A^q(FU_Y,V)\longrightarrow\Ext_A^q(FK_Y,V)\longrightarrow\Ext_A^{q+1}(FY,V).
\]
The outer terms vanish for $q>m-1$, so $K_Y\in\cE_{m-1}$.

For $f:X\to Y$ in $\cE_m$, the kernel $T=\ker_R(f,p_Y)$ is again projective over $R$. Its evaluation fits into
\[
0\longrightarrow FT\longrightarrow FX\oplus FU_Y
\xrightarrow{F(f,p_Y)}FY\longrightarrow0.
\]
The last map is surjective, and the same bound gives $\pd_A FT\le m$. Thus $T\in\cE_m$. Lemma~\ref{lem:quotient} now applies to $\cE_{m-1}\subseteq\cE_m$. Write $D_m$ for the endomorphism algebra of the surviving basic generator of $\cE_m/[\cE_{m-1}]$. We obtain
\begin{equation}\label{eq:positive}
\gldim D_m\le2,\qquad
\det C_{\Gamma_m}=\det C_{\Gamma_{m-1}}\det C_{D_m}.
\end{equation}

\smallskip\noindent\textit{The initial layer.}
Let
\[
\cZ=\{P\in\proj R:Pe=0\}.
\]
The kernel of any map between its objects is projective over $R$ and evaluates to zero. Lemma~\ref{lem:kernels} implies that the endomorphism algebra $Z$ of a basic generator of $\cZ$ has global dimension at most two.

Set $\cL_0=\add(\cP\cup\cZ)$ inside $\cE_0$. The two subcategories have no common nonzero indecomposable object, since $F$ is an equivalence on $\cP$ and vanishes on $\cZ$. Moreover,
\[
\Hom_R(eR,Z')\cong Z'e=0\qquad(Z'\in\cZ).
\]
Therefore the Cartan matrix of the endomorphism algebra of a basic generator of $\cL_0$ is block triangular, with diagonal blocks $C_A$ and $C_Z$. Here the first block uses $\End_R(eR)\cong eRe$, where $x\in eRe$ acts by left multiplication, and Morita invariance removes repeated summands of $eR$. Its determinant is $\det C_A\det C_Z$.

For $Y\in\cE_0$, the module $FY$ is projective over $A$. Define
\[
p_Y:(FY)\otimes_AeR\longrightarrow Y,\qquad y\otimes er\longmapsto yr.
\]
Every map $Q\otimes_AeR\to Y$ corresponds under \eqref{eq:adjunction} to $Q\to FY$ and therefore factors through $p_Y$ by tensoring that map with $eR$. Also $Fp_Y$ is an isomorphism. Choose a right $\cZ$-approximation $z_Y:Z_Y\to Y$ and form
\[
q_Y=(p_Y,z_Y):(FY)\otimes_AeR\oplus Z_Y\longrightarrow Y.
\]
This is a right $\cL_0$-approximation. Its kernel is projective over $R$ and evaluates to zero because $Fq_Y$ is an isomorphism. Hence $\ker q_Y\in\cZ\subseteq\cL_0$.

For $f:X\to Y$ in $\cE_0$, the kernel of $(f,q_Y)$ is projective over $R$. After evaluation, projection onto the first component identifies the kernel of $(Ff,Fq_Y)$ with $FX$; its inverse is $x\mapsto(x,-(Fq_Y)^{-1}Ff(x))$. It is therefore projective over $A$, so $\ker(f,q_Y)\in\cE_0$. Applying Lemma~\ref{lem:quotient} to $\cL_0\subseteq\cE_0$ gives an Artin algebra $D_0$ with
\begin{equation}\label{eq:zero}
\gldim D_0\le2,\qquad
\det C_{\Gamma_0}=\det C_A\det C_Z\det C_{D_0}.
\end{equation}

Since $\cE_a=\proj R$, its basic generator has endomorphism algebra Morita equivalent to $R$. Multiplying \eqref{eq:positive} and \eqref{eq:zero} yields
\begin{equation}\label{eq:total}
\det C_R=\det C_A\det C_Z\prod_{m=0}^{a}\det C_{D_m}.
\end{equation}
Every nonzero algebra among $R,Z,D_0,\ldots,D_a$ has global dimension at most two. Zacharia's theorem \cite{Zacharia} gives determinant one for each of them. Zero categories contribute the empty determinant one. Thus \eqref{eq:total} gives $\det C_A=1$.
\end{proof}

\section{Finite submodule categories}\label{sec:applications}
For a finite right module $M$ over an Artin algebra $B$, let $\Sub(M)$ be the full subcategory of finite modules isomorphic to submodules of finite direct sums of $M$. It is closed under direct sums, direct summands, and module kernels: a kernel is a submodule of its source, which already embeds in a finite sum of $M$. We call $\Sub(M)$ finite if it has finitely many indecomposable isomorphism classes.

\begin{corollary}\label{cor:sub}
Let $B$ be an Artin algebra and $M$ a nonzero finite right $B$-module. Suppose $\Sub(M)$ is finite. If $\gldim\End_B(M)<\infty$, then $\det C_{\End_B(M)}=1$.
\end{corollary}
\begin{proof}
Choose an additive generator $W$ of $\Sub(M)$ containing $M$ as a direct summand; adjoining $M$ to a basic generator achieves this. The category $\add W=\Sub(M)$ has its actual module kernels, so Lemma~\ref{lem:kernels} gives $\gldim\End_B(W)\le2$. Let $e$ be the projection of $W$ onto $M$ followed by inclusion. Extension by zero on the complementary summand identifies
\[
e\End_B(W)e\cong\End_B(M).
\]
Apply Theorem~\ref{thm:corner}.
\end{proof}

\begin{proof}[Proof of Theorem~\ref{thm:tf}]
The torsionless right $A$-modules are precisely $\Sub(A_A)$: every finite projective module is a summand of a finite sum of copies of $A$, and every such sum is projective. Torsionless-finiteness makes this category finite. Corollary~\ref{cor:sub}, applied to $M=A_A$, gives the result because left multiplication identifies $\End_A(A_A)$ with $A$.
\end{proof}

\section*{AI contributions}
The mathematical arguments were developed with AI assistance in ChatGPT. Codex assisted in checking the arguments and cited inputs and in preparing and revising this manuscript.

\begingroup\small
\begin{thebibliography}{9}
\setlength{\itemsep}{2pt}
\bibitem{BF} W. D. Burgess and K. R. Fuller, \emph{The Cartan determinant and generalizations of quasihereditary rings}, Proc. Edinburgh Math. Soc. \textbf{41} (1998), 23--32. \href{https://doi.org/10.1017/S0013091500019404}{doi:10.1017/S0013091500019404}.
\bibitem{ChenGuo} L. Chen and Q. Guo, \emph{The Cartan determinant conjecture for representation-finite Artin algebras}, preprint (2026), \href{https://arxiv.org/abs/2610.14638v2}{arXiv:2610.14638v2}.
\bibitem{Eilenberg} S. Eilenberg, \emph{Algebras of cohomologically finite dimension}, Comment. Math. Helv. \textbf{28} (1954), 310--319.
\bibitem{IP} C. Ingalls and C. Paquette, \emph{Homological behavior of idempotent subalgebras and Ext algebras}, \href{https://arxiv.org/abs/1703.08725v2}{arXiv:1703.08725v2} (2017).
\bibitem{Ringel} C. M. Ringel, \emph{On the representation dimension of artin algebras}, \href{https://arxiv.org/abs/1107.1861}{arXiv:1107.1861} (2011); \href{https://www.math.uni-bielefeld.de/~ringel/opus/repdim3.pdf}{author's version}.
\bibitem{Zacharia} D. Zacharia, \emph{On the Cartan matrix of an Artin algebra of global dimension two}, J. Algebra \textbf{82} (1983), 353--357. \href{https://doi.org/10.1016/0021-8693(83)90156-4}{doi:10.1016/0021-8693(83)90156-4}.
\end{thebibliography}
\endgroup
\medskip
\begingroup\small
\noindent\textsc{Zhili College, Tsinghua University, Beijing 100084, China}\par
\noindent\textit{Email address:}\enspace
\mbox{\href{mailto:tangqy24@mails.tsinghua.edu.cn}{\texttt{tangqy24@mails.tsinghua.edu.cn}}}\par
\endgroup
\end{document}