Related papers: Self-pure-generators over Dedekind domains

We prove that the semigroup generated by a reversible Mealy automaton contains a free subsemigroup of rank two if and only if it contains an element of infinite order.

We study the classes of modules which are generated by a silting module. In the case of either hereditary or perfect rings it is proved that these are exactly the torsion $\mathcal{T}$ such that the regular module has a special…

Over a one-dimensional Gorenstein local domain $R$, let $E$ be the endomorphism ring of the maximal of $R$, viewed as a subring of the integral closure $\overline R$. If there exist finitely generated $R$-modules $M$ and $N$, neither of…

For a group $G$ and a set $A$, let $\text{End}(A^G)$ be the monoid of all cellular automata over $A^G$, and let $\text{Aut}(A^G)$ be its group of units. By establishing a characterisation of surjunctuve groups in terms of the monoid…

For a grading-restricted vertex superalgebra $V$ and an automorphism $g$ of $V$, we give a linearly independent set of generators of the universal lower-bounded generalized $g$-twisted $V$-module $\widehat{M}^{[g]}_{B}$ constructed by the…

Answering a question of Dan Haran and generalizing some results of Aschbacher-Guralnick and Suzuki, we prove that given a set of primes pi, any finite group can be generated by a pi-subgroup and a pi'-subgroup. This gives a free product…

We use the moment method of Wood to study the distribution of random finite modules over a countable Dedekind domain with finite quotients, generated by taking cokernels of random $n\times n$ matrices with entries valued in the domain.…

In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its…

Let $R$ be a real smooth affine domain of dimension $3$ such that $R$ has either no real maximal ideals or the intersection of all real maximal ideals in $R$ has height at least $1$. Then we prove that all stably free $R$-modules of rank…

Let $R$ be a discrete valuation domain with field of fractions $Q$ and maximal ideal generated by $\pi$. Let $\Lambda$ be an $R$-order such that $Q\Lambda$ is a separable $Q$-algebra. Maranda showed that there exists $k\in\mathbb{N}$ such…

For a finite free and projective EI category, we prove that Gorenstein-projective modules over its category algebra are closed under the tensor product if and only if each morphism in the given category is a monomorphism.

Given a locally nilpotent derivation on an affine algebra $B$ over a field $k$ of characteristic zero, we consider a finitely generated $B$-module $M$ which admits a locally nilpotent module derivation $\delta_M$ (see Definition 1.1 below).…

We study model geometries of finitely generated groups. If a finitely generated group does not contain a non-trivial finite rank free abelian commensurated subgroup, we show any model geometry is dominated by either a symmetric space of…

Let $S$ be either a free group or the fundamental group of a closed hyperbolic surface. We show that if $G$ is a finitely generated residually-$p$ group with the same pro-$p$ completion as $S$, then two-generated subgroups of $G$ are free.…

An $R$-module $M$ is called absolutely self pure if for any finitely generated left ideal of $R$ whose kernel is in the filter generated by the set of all left ideals $L$ of $R$ with $L \supseteq$ ann $(m)$ for some $m \in M$, any map from…

We generalize the theory of radical factorization from almost Dedekind domain to strongly discrete Pr\"ufer domains; we show that, for a fixed subset $X$ of maximal ideals, the finitely generated ideals with $\mathcal{V}(I)\subseteq X$ have…

We prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization as quasi-geodesic monoids, and show that their word problem is rational (as a…

We prove finite generation of the algebra of type A conformal blocks over arbitrary stable curves of any genus. As an application we construct a flat family of irreducible normal projective varieties over the moduli stack of stable pointed…

Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1…

We give a new and self-contained proof of the finite generation of adjoint rings with big boundaries. As a consequence, we show that the canonical ring of a smooth projective variety is finitely generated.