10efe2658345d646.tex
1: \begin{abstract}
2: In this article we study the right-angled Artin subgroups of a given right-angled Artin group.  Starting with a graph $\gam$, we produce a new graph through a purely combinatorial procedure, and call it the extension graph $\gex$ of $\gam$.  We produce a second graph $\gex_k$, the clique graph of $\gex$, by adding extra vertices for each complete subgraph of $\gex$.  We prove that each finite induced subgraph $\Lambda$ of $\gex$ gives rise to an inclusion $A(\Lambda)\to A(\gam)$.  Conversely, we show that if there is an inclusion $A(\Lambda)\to A(\gam)$ then $\Lambda$ is an induced subgraph of $\gex_k$.  These results have a number of corollaries.  Let $P_4$ denote the path on four vertices and let $C_n$ denote the cycle of length $n$.  We prove that $A(P_4)$ embeds in $A(\gam)$ if and only if $P_4$ is an induced subgraph of $\gam$.  We prove that if $F$ is any finite forest then $A(F)$ embeds in $A(P_4)$.  We recover the first author's result on co--contraction of graphs, and prove that if $\gam$ has no triangles and $A(\gam)$ contains a copy of $A(C_n)$ for some $n\geq 5$, then $\gam$ contains a copy of $C_m$ for some $5\le m\le n$.  We also recover Kambites' Theorem, which asserts that if $A(C_4)$ embeds in $A(\gam)$ then $\gam$ contains an induced square.  Finally, we determine precisely when there is an inclusion $A(C_m)\to A(C_n)$ and show that there is no ``universal" two--dimensional right-angled Artin group.
3: \end{abstract}
4: