相关论文: Commutative unital rings elementarily equivalent t…

Given a non-associative unital ring $R$, a monoid $G$ and a set $\pi$ of additive maps $R \rightarrow R$, we introduce the Ore monoid ring $R[\pi ; G]$, and, in a special case, the differential monoid ring. We show that these structures…

The conformal anomaly and the Virasoro algebra are fundamental aspects of 2D conformal field theory and conformally covariant models in planar random geometry. In this article, we explicitly derive the Virasoro algebra from an…

We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the…

We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the…

Let $R$ be a commutative ring and $I\subset R$ be a nilpotent ideal such that the quotient $R/I$ splits out of $R$ as a ring. Let $N$ be a natural number such that ${I^N=0}$. We establish a canonical isomorphism between the relative Milnor…

We study the category of $\mathbf{P}$-equivariant modules over the infinite variable polynomial ring, where $\mathbf{P}$ denotes the subgroup of the infinite general linear group $\mathbf{GL}(\mathbf{C}^\infty)$ consisting of elements…

It is shown that, in the variety of ternary rings, the elements of amalgamated free products have unique normal forms, and, moreover, this variety satisfies the strong amalgamation property. Applying these statements, effective codescent…

We establish a regular sampling theory in the range of the analysis operator of a continuous frame having a unitary structure. The unitary structure is related with a unitary representation of a locally compact abelian group on a separable…

Let R be a commutative ring with unity and a let A be a not necessarily commutative R-algebra which is free as an R-module. If I is an ideal in A, one can ask when A/I is also free as an R-module. We show that if A has an admissible system…

We exhibit a sound and complete implicit-complexity formalism for functions feasibly computable by structural recursions over inductively defined data structures. Feasibly computable here means that the structural-recursive definition runs…

Various algebraic structures in geometry and group theory have appeared to be governed by certain universal rings. Examples include: the cohomology rings of Hilbert schemes of points on projective surfaces and quasi-projective surfaces; the…

In this paper, we prove that the semigroups of invertible matrices with nonnegative elements over linearly oredered associative rings are elementarily equivalent if and only if the matrices have the same dimension and the rings are…

Since for the classification of finite (congruence-)simple semirings it remains to classify the additively idempotent semirings, we progress on the characterization of finite simple additively idempotent semirings as semirings of…

The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…

We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient…

We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…

A commutative semigroup of abstract factorials is defined in the context of the ring of integers. We study such factorials for their own sake, whether they are or are not connected to sets of integers. Given a subset X of the positive…

We prove a negative solution to the analogue of Hilbert's tenth problem for rings of one variable non-Archimedean entire functions in any characteristic. In the positive characteristic case we prove more: the ring of rational integers is…

We describe "quasi canonical modules" for modular invariant rings $R$ of finite group actions on factorial Gorenstein domains. From this we derive a general "quasi Gorenstein criterion" in terms of certain 1-cocycles. This generalizes a…

Let $R$ be a commutative ring with identity and $S$ a multiplicative subset of $R$. In this paper, we introduce and study the notions of $S$-pure $S$-exact sequences and $S$-absolutely pure modules which extend the classical notions of pure…