Related papers: Axiomatizing rational power series

Let $A$ be a rational function of degree $n\geq 2$. Let us denote by $ G(A)$ the group of M\"obius transformations $\sigma$ such that $ A\circ \sigma=\nu_{\sigma} \circ A$ for some M\"obius transformations $\nu_{\sigma}$, and by $\Sigma(A)$…

Let F_{n+m} be the free group of rank n+m, with generators x_1,...,x_{n+m}. An automorphism \phi of F_{n+m} is called partially symmetric if for each 1 \le i \le m, \phi(x_i) is conjugate to x_j or x_j^{-1} for some 1 \le j \le m. Let…

Inspired by Jorgensen et. al., it is proved that if a Cohen--Macaulay local ring $R$ with dualizing module admits a suitable chain of semidualizing $R$--modules of length $n$, then $R\cong Q/(I_1+\cdots+I_n)$ for some Gorenstein ring $Q$…

Let $R$ be a Gorenstein local ring with maximal ideal $\mathfrak{m}$ satisfying $\mathfrak{m}^3=0\ne\mathfrak{m}^2$. Set $k=R/\mathfrak{m}$ and $e=\text{rank}_{k}(\mathfrak{m}/\mathfrak{m}^2)$. If $e>2$ and $M$, $N$ are finitely generated…

We introduce and study rational symbolic powers of ideals in Noetherian rings. We give membership criteria for rational symbolic powers and discuss settings where they agree with integer symbolic powers. We investigate the binomial…

In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models…

Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings,…

A semiring is uniserial if its ideals are totally ordered by inclusion. First, we show that a semiring $S$ is uniserial if and only if the matrix semiring $M_n(S)$ is uniserial. As a generalization of valuation semirings, we also…

We study prime ideals in skew power series rings $T:=R[[y;\tau,\delta]]$, for suitably conditioned right noetherian complete semilocal rings $R$, automorphisms $\tau$ of $R$, and $\tau$-derivations $\delta$ of $R$. These rings were…

Let $I$ be a homogeneous ideal in a polynomial ring over a field. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. Motivated by results about ordinary powers of $I$, we study the asymptotic behavior of the regularity function $\text{reg}~…

Ideals in the ring of power series in three variables can be classified based on algebra structures on their minimal free resolutions. The classification is incomplete in the sense that it remains open which algebra structures actually…

Recently several authors have proved results on Ehrhart series of free sums of rational polytopes. In this note we treat these results from an algebraic viewpoint. Instead of attacking combinatorial statements directly, we derive them from…

In this paper, we inspect a relatively unexplored notion of finite generation in semirings, namely semirings in which all congruences are finitely generated. Such semirings are dubbed Congruence Noetherian. After developing sufficient…

In the second section, we introduce hemiring-valued pseudonormed rings and generalize Albert's result which states that every finite-dimensional algebra can be normed. Next, we introduce shrinkable hemirings and prove that dense division…

In [FGRS1,FGRS2] the relationship between the universal and elementary theory of a group ring $R[G]$ and the corresponding universal and elementary theory of the associated group $G$ and ring $R$ was examined. Here we assume that $R$ is a…

Let $R$ be the polynomial ring $K[x_{i,j}]$ where $1 \le i \le r$ and $j \in \mathbb{N}$, and let $I$ be an ideal of $R$ stable under the natural action of the infinite symmetric group $S_{\infty}$. Nagel--R\"omer recently defined a Hilbert…

Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables.…

Let $A$ be the homogeneous coordinate ring of a rational normal scroll. The ring $A$ is equal to the quotient of a polynomial ring $S$ by the ideal generated by the two by two minors of a scroll matrix $\psi$ with two rows and $\ell$…

We give an easy proof of Sch\"utzenberger's Theorem stating that non-commutative formal power series are rational if and only if they are recognisable. A byproduct of this proof is a natural metric on a subgroup of invertible rational…

We provide a classification of congruence-simple semirings with a multiplicatively absorbing element and without non-trivial nilpotent elements.