交换代数
Finite group actions on free resolutions and modules arise naturally in many interesting examples. Understanding these actions amounts to describing the terms of a free resolution or the graded components of a module as group…
In this article, we present FastMinors.m2, a package in Macaulay2 designed to introduce new methods focused on computations in function field linear algebra. Some key functionality that our package offers includes: finding a submatrix of a…
We present a package 'MixedMultiplicity' for computing mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. This enables us to find mixed volumes of convex lattice polytopes…
Let $D$ be a Krull domain admitting a prime element with finite residue field and let $K$ be its quotient field. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $D$,…
Let $\mathbb{A}$ be a Dedekind domain and $T$ an endomorphism of a finitely-generated projective $\mathbb{A}$-module. If $T$ is an $s^{th}$ power in $\mathrm{End}_{\mathbb{A}}(M)$ for $s$ ranging over an infinite set $\mathcal{S}$ of…
Let $R=K[x_1,\ldots,x_n]$ be a polynomial ring in $n$ variables over a field $K$ and $I$ be a matroidal ideal of degree $d$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integers $l$ and $k$, for which $\Ass(I^l)$ and $\depth(R/I^k)$…
Let $A=\{a_0,\ldots,a_{n-1}\}$ be a finite set of $n\geq 4$ non-negative relatively prime integers such that $0=a_0<a_1<\cdots<a_{n-1}=d$. The $s$-fold sumset of $A$ is the set $sA$ of integers that contains all the sums of $s$ elements in…
The v-number of a graded ideal is an algebraic invariant introduced by Cooper et al., and originally motivated by problems in algebraic coding theory. In this paper we study the case of binomial edge ideals and we establish a significant…
In this paper we present different ways to parametrize subsets of the space of valuations on $K[x]$ extending a given valuation on $K$. We discuss the methods using pseudo-Cauchy sequences and approximation types. The method presented here…
We classify the Cohen-Macaulay weighted oriented graphs whose underlying graphs have girth at least $5$.
L\'{a}szl\'{o} Fuchs posed the following question: which abelian groups arise as the group of units in a ring? In this paper, we investigate a related question: for such realizable groups $G$, when is there a ring $R$ with unit group $G$…
In this paper we study maximal subrings up to isomorphism of fields. It is shown that each field with zero characteristic has infinitely many maximal subrings up to isomorphism. If $K$ is an algebraically closed field and $x$ is an…
We describe the prime ideals and, in particular, the maximal ideals in products $R = \prod D_\lambda$ of families $(D_\lambda)_{\lambda \in \Lambda}$ of commutative rings. We show that every maximal ideal is induced by an ultrafilter on the…
We provide, in a 474 pages study, a comprehensive and self-contained treatment of Resultant Theory for a homogeneous system of polynomials with several variables (as many variables as of polynomials). In a non classical way, we use the…
For a numerical semigroup $S := \langle n_1, \dots, n_k \rangle$ with minimal generators $n_1 < \cdots < n_k$, Barron, O'Neill, and Pelayo showed that $L(s+n_1) = L(s) + 1$ and $\ell(s+n_k) = \ell(s) + 1$ for all sufficiently large $s \in…
Bourbaki sequences and Bourbaki ideals have been studied by several authors since its inception sixty years ago circa. Generic Bourbaki sequences have been thoroughly examined by the senior author with B. Ulrich and W. Vasconcelos, but due…
The Casas-Alvero conjecture predicts that every univariate polynomial over a field of characteristic zero having a common factor with each of its derivatives $H_i(f)$ is a power of a linear polynomial. One approach to proving the conjecture…
Let $G$ be a graph with $n$ vertices and let $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $I(G)$ and $J(G)$ denote the edge ideal and the cover ideal of $G$, respectively. We…
Let $R=\mathbb{F}_p[x_1,\ldots,x_n]$ and let $\mathbf{F}$ be the ring of Frobenius operators over $R$. We introduce a notion of Bernstein dimension and multiplicity for the class of finitely generated $\mathbf{F}$-modules whose structure…
We prove constructively a Nullstellensatz giving an equivalence between the existence of a certain kind of algebraic identity on one hand, and the impossibility of finding an increasing sequence of irreducible varieties obeying certain…