P. M. Cohn showed in 1971 that given a ring , to describe, up to isomorphism, a division ring generated by a homomorphic image of is equivalent to specifying the set of square matrices over which map to singular matrices over and he determined precisely the conditions that such a set of matrices must satisfy. The present author later developed another version of this data, in terms of closure operators on free -modules. In this note, we examine the latter concept further, and show how an -module satisfying certain conditions can be made to induce such data. In an appendix we make some observations on Cohn’s original construction, and note how the data it uses can similarly be induced by appropriate sorts of -modules. Our motivation is the longstanding question of whether, for a right-orderable group and a field, the group algebra must be embeddable in a division ring. Our hope is that the right -module might induce a closure operator of the required sort. We re-prove a partial result in this direction due to N. I. Dubrovin, note a plausible generalization thereof which would give the desired embedding, and briefly sketch some thoughts on other ways of approaching the problem.

生成讲解博客的中文版本

生成AI智能校验的中文版本