
Injectivity of the Connecting Maps in AH Inductive Limit Systems
Let $A$ be the inductive limit of a system
$$A_{1}\xrightarrow{\phi_{1,2}}A_{2}
\xrightarrow{\phi_{2,3}} A_{3}\longrightarrow \cd
$$
with $A_n =
\bigoplus_{i=1}^{t_n} P_{n,i}M_{[n,i]}(C(X_{n,i}))P_{n,i}$, where
$~X_{n,i}$ is a finite simplicial complex, and $P_{n,i}$ is a
projection in $M_{[n,i]}(C(X_{n,i}))$. In this paper, we will
prove that $A$ can be written as another inductive limit
$$B_1\xrightarrow{\psi_{1,2}} B_2
\xrightarrow{\psi_{2,3}} B_3\longrightarrow \cd $$
with $B_n =
\bigoplus_{i=1}^{s_n} Q_{n,i}M_{\{n,i\}}(C(Y_{n,i}))Q_{n,i}$,
where $Y_{n,i}$ is a finite simplicial complex, and $Q_{n,i}$ is a
projection in $M_{\{n,i\}}(C(Y_{n,i}))$, with the extra condition
that all the maps $\psi_{n,n+1}$ are \emph{injective}. (The
result is trivial if one allows the spaces $Y_{n,i}$ to be
arbitrary compact metrizable spaces.) This result is important
for the classification of simple AH algebras (see
\cite{G5,G6,EGL}. The special case that the spaces $X_{n,i}$ are
graphs is due to the third named author \cite{Li1}.
Categories:46L05, 46L35, 19K14 