Links

Let R be any associative ring with 1, n > 3, and let A, B be two-sided ideals of R. In the present paper we show that the mixed commutator subgroup [E(n, R, A), E(n, R, B)] is generated as a group by the elements of the two following forms: 1) zij (ab, c) and zij (ba, c), 2) [tij (a), tji(b)], where 1 6 i 6= j 6 n, a ∈ A, b ∈ B, c ∈ R. Moreover, for the second type of generators, it suffices to fix one pair of indices (i, j). This result is both stronger and more general than the previous results by Roozbeh Hazrat and the authors. In particular, it implies that for all associative rings one has the equality [E(n, R, A), E(n, R, B)] = [E(n, A), E(n, B)] and many further corollaries can be derived for rings subject to commutativity conditions.
Translated title of the contributionЕще раз о коммутаторах относительных и настоящих элементарных групп
Original languageEnglish
Pages (from-to)58-71
JournalЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН
Volume485
StatePublished - 2019

    Scopus subject areas

  • Mathematics(all)

    Research areas

  • general linear groups, elementary subgroups, congruence subgroups, standard commutator formulae, nrelativised commutator formul, elementary generators

ID: 51602016