Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1504.00418

Balanced finite presentations of the trivial group

Boris Lishak
View original source ↗Read source document ↗Export metadata ↓

Abstract

We construct a sequence of balanced finite presentations of the trivial group with two generators and two relators with the following property: The minimal number of relations required to demonstrate that a generator represents the trivial element grows faster than the tower of exponentials of any fixed height of the length of the finite presentation.

Explore related subjects

math.GRmath.MG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Boris Lishak. 2015-04-19. Balanced finite presentations of the trivial group. https://doi.org/10.1142/s1793525317500182

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Finite quotients of spherical Artin groups

We show the smallest non-abelian quotients of spherical and affine Artin groups are isomorphic to the smallest non-abelian quotients of the corresponding Coxeter groups. We deduce irreducible spherical Artin groups are determined by their finite quotient groups.

math.GR↗
arXiv2026

Cosets with constant characteristic polynomial

Let H be a linear group. We show that if there is an invertible matrix x such that all the elements of xH share the same characteristic polynomial then H is virtually solvable. There are plenty of applications that will be presented in future paper. Here, we discuss some applications to the generalized Weigold conjecture and present an alternative straightforward proof of the Formanek--Procesi nonlinearity theorem for Aut(F_n), n>2, over every field. When n>5 our non-linearity proof gives a stronger result than the original Formanek--Procesi theorem.

math.GR↗
arXiv2026

Inherently nonfinitely based additively idempotent semirings

We give a sufficient condition for an additively idempotent semiring to be inherently nonfinitely based. Namely, if its generated variety is locally finite and every Zimin word is minimal in the additive order, then it is contained in no finitely based locally finite variety. For each positive integer $n$, we construct an infinite finitely generated flat semiring satisfying all identities in at most $n$ variables of every semiring with this minimality property. We also characterize Zimin minimality by membership of a countable flat factor semiring $\Finf$ in the generated variety. The variety $\V(\Finf)$ is locally finite and inherently nonfinitely based.

math.GR↗