Model-theoretic $K_1$ for modules over semisimple rings: (weak) Morita invariance

TL;DR

This paper extends the computation of model-theoretic K_1 groups to modules over matrix rings and semisimple rings, demonstrating (weak) Morita invariance and the behavior of K_1 under finite products.

Contribution

It introduces new calculations of model-theoretic K_1 for modules over matrix and semisimple rings, establishing Morita invariance and product compatibility.

Findings

K_1 of modules over matrix rings computed

Weak Morita invariance of K_1 established

Model-theoretic K_1 embeds algebraic K_1 of matrix rings

Abstract

This paper is a sequel to a paper by the same authors, where they defined $K$-groups of model-theoretic structures, and computed $K_1$ of free modules over PIDs. In this paper, we compute $K_1$ of a right $M_q(R)$-module $M$, where $R$ is a division ring, $q\geq1$, and $|M_q(R)|\neq 2$. As a consequence, we obtain a (weak) Morita invariance $K_1(R_R)\cong K_1((M_q(R))_{M_q(R)})$ for all division rings $R$ and $q\geq 1$. Finally, we compute $K_1$ of a module over a semisimple ring by showing that the model-theoretic $K_1$ commutes with finite product of modules. We also show that the algebraic $K_1$ of a finite product of infinite matrix rings embeds into the model-theoretic $K_1$ of their right regular modules.