Related papers: An elementary description of $K_1(R)$ without elem…

Let C be the complex field and K=C((x,y)) or K=C((x))(y). Let G be a connected linear algebraic group over K. Under the assumption that the K-variety G is K-rational, i.e. that the function field is purely transcendant, it was proved that a…

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…

Our approach to structural matrix rings defines them over preordered directed graphs. A grading of a structural matrix ring is called a good grading if its standard unit matrices are homogeneous. For a group $G$, a $G$ -grading set is a set…

We prove a first part of the standard description of groups $H$ lying between an exterior power of an elementary group $\bigwedge^m E_n(R)$ and a general linear group $GL_{n \choose m}(R)$ for a commutative ring $R$, $2\in R^*$ and…

We consider non-elementary Kleinian groups \Gamma, without invariant plane, generated by an elliptic and a hyperbolic element with their axes lying in one plane. We find presentations and a complete list of orbifolds uniformized by such…

We describe the diagonal reduction algebra D(gl(n)) of the Lie algebra gl(n) in the R-matrix formalism. As a byproduct we present two families of central elements and the braided bialgebra structure of D(gl(n)).

Let $R$ be the polydisc algebra or the Wiener algebra. It is shown that the group $SL_n(R)$ is generated by the subgroup of elementary matrices with all diagonal entries $1$ and at most one nonzero off-diagonal entry. The result an easy…

Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…

Let $G$ be a finite group. Then there exists a first-order statement $S(G)$ in the language of rings without parameters and depending only on $G$ such that, for any field $K$, we have that $K\models S(G)$ if and only if $K$ has a Galois…

We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I\subset R$ such that $R/I$ is regular, where $R$…

Let K be a field of positive characteristic p, let R be either a group algebra K[G] or a restricted enveloping algebra u(L), and let I be the augmentation ideal of R. We first characterize those R for which I satisfies a polynomial identity…

Let $R$ be a unital ring satisfying the invariant basis number property, that every stably free $R$-module is free, and that the complex of partial bases of every finite rank free module is Cohen--Macaulay. This class of rings includes…

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

Let n >1 be an integer, and G a doubly transitive subgroup of the symmetric group on X={1,...,n}. In this paper we find all linear group representations rho of G on an euclidean vector space V which contains a set of equiangular vector…

Using our recent results on eigenvalues of invariants associated to the Lie superalgebra gl(m|n), we use characteristic identities to derive explicit matrix element formulae for all gl(m|n) generators, particularly non-elementary…

A unifying overview of the ways to parameterize the linear group GL(4.C) and its subgroups is given. As parameters for this group there are taken 16 coefficients G = G(A,B,A_{k}, B_{k}, F_{kl}) in resolving matrix G in terms of 16 basic…

We give a complete characterization of abelian subgroups of GL(n, R) with a locally dense (resp. dense) orbit in R^n. For finitely generated subgroups, this characterization is explicit and it is used to show that no abelian subgroup of…

A family of integrable $GL(NM)$ models is described. On the one hand it generalizes the classical spin Ruijsenaars--Schneider systems (the case $N=1$), and on the other hand it generalizes the relativistic integrable tops on $GL(N)$ Lie…

For a commutative ring R with many units, we describe the kernel of H_3(inc): H_3(GL_2(R), Z) --> H_3(GL_3(R), Z). Moreover we show that the elements of this kernel are of order at most two. As an application we study the indecomposable…

We discuss a generalization of Clifford algebras known as generalized Clifford algebras (in particular, ternary Clifford algebras). In these objects, we have a fixed higher-degree form (in particular, a ternary form) instead of a quadratic…