Абелева группа называется полупростой, если она является аддитив- ной группой некоторого полупростого кольца. Проблема описания полупростых групп была сформулирована Р. А. Бьюмонтом и Д. А. Лоувером. Настоящая работа посвящена изучению полупростых векторных групп. Векторной группой называется прямое произведение ∏ i∈I Ri абелевых групп без кручения Ri (i ∈ I) ранга 1. В статье описаны полупростые группы в классе редуцированных векторных групп ∏ i∈I Ri в случае не бо- лее, чем счетного множества I. Умножением на абелевой группе G называют гомоморфизм µ: G⊗G → → G, это умножение обозначается также знаком ×, то есть µ(g1 ⊗ g2) = = g1×g2 для g1, g2 ∈ G. Группа G с заданным на ней умножением × называется кольцом на группе G, которое обозначается (G, ×). Показано, что любое умножение на прямом произведении групп ранга 1 определяется его ограничением на сумму этих групп. В частности, имеет место следующее утверждение. Лемма 3. Пусть I не более, чем счетное множество, G = ∏ i∈I Ri — векторная группа, S = ⊕ i∈I Ri . Если в кольце (G, ×) выполняется S×S = 0, то (G, ×) — кольцо с нулевым умножением. Пусть ∏ i∈I Ri — векторная группа, t(Ri) — тип группы Ri . Обозначим через I0 множество индексов i ∈ I, для которых t(Ri) — идемпотентный тип с бесконечным числом нулей. Если k ∈ I, то I0(k) — множество ин- дексов i ∈ I0, для которых t(Ri) ≥ t(Rk). Теорема 1. Пусть I не более, чем счетное множество. Редуцированная векторная группа ∏ i∈I Ri является полупростой тогда и только тогда, когда 1) среди групп Ri (i ∈ I) нет групп идемпотентного типа с конечным числом нулей, 2) для любой группы Rk неидемпотентного типа множество I0(k) бес- конечно. Заметим, что набор типов групп Ri (i ∈ I) в случае не более, чем счет- ного множества I является инвариантом группы G = ∏ i∈I Ri , поэтому описание полупростых групп в теореме 7 не зависит от разложения группы G в прямое произведение групп ранга 1.
An abelian group is called semisimple if it is the additive group of a semisimple ring. R. A. Beaumont and D. A. Lawver have formulated the description problem for semisimple groups. We consider vector semisimple groups in the present paper. Vector groups are direct products ∏ i∈I Ri of torsion free abelian groups Ri (i ∈ I) of rank 1. The semisimple vector groups ∏ i∈I Ri are described in the present paper in the case where I is a not greater than countable set. A multiplication on an abelian group G is a homomorphism µ: G⊗G → G, we denote it as µ(g1 ⊗ g2) = g1 × g2 for g1, g2 ∈ G. The group G with a multiplication × is called the ring on the group G and it is denoted as (G, ×). It is shown that every multiplication on a direct product of torsion free rank-1 groups is determined by its restriction on the direct sum of these groups. In particular, the following statement takes place. Lemma 3. Let I be a not greater than countable set, G = ∏ i∈I Ri and S = ⊕ i∈I Ri . Let × be a multiplication on the group G. If the restriction of this multiplication on S is zero, then the multiplication itself is zero. Let ∏ i∈I Ri be a vector group. We use the following notations: t(Ri) is the type of the group Ri , I0 is the set of indices i ∈ I such that t(Ri) is an idempotent type with an infinite number of zero components. If k ∈ I, then I0(k) is the set of indices i ∈ I0 such that t(Ri) ≥ t(Rk). Theorem 1. Let I be a not greater than countable set. A reduced vector group ∏ i∈I Ri is semisimple if and only if 1) there are no groups Ri (i ∈ I) of an idempotent type, where the number of zero components is finite; 2) the set I0(k) is infinite for every group Rk of the not idempotent type. Note that the set of types of groups Ri (i ∈ I) is an invariant of the group G = ∏ i∈I Ri , if I is a not greater than countable set. Therefore, this description doesn’t depend on the decomposition of the group G into a direct product of rank-1 groups.
The authors declare that there are no conflicts of interest present.