Existence and characterizations of hyper-dual group inverse

2025-04-07T16:58:21Z

Motivated by the recent work of Xiao and Zhong [AIMS Math. 9 (2024), 35125--35150: MR4840882], we propose a generalized inverse for a hyper-dual matrix called hyper-dual group generalized inverse (HDGGI). Under certain necessary and sufficient conditions, we establish the existence of the HDGGI of a hyper-dual matrix. We then show that the HDGGI is unique (whenever exists). The HDGGI is then used to solve a linear hyper-dual system. We also exploit some sufficient conditions under which the reverse and forward-order laws for a particular form of the HDGGI and HDMPGI hold. We also discuss the least-squares properties of hyper-dual group inverse. Using the definition of dual matrix of order $n$, we finally establish necessary and sufficient condition for the existence of the group inverse of a dual matrix of order $n$.

Componentwise Linear Ideals From Sums

2025-04-07T16:54:42Z

Let $I,J$ be componentwise linear ideals in a polynomial ring $S$. We study necessary and sufficient conditions for $I+J$ to be componentwise linear. We provide a complete characterization when $\dim S=2$. As a consequence, any componentwise linear monomial ideal in $k[x,y]$ has linear quotients using generators in non-decreasing degrees. In any dimension, we show that under mild compatibility conditions, one can build a componentwise linear ideal from a given collection of componentwise linear monomial ideals using only sum and product with square-free monomials. We provide numerous examples to demonstrate the optimality of our results.

Cluster Modular Groups of Affine and Doubly Extended Cluster Algebras

2025-04-07T14:32:46Z

We calculate the cluster modular groups of affine and doubly extended typecluster algebras in a uniform way by introducing a new family of quivers. We use this uniformdescription to construct a natural finite quotient of the cluster complex of each affine anddoubly extended cluster algebra. Using this construction, we introduce the notion of affineand doubly extended generalized associahedra, and count their facets.

Hereditarily and Super Generalized co-Bassian Abelian Groups

2025-04-07T09:36:26Z

We completely characterize by finding necessary and sufficient conditions those co-Bassian and generalized co-Bassian Abelian groups having, respectively, the hereditary or the super property, thus giving a new insight in the full discovery of the structure of these two classes of groups as recently defined in Arch. Math. Basel (2024) by the third author.

Iterated and Generalized Iterated Integrals

2025-04-07T08:59:28Z

For a differential field $F$ having an algebraically closed field of constants, we analyze the structure of Picard-Vessiot extensions of $F$ whose differential Galois groups are unipotent algebraic groups and apply these results to study stability problems in integration in finite terms and the inverse problem in differential Galois theory for unipotent algebraic groups.

The Cohen-Macaulay property of invariant rings over ring of integers of a global field-II

2025-04-07T05:39:40Z

Let $A$ be the ring of integers of a number field $K$. Let $G \subseteq GL_3(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y, Z]$ (fixing $A$) and let $S = R^G$ be the ring of invariants. Assume the Veronese subring $S^{}$ of $S$ is standard graded. We prove that if for all primes $p$ dividing $|G|$, the Sylow $p$-subgroup of $G$ has exponent $p$ then for all $l \gg 0$ the Veronese subring $S^{}$ of $S$ is Cohen-Macaulay. We prove a similar result if for all primes $p$ dividing $|G|$, the prime $p$ is unramified in $K$.

Rational powers, invariant ideals, and the summation formula

2025-04-06T20:02:39Z

We provide explicit descriptions for the rational powers and Rees valuations of several classes of ideals invariant under natural actions of tori and products of general linear groups, in terms of polyhedra and lattice points. This allows us to show that a version of Musta\c{t}\u{a}-Takagi's summation formula for multiplier ideals also holds for the rational powers of these ideals. Moreover, for arbitrary ideals in normal domains that are finitely generated over algebraically closed fields, we prove a weaker version of this formula that holds for sufficiently large rational numbers.

Finiteness of formal pushforwards

2025-04-06T19:45:57Z

