Search arXivSearch

arXiv · 2202.02542

Some Properties of Coefficients Kolchin Dimension Polynomial

Abstract

The article presents a formula expressing Macaulay constants of a numerical polynomial through its minimizing coefficients. From this, we have that Macaulay constants of Kolchin dimension polynomials do not decrease. For the minimal differential dimension polynomial (this concept was introduced by W.Sitt in [5]) we will prove a criterion for Macaulay constants to be equal. In this case, as the example (2) shows, there are no bounds from above to the Macaulay constants of the dimension polynomial for starting generator.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

M. V. Kondratieva. 2022-02-05. Some Properties of Coefficients Kolchin Dimension Polynomial. https://arxiv.org/abs/2202.02542

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Annihilator Multiplication Modules: Ring Characterizations and Constructions

An $A$-module $E$ is annihilator multiplication if the annihilator of each element equals that of $IE$ for a finitely generated ideal $I$. We characterize rings for which every faithful module has this property as the commutative quasi-Frobenius rings, and rings for which every module has the property as the Artinian principal ideal rings. Both characterizations reduce to two-generated modules. Over a reduced ring with finitely many minimal primes, faithful annihilator multiplication modules are exactly the regular-torsion-free modules, and principal ideals suffice in the definition. An ascending chain condition on annihilator ideals gives finite detection of the module annihilator, yielding localization and graph rigidity results. We also prove equality of associated primes with those of the faithful quotient and establish projective tensor and trace characterizations. Over local square-zero rings, the property is equivalent to nonsingularity of a bilinear multiplication map. A projective dimension argument gives a sharp length bound, attained by explicit faithful indecomposable nonprojective modules whose endomorphism rings are computed. Every cyclic submodule of these examples embeds in the ring, although the whole module is not torsionless. Support, hereditary torsion, and amalgamation criteria connect these structural results with further module constructions.

math.AC

Strongly multiplicative sets, idempotent localizations, and $S$-prime phenomena

A multiplicative set $S$ of a commutative ring $R$ is strongly multiplicative if every family $(s_i)_{i \in I}$ of elements of $S$ admits a common multiple in $S \cap \bigcap_{i \in I} s_iR$. We combine the structural results on strongly multiplicative sets with their prime-theoretic and module-theoretic applications. We prove that $S$ is strongly multiplicative if and only if localization at $S$ commutes with arbitrary intersections of ideals, if and only if $R_S$ is the localization at an idempotent, and if and only if $D(S)$ is clopen in $\Spec(R)$. We then develop permanence results under homomorphisms, products, factor rings, trivial extensions, and amalgamations; describe the associated split torsion theory; show that almost multiplicative sets contribute no new cases beyond their multiplicative hull; and record a Mittag--Leffler refinement for intersections of submodules in finitely generated modules. On the prime-theoretic side, we relate strongly multiplicative sets to strongly prime ideals and strongly zero-dimensional rings, answer the Hamed--Malek question on the role of strong multiplicativity for chains of $S$-prime ideals, prove a strong Krull separation lemma together with a maximal-ideal correspondence for $R_S$, and connect the theory with the regular $m$-complement operator. In particular, every nontrivial strongly multiplicative localization must invert a zero divisor.

math.AC

Buchsbaumness, Macaulayfication and Castelnuovo-Mumford regularity of monomial curves

Projective monomial curves are associated with rings generated by monomials of equal degree in two variables. In this paper, we give an infinite class of non-smooth, non Cohen-Macaulay $k$-Buchsbaum projective monomial curves for any $k\geq 1$ and find the monomial generators for the respective Macaulayfication. More generally, we demonstrate a method to find the Macaulayfication of a $k$-Buchsbaum monomial curve for any $k\geq 1$. We also discuss Castelnuovo-Mumford regularity of certain curves in terms of $k$-Buchsbaumness.

math.AC