Tachikawa's theorem on algebras of left colocal type (Q798406): Difference between revisions

Let A be an artinian ring. Then A is said to be of right local type (left colocal type) if any finitely generated indecomposable right A-module (left A-module) is local. A module M is uniserial if it has a unique composition series and an artinian ring A is left serial if A, as a left A-module, is a direct sum of uniserial submodules. \textit{H. Tachikawa} [in Math. Z. 71, 200-222 (1959; Zbl 0087.265)] has characterized algebras of right local type: Theorem. Let A be an artinian ring with Jacobson radical N. Then (a)-(d) are equivalent: (a) A is of right local type, (b) A is of left colocal type, (c) A is left serial and satisfies a condition on uniserial left A-modules, (d) A is left serial and satisfies a condition on N. In this paper the author points out that (b)\(\Rightarrow (c)\) is correct and also that (c)\(\Leftrightarrow (d)\). However, the proof of Tachikawa for (c)\(\Rightarrow (b)\) contains two gaps. The present author introduces an additional condition (D) for A and shows that if A satisfies (D), then (c)\(\Rightarrow (b)\). For finite dimensional algebras over a field, (D) is satisfied and the conditions (a)-(d) are equivalent. An example is given of an Artinian ring A, satisfying (c), but A is not of left colocal type. The question is posed: Does any ring of left colocal type satisfy (D)? The author shows that the last problem is related to the existence of solutions for simultaneous equations with 6 unknowns.