Title:Embedding into $L_{2,R}$

Abstract: For a commutative ring $R$ with unit we investigate the embedding of algebras into the Leavitt algebra $L_{2,R}$. We show that the Leavitt path algebra $L_R(E)$ of any countable graph $E$ embeds into $L_{2,R}$. Restricting to coefficients in the integers, we show that the tensor product $L_{2,\mathbb{Z}}\otimes L_{2,\mathbb{Z}}$ does not embed in $L_{2,\mathbb{Z}}$ (as a unital $*$-algebra). We also prove a partial non-embedding result for $L_{2,R}\otimes L_{2,R}$. Our techniques rely on realising Thompson's group $V$ as a subgroup of the unitary group of $L_{2,R}$. We finish with a discussion on what this result means for the potential existence of an embedding of $L_{2,R}\otimes L_{2,R}$ into $L_{2,R}$. As part of our analysis of these embedding problems, we prove a number of general results, including a generalised Cuntz-Krieger Uniqueness Theorem for Leavitt path algebras with coefficients in $R$.