1: \begin{abstract}

2: 	We unite elements of category theory, K-theory, and geometric group theory, by defining a class of groups called $k$-cube groups, which act freely and transitively on the product of $k$ trees, for arbitrary $k$. The quotient of this action on the product of trees defines a $k$-dimensional cube complex, which induces a higher-rank graph. We make deductions about the K-theory of the corresponding $k$-rank graph $\cst$-algebras, and give examples of $k$-cube groups and their K-theory. These are the first explicit computations of K-theory for an infinite family of $k$-rank graphs for $k\geq 3$, which is not a direct consequence of the K\"{u}nneth Theorem for tensor products.

3: \end{abstract}

4: