arXiv math/04021452004-02math.RAmath.GR

Norm formulas for finite groups and induction from elementary abelian subgroups

Eli Aljadeff, Christian Kassel

备注：: 31 pages. In Section 1 a universal ring and the proof of the existence of formulas for any finite group were added
发表信息：: Journal of Algebra 303 (2006), 677-706

英文摘要：

It is known that the norm map N_G for a finite group G acting on a ring R is surjective if and only if for every elementary abelian subgroup E of G the norm map N_E for E is surjective. Equivalently, there exists an element x_G in R with N_G(x_G) = 1 if and only for every elementary abelian subgroup E there exists an element x_E in R such that N_E(x_E) = 1. When the ring R is noncommutative, it is an open problem to find an explicit formula for x_G in terms of the elements x_E. In this paper we present a method to solve this problem for an arbitrary group G and an arbitrary group action on a ring.Using this method, we obtain a complete solution of the problem for the quaternion and the dihedral 2-groups,and for a group of order 27. We also show how to reduce the problem to the class of (almost) extraspecial p-groups.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Inclusion among commutators of elementary subgroups

In the present paper we continue the study of the elementary commutator subgroups $[E(n,A),E(n,B)]$, where $A$ and $B$ are two-sided ideals of an associative ring $R$, $n\ge 3$. First, we refine and expand a number of the auxiliary results, both classical ones, due to Bass, Stein, Mason, Stothers, Tits, Vaserstein, van der Kallen, Stepanov, as also some of the intermediate results in our joint works with Hazrat, and our own recent papers [40,41]. The gimmick of the present paper is an explicit triple congruence for elementary commutators $[t_{ij}(ab),t_{ji}(c)]$, where $a,b,c$ belong to three …

2019-11-24math.GRmath.RA

Relative centralisers of relative subgroups

Let $R$ be an associative ring with 1, $G=GL(n, R)$ be the general linear group of degree $n\ge 3$ over $R$. In this paper we calculate the relative centralisers of the relative elementary subgroups or the principal congruence subgroups, corresponding to an ideal $A\unlhd R$ modulo the relative elementary subgroups or the principal congruence subgroups, corresponding to another ideal $B\unlhd R$. Modulo congruence subgroups the results are essentially easy exercises in linear algebra. But modulo the elementary subgroups they turned out to be quite tricky, and we could get definitive answers on…

2020-04-29math.GRmath.RA

Commutators of relative and unrelative elementary subgroups in Chevalley groups

In the present paper, which is a direct sequel of our papers [10,11,35] joint with Roozbeh Hazrat, we achieve a further dramatic reduction of the generating sets for commutators of relative elementary subgroups in Chevalley groups. Namely, let $Φ$ be a reduced irreducible root system of rank $\ge 2$, let $R$ be a commutative ring and let $A,B$ be two ideals of $R$. We consider subgroups of the Chevalley group $G(Φ,R)$ of type $Φ$ over $R$. The unrelative elementary subgroup $E(Φ,A)$ of level $A$ is generated (as a group) by the elementary unipotents $x_α(a)$, $α\inΦ$, $a\in A$, of level $A$. I…

2020-03-13math.RA

Multiple commutators of elementary subgroups: end of the line

In our previous joint papers with Roozbeh Hazrat and Alexei Stepanov we established commutator formulas for relative elementary subgroups in $GL(n,R)$, $n\ge 3$, and other similar groups, such as Bak's unitary groups, or Chevalley groups. In particular, there it was shown that multiple commutators of elementary subgroups can be reduced to double such commutators. However, since the proofs of these results depended on the standard commutator formulas, it was assumed that the ground ring $R$ is quasi-finite. Here we propose a different approach which allows to lift any such assumptions and estab…

2019-10-30math.RA

$p^{2} q$ 次扩张上的 Hopf-Galois 结构与 $p^{2} q$ 阶斜括号：初等阿贝尔 Sylow $p$-子群情形

Hopf-Galois structures on extensions of degree $p^{2} q$ and skew braces of order $p^{2} q$: the elementary abelian Sylow $p$-subgroup case