Under mild hypotheses, given a scheme $U$ and an open subset $V$ whose complement has codimension at least two, the pushforward of a torsion-free coherent sheaf on $V$ is coherent on $U$. We prove an analog of this result in the context of formal schemes over a complete discrete valuation ring. We then apply this to obtain a result about gluing formal functions, where the patches do not cover the entire scheme.

The (universally) Japanese property for valuation rings and Prüfer domains

2025-04-06T14:02:40Z

We discuss the Japanese and universally Japanese properties for valuation rings and Pr\"ufer domains. These properties, regarding finiteness of integral closure, have been studied extensively for Noetherian rings, but very rarely, if ever, for non-Noetherian rings. Among other results, we show that for valuation rings and Pr\"ufer domains, the Japanese and universally Japanese properties are equivalent. This result can be seen as a counterpart of Nagata's classical result for Noetherian rings. This result also tells us many non-Noetherian rings, including all absolutely integrally closed valuation rings and Pr\"ufer domains, are universally Japanese.

Local log-regular rings vs. toric rings

2025-04-06T13:37:23Z

Local log-regular rings are a certain class of Cohen-Macaulay local rings that are treated in logarithmic geometry. Our paper aims to provide purely commutative ring theoretic proof of some ring-theoretic properties of local log-regular rings such as an explicit description of a canonical module, and the finite generation of the divisor class group.

Some Results on $\mathrm{v}$-Number of Monomial Ideals

2025-04-06T13:14:40Z

This paper investigates the v-number of various classes of monomial ideals. First, we considers the relationship between the v-number and the regularity of the mixed product ideal $I$, proving that $\mathrm{v}(I) \leq \mathrm{reg}(S/I)$. Next, we investigate an open conjecture on the v-number: if a monomial ideal $I$ has linear powers, then for all $k \geq 1$, $\mathrm{v}(I^k) = \alpha(I)k - 1.$ We prove that if a monomial ideal $I$ with linear powers is a homogeneous square-free ideal and ($k \geq 1$) has no embedded associated primes, then $\mathrm{v}(I^k) = \alpha(I)k - 1.$ We have also drawn some conclusions about the k-th power of the graph.Additionally, we calculate the v-number of various powers of edge ideals(including ordinary power ,square-free powers, symbolic powers). Finally, we propose a conjecture that the v-number of ordinary powers of line graph is equal to the v-number of square-free powers.

On composition of muiltivariable formal power series

2025-04-06T10:05:37Z

The paper provides a necessary and sufficient condition for the composition of multivariable formal power series and present the Generalized Chain Rule for formal power series of multiple variables.

All solid rings

2025-04-05T15:51:18Z

We give an explicit characterization of the solid rings of the fourth type, finishing a work by Bousfield and Kan in the 1970s. As a consequence of our methods, we give criteria to find the core of a ring and explicitly compute the core of some rings.

Completely Inert Subgroups of Abelian Groups

2025-04-05T09:08:38Z

We define and study in-depth the so-called completely inert and uniformly completely inert subgroups of Abelian groups. We curiously show that a subgroup is completely inert exactly when it is characteristically inert. Moreover, we prove that a subgroup is uniformly completely inert precisely when it is uniformly characteristically inert. These two statements somewhat strengthen recent results due to Goldsmith-Salce established for totally inert subgroups in J. Commut. Algebra (2025). Some other closely relevant things are obtained as well.

A study of a quadratic almost complete intersection ideal and its linked Gorenstein ideal

2025-04-04T22:41:32Z

We examine the ideal $I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2)$ in the polynomial ring $Q=k[x_1, \dots, x_n]$, where $k$ is a field of characteristic zero or greater than $n$. We also study the Gorenstein ideal $G$ linked to $I$ via the complete intersection ideal $(x_1^2, \dots, x_n^2)$. We compute the Betti numbers of $I$ and $G$ over $Q$ when $n$ is odd and extend known computations when $n$ is even. A consequence is that the socle of $Q/I$ is generated in a single degree (thus $Q/I$ is level) and its dimension is a Catalan number. We also describe the generators and the initial ideal with respect to reverse lexicographic order for the Gorenstein ideal $G$.