  This paper considers a multiple-input multiple-output (MIMO) system with
low-resolution analog-to-digital converters (ADCs). In this system, the paper
presents a new MIMO detection approach using coding theory. The principal idea
of the proposed approach is to transform a non-linear MIMO channel to a linear
MIMO channel by leveraging both a $p$-level quantizer and a lattice code where
$p\geq 2$. After transforming to the linear MIMO channel with the sets of
finite input and output elements, efficient MIMO detection methods are proposed
to attain both diversity and multiplexing gains by using algebraic coding
theory. In particular, using the proposed methods, the analytical
characterizations of achievable rates are derived for different MIMO
configurations. One major observation is that the proposed approach is
particularly useful for a large MIMO system with the ADCs that use a few bits.
