Related papers: Effective finite generation for adjoint rings

We investigate the geometry of word metrics on fundamental groups of manifolds associated with the generating sets consisting of elements represented by closed geodesics. We ask whether the diameter of such a metric is finite or infinite.…

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 determine a reasonable upper bound for the complexity of collection from the left to multiply two elements of a finite soluble, or polycyclic, group by restricting attention to certain polycyclic presentations of the group.

We study fundamental groups of non compact Riemannian manifolds. We find conditions which ensure that the fundamental group is trivial, finite or finitely generated.

We show that in an essentially small rigid tensor triangulated category with connected Balmer spectrum there are no proper non-zero thick tensor ideals admitting strong generators. This proves, for instance, that the category of perfect…

A subset S of a group G invariably generates G if G = <s^(g(s)) | s in S> for each choice of g(s) in G, s in S. In this paper we study invariable generation of infinite groups, with emphasis on linear groups. Our main result shows that a…

In this paper, we describe finite, additively commutative, congruence simple semirings. The main result is that the only such semirings are those of order 2, zero-multiplication rings of prime order, matrix rings over finite fields, those…

We complete the description of group gradings on finite-dimensional incidence algebras. Moreover, we classify the finite-dimensional graded algebras that can be realized as incidence algebras endowed with a group grading.

We find finite, reasonably small, generator sets of the coordinate rings of G-character varieties of finitely generated groups for all classical groups G. This result together with the method of Grobner basis gives an algorithm for…

In this short note we count the finite semirings up to isomorphism, and up to isomorphism and anti-isomorphism for some small values of $n$; for which we utilise the existing library of small semigroups in the GAP package Smallsemi.

The residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship…

Groups associated to surfaces isogenous to a higher product of curves can be characterised by a purely group-theoretic condition, which is the existence of a so-called ramification structure. In this paper, we prove that infinitely many…

We prove a lower bound on the dimension of the set of maximal border subrank tensors. This is the first such bound of its type.

In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for…

We prove that some skew group algebras have Noetherian cohomology rings, a property inherited from their component parts. The proof is an adaptation of Evens' proof of finite generation of group cohomology. We apply the result to a series…

The existence of invariant generators for distributions satisfying a compatibility condition with the symmetry algebra is proved.

Given a sequence of $(G_i)_{i \in \N}$ of finite transitive groups of degree $n_i$, let $W_\infty$ be the inverse limit of the iterated permutational wreath products of the first m groups. We prove that $W_\infty$ is (topologically)…

We devise an algorithm which, given a bounded automaton A, decides whether the group generated by A is finite. The solution comes from a description of the infinite sequences having an infinite A-orbit using a deterministic finite-state…

In this paper we prove that the Torelli group of a surface of genus at least 3 with 2 boundary components is finitely generated. As a consequence, we answer Putman's question on the finite generation of the stabilizer subgroup of the…

For nice functions, invariant means over integral currents (certain generalized surfaces), can be uniquely defined.