Related papers: Unitriangular factorisations of Chevalley groups

Let $k_0$ be a number field, $K$ be a finite extension of $k_0(\!(x_1,...,x_n)\!)$ and let $R$ be the integral closure of $k_0[[x_1,...,x_n]]$ in $K$. Consider a group of multiplicative type $G$ defined over $K$. We study the…

Generalizing the notion of a multiplicative inequality among minors of a totally positive matrix, we describe, over full rank cluster algebras of finite type, the cone of Laurent monomials in cluster variables that are bounded as a…

We show that the unitary factor U in the polar decomposition of a nonsingular matrix Z = U H is the minimizer for both ||Log(Q^* Z)|| and ||sym (Log(Q^*Z))|| over unitary Q, for any given invertible complex n-times-n matrix Z, for any…

A $k$-tuple $(H_1, \ldots, H_k)$ of core-free subgroups of a finite group $G$ is said to be regular if $G$ has a regular orbit on the Cartesian product $G/H_1 \times \cdots \times G/H_k$. The regularity number of $G$, denoted $R(G)$, is the…

We prove the following generalization of the classical Shephard-Todd-Chevalley Theorem. Let $G$ be a finite group of graded algebra automorphisms of a skew polynomial ring $A:=k_{p_{ij}}[x_1,...,x_n]$. Then the fixed subring $A^G$ has…

Let $g$ be an element of a finite group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots,g]$ over $x\in G$, where $g$ is repeated $n$ times. By Baer's theorem, if $E_n(g)=1$,…

Let $R\to U$ be an associative ring epimorphism such that $U$ is a flat left $R$-module. Assume that the related Gabriel topology $\mathbb G$ of right ideals in $R$ has a countable base. Then we show that the left $R$-module $U$ has…

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

The group U_n(F) of all nxn unipotent upper-triangular matrices over F has derived length d := Ceiling(log_2 (n)), equivalently 2^{d-1} < n <= 2^d. We prove that U_n(F) has a 3-generated subgroup of derived length d, and it has a…

Let $G$ be the complex general linear group and $g$ its Lie algebra equipped with a factorizable Lie bialgebra structure; let $U_h$ be the corresponding quantum group. We construct explicit $U_h$-equivariant quantization of Poisson orbit…

In this paper we prove that every automorphism of a Chevalley group (or its elementary subgroup) with root system of rank >1 over a commutative ring (with 1/2 for the systems A_2, F_4, B_l, C_l; with 1/2 and 1/3 for the system G_2) is…

Let J be a finite-dimensional nilpotent algebra over a finite field F_q. We formulate a procedure for analysing characters of the group 1+J. In particular, we study characters of the group $U_n (q)$ of unipotent triangular $n\times n$…

In \cite[Problem 72]{Fuchs60} Fuchs posed the problem of characterizing the groups which are the groups of units of commutative rings. In the following years, some partial answers have been given to this question in particular cases. In a…

Suppose $q$ is a prime power and $f\in\mathbb{F}_q[x]$ is a univariate polynomial with exactly $t$ monomial terms and degree $<q-1$. To establish a finite field analogue of Descartes' Rule, Bi, Cheng, and Rojas (2013) proved an upper bound…

Let $U_\hbar\mathfrak{g}$ denote the Drinfeld-Jimbo quantum group associated to a complex semisimple Lie algebra $\mathfrak{g}$. We apply a modification of the $R$-matrix construction for quantum groups to the evaluation of the universal…

Let $G$ be a reductive algebraic group over an algebraically closed field $k$ of characteristic $p>0$, and assume $p$ is good for $G$. Let $P$ be a parabolic subgroup with unipotent radical $U$. For $r \ge 1$, denote by $\mathbb{G}_{a(r)}$…

We present algorithms to factorize weighted homogeneous elements in the first polynomial Weyl algebra and $q$-Weyl algebra, which are both viewed as a $\mathbb{Z}$-graded rings. We show, that factorization of homogeneous polynomials can be…

An Ulam sequence U(1,n) is defined as the sequence starting with integers 1,n such that n > 1, and such that every subsequent term is the smallest integer that can be written as the sum of distinct previous terms in exactly one way. This…

Given a finite group $G$ and a set $A$ of generators, the diameter diam$(\Gamma(G,A))$ of the Cayley graph $\Gamma(G,A)$ is the smallest $\ell$ such that every element of $G$ can be expressed as a word of length at most $\ell$ in $A \cup…

We define the equivariant Cox ring of a normal variety with algebraic group action. We study algebraic and geometric aspects of this object and show how it is related to the ordinary Cox ring. Then, we specialize to the case of normal…