Related papers: On the finiteness of certain factorization invaria…

Let $\mathfrak{a}$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. In this paper we proved that if $\operatorname{Supp}\mathfrak{F}_\mathfrak{a}^i(M)$ is finite for all $i<t$, then so is…

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

We say that a class of finite structures for a finite first-order signature is $r$-compressible if each structure $G$ in the class has a first-order description of size at most $O(r(|G|))$. We show that the class of finite simple groups is…

Let R=S/I be a monomial ring whose minimal free resolution F is rooted. We describe an A-infinity algebra structure on F. Using this structure, we show that R is Golod if and only if the product on Tor^S(R,k) vanishes. Furthermore, we give…

We prove that the outer automorphism group $Out(G)$ is residually finite when the group $G$ is virtually compact special (in the sense of Haglund and Wise) or when $G$ is isomorphic to the fundamental group of some compact $3$-manifold. To…

We study first-order logic (FO) over the structure consisting of finite words over some alphabet $A$, together with the (non-contiguous) subword ordering. In terms of decidability of quantifier alternation fragments, this logic is…

An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements.…

For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is…

Let $M$ be a cancellative and commutative monoid. A non-invertible element of $M$ is called an atom (or irreducible element) if it cannot be factored into two non-invertible elements, while an atom $a$ of $M$ is called strong if $a^n$ has a…

Let Gamma be an S-arithmetic subgroup of a solvable algebraic group G over an algebraic number field F, such that the finite set S contains at least one place that is nonarchimedean. We construct a certain group H, such that if L is any…

A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective…

We consider the group $\mathfrak{X}(G)$ obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. Deceptively complicated finitely presented groups arise from…

We show that the unitary factor U in the polar decomposition of a nonsingular matrix Z = U H is the minimizer for both ||Log(Q^* Z)|| and ||sym (Log(Q^*Z))|| over unitary Q, for any given invertible complex n-times-n matrix Z, for any…

We prove that generically in $\text{Diff}^{1}_{m}(M)$, if an expanding $f$-invariant foliation $W$ of dimension $u$ is minimal and there is a periodic point of unstable index $u$, the foliation is stably minimal. By this we mean there is a…

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $\frak a$ an ideal of $R$ and $M$ a finitely generated $R$-module. The purpose of this paper is to show that $f^n_{\frak a}(M)=\inf \{0\leq i\in\mathbb{Z}|\, \dim…

Let $\mathbb{N} \mathcal{A}$ be the monoid generated by $\mathcal{A} = {\mathbf{a}_1, ..., \mathbf{a}_n} \subseteq \mathbb{Z}^d.$ We introduce the homogeneous catenary degree of $\mathbb{N} \mathcal{A}$ as the smallest $N \in \mathbb N$…

We show that the convolution algebra of smooth, compactly-supported functions on a Lie groupoid is H-unital in the sense of Wodzicki. We also prove H-unitality of infinite order vanishing ideals associated to invariant, closed subsets of…

Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The…

Every homomorphism from finite index subgroups of a universal lattices to mapping class groups of orientable surfaces (possibly with punctures), or to outer automorphism groups of finitely generated nonabelian free groups must have finite…

A ring has bounded factorizations if every cancellative nonunit $a \in R$ can be written as a product of atoms and there is a bound $\lambda(a)$ on the lengths of such factorizations. The bounded factorization property is one of the most…