http://arxiv.org/api/K40FW9a/3ZdUuBdv9n+/n1qErDc 2025-04-30T00:00:00-04:00 13649 225 15 http://arxiv.org/abs/2503.08521v1 2025-03-11T15:14:27Z 2025-03-11T15:14:27Z Edge ideals whose all matching powers are bi-Cohen-Macaulay We classify all graphs $G$ satisfying the property that all matching powers $I(G)^{[k]}$ of the edge ideal $I(G)$ are bi-Cohen-Macaulay for $1\le k\le\nu(G)$, where $\nu(G)$ is the maximum size of a matching of $G$. Marilena Crupi Antonino Ficarra http://arxiv.org/abs/2404.03695v2 2025-03-11T09:52:50Z 2024-04-03T12:53:11Z Constructing $ω$-free Hardy fields We show that every Hardy field extends to an $\omega$-free Hardy field. This result relates to classical oscillation criteria for second-order homogeneous linear differential equations. It is essential in [11], and here we apply it to answer questions of Boshernitzan, and to generalize a theorem of his. Matthias Aschenbrenner Lou van den Dries Joris van der Hoeven 51 pp.; revised following remarks by a referee. arXiv admin note: substantial text overlap with arXiv:2304.10846 http://arxiv.org/abs/2502.17895v2 2025-03-10T15:10:10Z 2025-02-25T06:40:36Z Betti elements and full atomic support in rings and monoids Several papers in the recent literature have studied factorization properties of affine monoids using the monoid's Betti elements. In this paper, we extend this study to more general rings and monoids. We open by demonstrating the issues with computing the complete set of Betti elements of a general commutative cancellative monoid, and as an example compute this set for an algebraic number ring of class number two. We specialize our study to the case where the monoid has a single Betti element, before examining monoids with full atomic support (that is, when each Betti element is divisible by every atom). For such a monoid, we show that the catenary degree, tame degree, and omega value agree and can be computed using the monoid's set of Betti elements. We close by considering Betti elements in block monoids, giving a "Carlitz-like" characterization of block monoids with full atomic support and proving that these are precisely the block monoids having a unique Betti element. Scott T. Chapman Pedro García-Sánchez Christopher O'Neill Vadim Ponomarenko http://arxiv.org/abs/2503.07299v1 2025-03-10T13:20:42Z 2025-03-10T13:20:42Z On average orders of automorphism groups of bilinear maps over finite fields Let $\varphi:V\times V\to W$ be a bilinear map of finite vector spaces $V$ and $W$ over a finite field $\mathbb{F}_q$. We present asymptotic bounds on the number of isomorphism classes of bilinear maps under the natural action of $\mathrm{GL}(V)$ and $\mathrm{GL}(W)$, when $\dim(V)$ and $\dim(W)$ are linearly related. As motivations and applications of the results, we present almost tight upper bounds on the number of $p$-groups of Frattini class $2$ as first studied by Higman (Proc. Lond. Math. Soc., 1960). Such bounds lead to answers for some open questions by Blackburn, Neumann, and Venkataraman (Cambridge Tracts in Mathematics, 2007). Further applications include sampling matrix spaces with the trivial automorphism group, and asymptotic bounds on the number of isomorphism classes of finite cube-zero commutative algebras. Markus Bläser Yinan Li Youming Qiao Alexander Rogovskyy 25 pages http://arxiv.org/abs/2503.07271v1 2025-03-10T12:50:49Z 2025-03-10T12:50:49Z Decompositions into a direct sum of projective and stable submodules A module $M$ is said to be stable if it has no nonzero projective direct summand. For a ring $ R $, we study the conditions under which every $R$-module $M$ within a specific class can be decomposed into a direct sum of a projective module and a stable module, focusing on identifying the types of rings and the class of $R$-modules where this property holds. Some well-known classes of rings over which every finitely presented module can be decomposed into a direct sum of a projective submodule and a stable submodule are semiperfect rings or semilocal rings or rings satisfying some finiteness conditions like having finite uniform dimension or hollow dimension or being Noetherian or Artinian. By using the Auslander-Bridger transpose of modules, we prove that every finitely presented right $R$-module over a left semihereditary ring $R$ has such a decomposition; note that the semihereditary condition is on the opposite side. Our main focus in this article is to give examples where such a decomposition fails. We give some ring examples over which there exists an infinitely generated or finitely generated or cyclic module or finitely presented module or cyclically presented module where such a decomposition fails. Our main example is a cyclically presented module $M$ over a commutative ring such that~$M$ has no such decomposition and $M$ is not projectively equivalent to a stable module. Gulizar Gunay Engin Mermut 15 pages http://arxiv.org/abs/2302.13787v5 2025-03-10T12:19:10Z 2023-02-27T14:08:07Z On image ideals of nice and quasi-nice derivations over a UFD In this paper, for a field $k$ of characteristic zero and a finitely generated $k$-algebra $R$, we give a set of generators for the image ideals of irreducible nice and quasi-nice $R$-derivations on the polynomial ring $R[X,Y]$, where $R$ is a UFD. Nikhilesh Dasgupta Animesh Lahiri http://arxiv.org/abs/2409.03654v3 2025-03-10T10:42:44Z 2024-09-05T16:10:30Z Tressl's Structure Theorem for Separable Algebras This short paper presents a generalisation of Tressl's structure theorem for differentially finitely generated algebras over differential rings of characteristic 0 to the case of separable algebras over differential rings of arbitrary characteristic. Gabriel Ng 7 pages. Minor clarifications and additional details and remarks added http://arxiv.org/abs/math/0508092v3 2025-03-10T09:57:54Z 2005-08-04T15:12:06Z Infinite Minkowski sums of lattice polyhedra Artinian integrally closed monomial ideals are characterized by their Newton polyhedra, which are lattice polyhedra inside the positive orthant having the positive orthant as their recession cone. Multiplication of such ideals correspond to Minkowski addition of their Newton polyhedra. In two dimensions, the isomorphic monoids of artinian, integrally closed monomial ideals under multiplication, or the class of lattice polyhedra described above, under Minkowski addition, are free abelian, as proved by Crispin-Quinonez. Bayer and Stillman considered so-called /monomial submodules/ of the Laurent polynomial ring. Inspired by this, we consider a family of such monomial submodules that can be (uniquely) expressed as an infinite product of monomial submodules isomorphic to integrally closed monomial ideals. Geometrically, their Newton polyhedras are expressed as an infinite Minkowski sum of *simple* lattice polyhedra. This gives another example of a *topological ufd* i.e. a topological abelian monoid in which every element can be uniquely written as a convergent (possibly infinite) product of irreducibles. Jan Snellman Minor revision http://arxiv.org/abs/2305.09190v3 2025-03-10T08:10:41Z 2023-05-16T05:59:56Z (Almost) Complete Intersection Lovász-Saks-Schrijver ideals and regularity of their powers We discuss the property of (almost) complete intersection of LSS-ideals of graphs of some special forms, like trees, unicyclic, and bicyclic graphs. Further, we give a sufficient condition for the complete intersection property of twisted LSS-ideals in terms of a new graph theoretical invariant called twisted positive matching decomposition number denoted by tpmd. We also study the regularity of powers of LSS-ideals and make observations related to the Koszul property of the quotients of the same. Marie Amalore Nambi Neeraj Kumar Chitra Venugopal 10.1142/S0219498826500933 To appear in Journal of Algebra and Its Applications http://arxiv.org/abs/2501.05189v2 2025-03-10T03:11:45Z 2025-01-09T12:24:00Z The{N/D}-Conjecture for Nonresonant Hyperplane Arrangements This paper studies Bernstein--Sato polynomials $b_{f,0}$ for homogeneous polynomials $f$ of degree $d$ with $n$ variables. It is open to know when $-{n\over d}$ is a root of $b_{f,0}$. For essential indecomposable hyperplane arrangements, this is a conjecture by Budur, Musta\c{t}\u{a} and Teitler and implies the strong topological monodromy conjecture for arrangements. U. Walther gave a sufficient condition that a certain differential form does not vanish in the top cohomology group of Milnor fiber. We use Walther's result to verify the $n\over d$-conjecture for weighted hyperplane arrangements satisfying the nonresonant condition. We also give some essential indecomposable homogeneous polynomials $f$ such that $-{n\over d}$ is not a root of $b_{f,0}$. This leads to a conjectural sufficient condition for $b_{f,0}(-{n\over d})=0$. Baiting Xie Chenglong Yu 18 pages, comments welcome! http://arxiv.org/abs/2410.12227v2 2025-03-09T14:01:00Z 2024-10-16T04:43:21Z Vector space summands of lower syzygies In this paper, we investigate problems concerning when the residue field $k$ of a local ring $(R,\frak m$, $k)$ appears as a direct summand of syzygy modules, from two perspectives. First, we prove that the following conditions are equivalent: (i) $k$ is a direct summand of second syzygies of all non-free finitely generated $R$-modules; (ii) $k$ is a direct summand of third syzygies of all non-free finitely generated $R$-modules; (iii) $k$ is a direct summand of $\frak m$. We also prove various consequences of these conditions. The second point of this article is to investigate for what artinian local rings $R$ the dual $E^*=Hom_R(E_R(k),R)$ of the injective envelope of the residue field, which is also a second syzygy, is a $k$-vector space. Using the notion of Eliahou-Kervaire resolution, we introduce a large class of artinian local rings that satisfy this condition. Mohsen Asgharzadeh Michael DeBellevue Souvik Dey Saeed Nasseh Ryo Takahashi 18 pages; significant revision done on the previous version http://arxiv.org/abs/2503.06600v1 2025-03-09T13:08:18Z 2025-03-09T13:08:18Z Finite fields whose members are the sum of a potent and a 4-potent We classify those finite fields $\mathbb{F}_q$, for $q$ a power of some fixed prime number, whose members are the sum of an $n$-potent element with $n>1$ and a 4-potent element. It is shown that there are precisely ten non-trivial pairs $(q,n)$ for which this is the case. This continues a recent publication by Cohen-Danchev et al. in Turk. J. Math. (2024) in which the tripotent version was examined in-depth as well as it extends recent results of this branch established by Abyzov-Tapkin in Sib. Math. J. (2024). Stephen D. Cohen Peter V. Danchev Tomás Oliveira e Silva 10 pages http://arxiv.org/abs/2501.05573v2 2025-03-08T18:49:03Z 2025-01-09T20:58:18Z Euclidean domains with no multiplicative norms We construct a Euclidean domain with no multiplicative Euclidean norm to a compatibly well-ordered monoid, and hence with no multiplicative Euclidean norm to $\mathbb{R}$ (under its usual order). A key step in the proof is showing that the UFD property is preserved when adjoining a free factorization. Caleb J. Dastrup Pace P. Nielsen http://arxiv.org/abs/2405.19992v2 2025-03-08T17:27:51Z 2024-05-30T12:25:04Z Asymptotic v-numbers of graded (co)homology modules involving powers of an ideal Let $R$ be a Noetherian $\mathbb{N}$-graded ring. Let $L$, $M$ and $N$ be finitely generated graded $R$-modules with $N \subseteq M$. For a homogeneous ideal $I$, and for each fixed $k \in \mathbb{N}$, we show the asymptotic linearity of v-numbers of the graded modules $ {\rm Ext}_R^{k}(L,{I^{n}M}/{I^{n}N})$ and ${\rm Tor}_k^{R}(L,{I^{n}M}/{I^{n}N})$ as functions of $n$. Moreover, under some conditions on ${\rm Ext}_R^k(L,M)$ and ${\rm Tor}_k^R(L,M)$ respectively, we prove similar behaviour for v-numbers of ${\rm Ext}_R^{k}(L,{M}/{I^{n}N})$ and $ {\rm Tor}_k^{R}(L,{M}/{I^{n}N})$. The last result is obtained by proving the asymptotic linearity of v-number of $(U+I^{n}V)/I^{n}W$, where $U$, $V$ and $W$ are graded submodules of a finitely generated graded $R$-module such that $W \subseteq V$ and $(0:_{U}I) = 0$. Dipankar Ghosh Siddhartha Pramanik 10.1016/j.jalgebra.2025.01.029 11 pages, Comments and suggestions are welcome J. Algebra 671 (2025), 61--74 http://arxiv.org/abs/2310.18032v3 2025-03-08T09:19:31Z 2023-10-27T10:14:06Z On $S$-$n$-absorbing ideals Let $R$ be a commutative ring with identity, $S$ a multiplicative subset of $R$ and $I$ an ideal of $R$ disjoint from $S$. In this paper, we introduce the notion of an $S$-$n$-absorbing ideal which is a generalization of both the $S$-prime ideals and $n$-absorbing ideals. Moreover, we investigate the basic properties, quotient extension, existence and amalgamation of $S$-$n$-absorbing ideals. Hyungtae Baek Hyun Seung Choi Jung Wook Lim 10.1080/00927872.2025.2479132 18pages