Abstract
Inspired by a recent paper due to Jose Luis Garcia, we revisit the attempt of Daniel Simson to construct a counterexample to the pure semisimplicity conjecture. Using compactness, we show that the existence of such counterexample would readily follow from the very existence of certain (countable set of) hereditary artinian rings of finite representation type.
The existence of such rings is then proved to be equivalent to the existence of special types of embeddings, which we call tight, of division rings into simple artinian rings. Using the tools by Aidan Schofield from 1980s, we can show that such an embedding F -> M-n (G) exists provided that n < 5.
As a byproduct, we obtain a division ring extension G subset of F such that the bimodule F-G(F) has the right dimension sequence (1,2,2,2,1,4). Finally, we formulate Conjecture A, which asserts that a particular type of adjunction of an element to a division ring can be made, and demonstrate that its validity would be sufficient to prove the existence of tight embeddings in general, and hence to disprove the pure semisimplicity conjecture. (C) 2021 Elsevier B.V.
All rights reserved.