Related papers: Multiple Commutator Formulas for 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…

Let A be a quasi-finite R-algebra (i.e., a direct limit of module finite algebras) with identity. Let I_i, i=0,...,m, be two-sided ideals of A, \GL_n(A,I_i) the principal congruence subgroup of level I_i in GL_n(A) and E_n(A,I_i) be the…

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.…

Let $n$ be an integer greater than or equal to $3$ and $(R,\Delta)$ a Hermitian form ring where $R$ is commutative. We prove that if $H$ is a subgroup of the odd-dimensional unitary group $U_{2n+1}(R,\Delta)$ normalised by a relative…

This paper proves the sandwich classification conjecture for subgroups of an even dimensional hyperbolic unitary group $U_{2n}(R,\Lambda)$ which are normalized by the elementary subgroup $EU_{2n}(R,\Lambda)$, under the condition that $R$ is…

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,…

This note revisits localisation and patching method in the setting of generalised unitary groups. Introducing certain subgroups of relative elementary unitary groups, we develop relative versions of the conjugation calculus and the…

This article studies the equation $[A,B]^k = {\rm Id}_n$ for matrices over $\mathbb{C}$, characterizing the pairs $(k,n)$ for which solutions exist via a classical result of Lam and Leung on sums of roots of unity. The problem is next…

Let $K$ be an infinite field and $K< X> =K< X_1,...,X_n>$ the free associative algebra generated by $X=\{X_1,...,X_n\}$ over $K$. It is proved that if $I$ is a two-sided ideal of $K< X>$ such that the $K$-algebra $A=K< X> /I$ is almost…

Let R be a commutative ring with unity, M be an unitary R-module and {\Gamma} be a simple graph. This research article is an interplay of combinatorial and algebraic properties of M . We show a combinatorial object completely determines an…

Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. For every $R$-module $M$, $\gamma_I(M) = \sum\{ \operatorname{Bi} f \,|\, f \in \operatorname{Hom}_R(I,M)\}$ is called the trace of $I$ in $M$. It is…

In his seminal paper, half a century ago, Hyman Bass established a commutator formula in the setting of (stable) general linear group which was the key step in defining the K_1 group. Namely, he proved that for an associative ring A with…

For $n\geq 2$, let $\Gamma\subset \mathrm{SU}((n,1),\mathcal{O}_{K})$ be a torsion-free, finite-index subgroup, where $\mathcal{O}_K$ denotes the ring of integers of a totally imaginary number field $K$ of degree $2$. Let $\mathbb{B}^n$…

We study the commutator subgroup of integral orthogonal groups belonging to indefinite quadratic forms. We show that the index of this commutator is 2 for many groups that occur in the construction of moduli spaces in algebraic geometry, in…

Let $R$ be any associative ring with $1$, $n\ge 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…

Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup…

In this paper we study algebras of modular forms on unitary groups of signature $(n,1)$. We give a necessary and sufficient condition for an algebra of unitary modular forms to be free in terms of the modular Jacobian. As a corollary we…

Let $R$ be a commutative ring and $I\subset R$ be a nilpotent ideal such that the quotient $R/I$ splits out of $R$ as a ring. Let $N$ be a natural number such that ${I^N=0}$. We establish a canonical isomorphism between the relative Milnor…

We Classify the rational quadratic extensions K and the finite groups G for which the group ring R[G] of G over the ring R of integers of K has the property that the group of units of augmentation 1 of R[G] is hyperbolic. We also construct…

Given a group $G$ and elements $x_1,x_2,\dots, x_\ell\in G$, the commutator of the form $[x_1,x_2,\dots, x_\ell]$ is called a commutator of length $\ell$. The present paper deals with groups having only finitely many commutators of length…