Related papers: On the finiteness of certain factorization invaria…

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

In this paper, we study factorizations in the additive monoids of positive algebraic valuations $\mathbb{N}_0[\alpha]$ of the semiring of polynomials $\mathbb{N}_0[X]$ using a methodology introduced by D. D. Anderson, D. F. Anderson, and M.…

Let $n$ be a non-negative integer, $R$ a commutative Noetherian ring, $\mathfrak{a}$ an ideal of $R$, $M$ and $N$ two finitely generated $R$-modules, and $X$ an arbitrary $R$-module. In this paper, we study cofiniteness and finiteness of…

We extend a few fundamental aspects of the classical theory of non-unique factorization, as presented in Geroldinger and Halter-Koch's 2006 monograph on the subject, to a non-commutative and non-cancellative setting, in the same spirit of…

We study arithmetic properties of factorizations of elements into products of generators, in monoids given with explicit presentations. After relating and comparing this perspective to the more usual approach of factoring into products of…

Let M be ternary, homogeneous and simple. We prove that if M is finitely constrained, then it is supersimple with finite SU-rank and dependence is $k$-trivial for some $k < \omega$ and for finite sets of real elements. Now suppose that, in…

Let $H$ be a torsion-free $\delta$-hyperbolic group with respect to a finite generating set $S$. Let $a_1,..., a_n$ and $a_{1*},..., a_{n*}$ be elements of $H$ such that $a_{i*}$ is conjugate to $a_i$ for each $i=1,..., n$. Then, there is a…

Equipped with the operation of setwise multiplication induced by a (multiplicatively written) monoid $H$ on its parts, the collection of all finite subsets of $H$ containing the identity element is itself a monoid, denoted by $\mathcal…

We study properties of a group, abelian group, ring, or monoid $B$ which (a) guarantee that every homomorphism from an infinite direct product $\prod_I A_i$ of objects of the same sort onto $B$ factors through the direct product of finitely…

Let $H$ be a transfer Krull monoid over a finite ablian group $G$ (for example, rings of integers, holomorphy rings in algebraic function fields, and regular congruence monoids in these domains). Then each nonunit $a \in H$ can be written…

Let $H$ be a Krull monoid with class group $G$ such that every class contains a prime divisor (for example, rings of integers in algebraic number fields or holomorphy rings in algebraic function fields). For $k \in \mathbb N$, let $\mathcal…

Let $\mathfrak{q}$ denote an ideal of a local ring $(A,\mathfrak{m})$. For a system of elements $\underline{a} = a_1,\ldots,a_t$ such that $a_i \in \mathfrak{q}^{c_i}, i = 1, \ldots,t,$ and $n \in \mathbb{Z}$ we investigate a subcomplex…

Let $\M(A,\theta)$ be a free partially commutative monoid. We give here a necessary and sufficient condition on a subalphabet $B\subset A$ such that the right factor of a bisection $\M(A,\theta)=\M(B,\theta\_B).T$ be also partially…

Every finite group $G$ has a normal series each of whose factors is either a solvable group or a direct product of non-abelian simple groups. The minimum number of nonsolvable factors, attained on all possible such series in $G$, is called…

Let $\mathfrak{a}$ be an ideal of Noetherian ring $R$ and let $M$ be an $R$-module such that $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ is finite $R$-module for every $i$. If $s$ is the first integer such that the local cohomology module…

Let $\preceq$ be a preorder on a monoid $H$ and $s$ be an integer $\ge 2$. The $\preceq$-height of an $x \in H$ is the sup of the integers $k \ge 1$ for which there is a (strictly) $\preceq$-decreasing sequence $x_1,\ldots,x_k$ of…

For an element $a$ of a monoid $H$, its set of lengths $\mathsf L (a) \subset \mathbb N$ is the set of all positive integers $k$ for which there is a factorization $a=u_1 \cdot \ldots \cdot u_k$ into $k$ atoms. We study the system $\mathcal…

We show that absolutely minimizing functions relative to a convex Hamiltonian $H:\mathbb{R}^n \to \mathbb{R}$ are uniquely determined by their boundary values under minimal assumptions on $H.$ Along the way, we extend the known equivalences…

A subgroup $H$ of a group $G$ is $commensurated$ in $G$ if for each $g\in G$, $gHg^{-1}\cap H$ has finite index in both $H$ and $gHg^{-1}$. If there is a sequence of subgroups $H=Q_0\prec Q_1\prec ...\prec Q_{k}\prec Q_{k+1}=G$ where $Q_i$…

Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…