本文完成了当伽罗瓦群 Sylow $p$-子群为初等阿贝尔群时，$p^{2}q$ 次扩张的 Hopf-Galois 结构及相应斜括号的分类，通过伽马函数与全形正则子群的一一对应发展了更概念化的枚举方法。

2023-03-24math.GRmath.NTmath.RA

Generation of relative commutator subgroups in Chevalley groups. II

In the present paper, which is a direct sequel of our paper [12] joint with Roozbeh Hazrat, we prove unrelativised version of the standard commutator formula in the setting of Chevalley groups. Namely, let $Φ$ be a reduced irreducible root system of rank $\ge 2$, let $R$ be a commutative ring and let $I,J$ be two ideals of $R$. We consider subgroups of the Chevalley group $G(Φ,R)$ of type $Φ$ over $R$. The unrelativised elementary subgroup $E(Φ,I)$ of level $I$ is generated (as a group) by the elementary unipotents $x_α(ξ)$, $α\inΦ$, $ξ\in I$, of level $I$. Obviously, in general $E(Φ,I)$ has n…

2018-11-22math.GRmath.RA

更多相关论文收起更多论文

Generation of relative commutator subgroups in Chevalley groups

Let $Φ$ be a reduced irreducible root system of rank $\ge 2$, let $R$ be a commutative ring and let $I,J$ be two ideals of $R$. In the present paper we describe generators of the commutator groups of relative elementary subgroups $\big[E(Φ,R,I),E(Φ,R,J)\big]$ both as normal subgroups of the elementary Chevalley group $E(Φ,R)$, and as groups. Namely, let $x_{\a}(ξ)$, $\a\inΦ$, $ξ\in R$, be an elementary generator of $E(Φ,R)$. As a normal subgroup of the absolute elementary group $E(Φ,R)$, the relative elementary subgroup is generated by $x_{\a}(ξ)$, $\a\inΦ$, $ξ\in I$. Classical results due to …

2012-12-21math.RA

Commutators of elementary subgroups: curiouser and curiouser

Let $R$ be any associative ring with $1$, $n\ge 3$, and let $A,B$ be two-sided ideals of $R$. In our previous joint works with Roozbeh Hazrat [17,15] we have found a generating set for the mixed commutator subgroup $[E(n,R,A),E(n,R,B)]$. Later in [29,34] we noticed that our previous results can be drastically improved and that $[E(n,R,A),E(n,R,B)]$ is generated by 1) the elementary conjugates $z_{ij}(ab,c)=t_{ij}(c)t_{ji}(ab)t_{ij}(-c)$ and $z_{ij}(ba,c)$, 2) the elementary commutators $[t_{ij}(a),t_{ji}(b)]$, where $1\le i\neq j\le n$, $a\in A$, $b\in B$, $c\in R$. Later in [33,35] we noticed…

2020-04-27math.RA

On general linear groups over exchange rings

Let $R$ be an exchange ring. We prove that the relative elementary subgroups $E_n(R,I)$ are normal in the general linear group $GL_n(R)$ if $n\geq 1$ and that the standard commutator formula $E_n(R,I)=[E_n(R),E_n(R,I)]=[E_n(R),C_n(R,I)]$ holds if $n\geq 3$. Moreover, we classify the subgroups of $GL_n(R)$ that are normalised by the elementary subgroup $E_n(R)$ in the case $n\geq 3$.

2019-12-23math.RA

Commutators of relative and unrelative elementary unitary groups

In the present paper we find generators of the mixed commutator subgroups of relative elementary groups and obtain unrelativised versions of commutator formulas in the setting of Bak's unitary groups. It is a direct sequel of our similar results were obtained for $GL(n,R)$ and for Chevalley groups over a commutative ring with 1, respectively. Namely, let $(A,Λ)$ be any form ring and $n\ge 3$. We consider Bak's hyperbolic unitary group $GU(2n,A,Λ)$. Further, let $(I,Γ)$ be a form ideal of $(A,Λ)$. One can associate with $(I,Γ)$ the corresponding elementary subgroup $FU(2n,I,Γ)$ and the relative…

2020-04-01math.RA