そして、 m = 0 または n = 0 のときに、 M_{mn}(K) が一体何なのかについて全く説明がありません。

その一方で、「余談」などとして、説明の必要がないことを書いていたりします。