Related papers: On groups elementarily equivalent to a group of tr…
Let $R$ be a B\'ezout domain, and let $A,B,C\in R^{n\times n}$ with $ABA=ACA$. If $AB$ and $CA$ are group invertible, we prove that $AB$ is similar to $CA$. Moreover, we have $(AB)^{\#}$ is similar to $(CA)^{\#}$. This generalize the main…
We construct six unitary trace invariants for 2 by 2 quaternionic matrices which separate the unitary similarity classes of such matrices, and show that this set is minimal. We prove two quaternionic versions of a well known…
In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings considered are arbitrary otherwise.
We present two noncommutative algebras over a field of characteristic zero that each posses a family of actions by cyclic groups of order $2n$, represented in $n \times n$ matrices, requiring generators of degree $3n$.
We consider the groups of regular circulant matrices over finite fields and integer residue class rings. In both cases we present a formula for the order of these groups. We also make a first step towards finding the algebraic structure of…
A number of properties of spherical Artin groups extend to Garside groups, defined as the groups of fractions of monoids where least common multiples exist, there is no nontrivial unit, and some additional finiteness conditions are…
When one studies the structure (e.g. graded ideals, graded subspaces, radicals, ...) or graded polynomial identities of graded algebras, the grading group itself does not play an important role, but can be replaced by any other group that…
A group of matrices $G$ with entries in a number field $K$ is defined to be numerical if $G$ has a finite index subgroup of matrices whose entries are algebraic integers. It is shown that an irreducible or completely reducible subgroup of…
In this paper we define odd dimensional unitary groups $U_{2n+1}(R,\Delta)$. These groups contain as special cases the odd dimensional general linear groups $GL_{2n+1}(R)$ where $R$ is any ring, the odd dimensional orthogonal and symplectic…
This paper shows that the group ${\rm SL}_n(R)$ is boundedly elementary generated for $n\geq 3$ and $R$ the ring of algebraic integers in a global function field. Contrary to previous statements for number fields and earlier statements for…
Let End(V) denote the ring of all linear transformations of an arbitrary k-vector space V over a field k. We define a subset X of End(V) to be "triangularizable" if V has a well-ordered basis such that X sends each vector in that basis to…
Let $U_n(q)$ denote the upper triangular group of degree $n$ over the finite field $\F_q$ with $q$ elements. It is known that irreducible constituents of supercharacters partition the set of all irreducible characters $\Irr(U_n(q)).$ In…
Let $\mathcal{A}=(A_{1},...,A_{n},...)$ be a finite or infinite sequence of $2\times2$ matrices with entries in an integral domain. We show that, except for a very special case, $\mathcal{A}$ is (simultaneously) triangularizable if and only…
Let $R$ be a local principal ideal ring of length two, for example, the ring $R=\Z/p^2\Z$ with $p$ prime. In this paper we develop a theory of normal forms for similarity classes in the matrix rings $M_n(R)$ by interpreting them in terms of…
Following the ideas in~\cite{yM88} and some inspiration from~\cite{KO24}, we construct a bialgebra $T_q(n)$ and a pointed Hopf algebra $UT_q(n)$ which quantize the coordinate rings of the algebra of upper triangular matrices and of the…
Let $R$ be a ring with unit. Passing to the colimit with respect to the standard inclusions $GL(n,R) \to GL(n+1,R)$ (which add a unit vector as new last row and column) yields, by definition, the stable linear group $GL(R)$; the same result…
We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated…
Given an $n\times n$ matrix $c$ over a unitary ring $R$, the centralizer of $c$ in the full $n\times n$ matrix ring $M_n(R)$ is called a principal centralizer matrix ring, denoted by $S_n(c,R)$. We investigate its structure and prove: $(1)$…
Clean markings on surfaces were a key component in Masur and Minsky's hierarchy machinery, which proved to be a powerful tool in the study of mapping class groups. We construct a marking graph for irreducible finite-type Artin groups which…
We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…