Pure semisimplicity conjecture and Artin problem for dimension sequences

Inspired by a recent paper due to Jos\'{e} Luis Garc\'{i}a, 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\hookrightarrow M_n(G)$ exists provided that $n
Comment: 11 pages; slightly revised (e.g. new Lemma 1.3 added), minor typos corrected