On the monotone $C^*$-algebra
The concrete monotone $C^*$-algebra, that is the (unital) $C^*$-algebra generated by monotone independent algebraic random variables of Bernoulli type, is characterized abstractly in terms of generators and relations and is shown to be UHF. Moreover, its Bratteli diagram is explicitly given, which allows for the computation of its $K$-theory.