1: \begin{abstract}

2:   We develop the theory of ``branch algebras'', which are

3:   infinite-dimensional associative algebras that are isomorphic, up to

4:   taking subrings of finite codimension, to a matrix ring over

5:   themselves. The main examples come from groups acting on trees.

6: 

7:   In particular, for every field $\Bbbk$ we construct a

8:   $\Bbbk$-algebra $\KK$ which

9:   \begin{itemize}

10:   \item is finitely generated and infinite-dimensional, but has only

11:     finite-dimensional quotients;

12:   \item has a subalgebra of finite codimension, isomorphic to

13:     $M_2(\KK)$;

14:   \item is prime;

15:   \item has quadratic growth, and therefore Gelfand-Kirillov dimension

16:     $2$;

17:   \item is recursively presented;

18:   \item satisfies no identity;

19:   \item contains a transcendental, invertible element;

20:   \item is semiprimitive if $\Bbbk$ has characteristic $\neq2$;

21:   \item is graded if $\Bbbk$ has characteristic $2$;

22:   \item is primitive if $\Bbbk$ is a non-algebraic extension of $\F[2]$;

23:   \item is graded nil and Jacobson radical if $\Bbbk$ is an algebraic

24:     extension of $\F[2]$.

25:   \end{itemize}

26: \end{abstract}

27: