English
Related papers

Related papers: A nonfinitely based semigroup of triangular matric…

200 papers

We study the Identity Problem, the problem of determining if a finitely generated semigroup of matrices contains the identity matrix; see Problem 3 (Chapter 10.3) in ``Unsolved Problems in Mathematical Systems and Control Theory'' by…

Discrete Mathematics · Computer Science 2025-09-19 Paul C. Bell , Reino Niskanen , Igor Potapov , Pavel Semukhin

We continue the study of permutations of a finite regular semigroup that map each element to one of its inverses, providing a complete description in the case of semigroups whose idempotent generated subsemigroup is a union of groups. We…

Group Theory · Mathematics 2019-02-11 Peter M. Higgins

We show that the submonoid of all nxn triangular tropical matrices satisfies a nontrivial semigroup identity and provide a generic construction for classes of such identities. The utilization of the Fibonacci number formula gives us an…

Rings and Algebras · Mathematics 2013-05-17 Zur Izhakian

Let $G$ be a unitriangular matrix group of nilpotency class at most ten. We show that the Identity Problem (does a semigroup contain the identity matrix?) and the Group Problem (is a semigroup a group?) are decidable in polynomial time for…

Discrete Mathematics · Computer Science 2023-09-12 Ruiwen Dong

Let $K$ be a field of characteristic different from 2 and let $G$ be a group. If the algebra $UT_n$ of $n\times n$ upper triangular matrices over $K$ is endowed with a $G$-grading $\Gamma: UT_n=\oplus_{g\in G}A_g$ we give necessary and…

Rings and Algebras · Mathematics 2022-08-09 Thiago Castilho de Mello

The aim of this note is to answer a question by Guoliang Yu of whether the group $EL_3(Z<x,y>)$, where $Z<x,y>$ is the free (non-commutative) ring, has any faithful linear representations over a field. We prove, in particular, that for…

Group Theory · Mathematics 2009-05-10 Martin Kassabov , Mark Sapir

Let $ F $ be a finite field and consider $ UT_n $ the algebra of $ n\times n $ upper triangular matrices over $ F $. In [1], it was proved that every $ G $-grading is elementary. In [2], the authors classified all nonisomorphic elementary $…

Rings and Algebras · Mathematics 2021-05-10 Ronald Ismael Quispe Urure , Tatiana Aparecida Gouveia

Using graph-theoretic techniques for f.g. subgroups of $F^{\mathbb{Z}[t]}$ we provide a criterion for a f.g. subgroup of a f.g. fully residually free group to be of finite index. Moreover, we show that this criterion can be checked…

Group Theory · Mathematics 2021-07-14 Andrey Nikolaev , Denis Serbin

A new model, in terms of finite bipartite graphs, of the free pseudosemilattice is presented. This will then be used to obtain several results about the variety SPS of all strict pseudosemilattices: (i) an identity basis for SPS is found,…

Rings and Algebras · Mathematics 2019-07-01 K. Auinger , L. Oliveira

A finite group is called semi-rational if the distribution induced on it by any word map is a virtual character. Amit and Vishne give a sufficient condition for a group to be semi-rational, and ask whether it is also necessary. We answer…

Group Theory · Mathematics 2018-03-21 Tzoor Plotnikov

We show that there is no iterated identity satisfied by all finite groups. For $w$ being a non-trivial word of length $l$, we show that there exists a finite group $G$ of cardinality at most $\exp(l^C)$ which does not satisfy the iterated…

Group Theory · Mathematics 2017-12-08 Anna Erschler , Alexei Kanel-Belov

There is strong evidence for the belief that `almost all' finite semigroups, whether we consider multiplication operations on a fixed set or their isomorphism classes, are nilpotent of index 3 (3-nilpotent for short). The only known method…

Combinatorics · Mathematics 2026-03-10 Igor Dolinka , D. G. FitzGerald , James D. Mitchell

We give a short proof of a recent result by Bernik, Mastnak, and Radjavi, stating that an irreducible group of complex matrices with nonnegative diagonal entries is diagonally similar to a group of nonnegative monomial matrices. We also…

Functional Analysis · Mathematics 2013-03-21 Grega Cigler , Roman Drnovšek

A semigroup $S$ is said to be right pseudo-finite if the universal right congruence can be generated by a finite set $U\subseteq S\times S$, and there is a bound on the length of derivations for an arbitrary pair $(s,t)\in S\times S$ as a…

Group Theory · Mathematics 2022-11-14 Victoria Gould , Craig Miller , Thomas Quinn-Gregson , Nik Ruskuc

Denote by (R,.) the multiplicative semigroup of an associative algebra R over an infinite field, and let (R,*) represent R when viewed as a semigroup via the circle operation x*y=x+y+xy. In this paper we characterize the existence of an…

Rings and Algebras · Mathematics 2007-05-23 David M. Riley , Mark C. Wilson

It is well known that the ring of polynomial invariants of a reductive group is finitely generated. However, it is difficult to give strong upper bounds on the degrees of the generators, especially over fields of positive characteristic. In…

Representation Theory · Mathematics 2016-10-24 Harm Derksen , Visu Makam

The finite basis property is often connected with the finite rank property, which it entails. Many examples have been produced of finite rank varieties which are not finitely based. In this note, we establish a result on nilpotent…

Group Theory · Mathematics 2019-03-18 J. Almeida , M. H. Shahzamanian

We give examples of closed, oriented 3-manifolds whose fundamental groups are not isomorphic, but yet have the same sets of finite quotient groups; hence the same profinite completions. We also give examples of compact, oriented 3-manifolds…

Geometric Topology · Mathematics 2014-10-06 John Hempel

I give a short proof of a recent result due to Kiefer and Ryzhikov showing that a finite irreducible semigroup of $n\times n$ matrices has cardinality at most $3^{n^2}$.

Group Theory · Mathematics 2026-01-07 Benjamin Steinberg

Let $UT_4(F)$ be $4\times 4$ upper triangular matrix algebra over a field $F$ of characteristic zero and let $\mathcal{A}$ be the subalgebra of $UT_4(F)$ linearly generated by $\{\mathbf{e}_{ij}:1 \leq i\leq j \leq 4 \} \setminus…

Rings and Algebras · Mathematics 2018-10-31 Ronald Ismael Quispe Urure