  We study a class of matrices with noncommutative entries, which were first
considered by Yu. I. Manin in 1988 in relation with quantum group theory. They
are defined as "noncommutative endomorphisms" of a polynomial algebra. More
explicitly their defining conditions read: 1) elements in the same column
commute; 2) commutators of the cross terms are equal: $[M_{ij}, M_{kl}] =
[M_{kj}, M_{il}]$ (e.g. $[M_{11},M_{22}] = [M_{21},M_{12}]$). The basic claim
is that despite noncommutativity many theorems of linear algebra hold true for
Manin matrices in a form identical to that of the commutative case. Moreover in
some examples the converse is also true. The present paper gives a complete
list and detailed proofs of algebraic properties of Manin matrices known up to
the moment; many of them are new. In particular we present the formulation in
terms of matrix (Leningrad) notations; provide complete proofs that an inverse
to a M.m. is again a M.m. and for the Schur formula for the determinant of a
block matrix; we generalize the noncommutative Cauchy-Binet formulas discovered
recently [arXiv:0809.3516], which includes the classical Capelli and related
identities. We also discuss many other properties, such as the Cramer formula
for the inverse matrix, the Cayley-Hamilton theorem, Newton and
MacMahon-Wronski identities, Plucker relations, Sylvester's theorem, the
Lagrange-Desnanot-Lewis Caroll formula, the Weinstein-Aronszajn formula, some
multiplicativity properties for the determinant, relations with
quasideterminants, calculation of the determinant via Gauss decomposition,
conjugation to the second normal (Frobenius) form, and so on and so forth. We
refer to [arXiv:0711.2236] for some applications.
