交换代数

In this paper, we provide a formula for the vector space dimension of the ring $\mathbb{F}_2[x,y,z]/(x^{d_1}, y^{d_2},z^{d_3}, x+y+z)$ over $\mathbb{F}_2$ when $d_1,d_2,d_3$ all lie between successive powers of $2$. For general…

We establish an analogue of Pontryagin duality for modules over compact discrete valuation rings $R$. Namely, we define the dual of a topological $R$ module to be its continuous $R$-module homomorphisms into $K/R$, the quotient module of…

We consider the set of all the ideals of a ring, endowed with the coarse lower topology. The aim of this paper is to study the topological properties of distinguished subspaces of this space and detect the spectrality of some of them.

Since Hochster's work, spectral spaces have attracted increasing interest. Through this note we intend to show that the set of proper ideals of a ring endowed with coarse lower topology is a spectral space.

Can there be a structure space-type theory for an arbitrary class of ideals of a ring? The ideal spaces introduced in this paper allows such a study and our theory includes (but not restricted to) prime, maximal, minimal prime, strongly…

For studying intrusion detection data we consider data points referring to individual IP addresses and their connections: We build networks associated with those data points, such that vertices in a graph are associated via the respective…

This paper studies the algebraic structure of a new class of hyperplane arrangement $A$ obtained by deleting two hyperplanes from a free arrangement. We provide information on the minimal free resolutions of the logarithmic derivation…

Let $\Bbbk$ be an arbitrary field and let $b > 1, n > 1$ and $a$ be three positive integers. In this paper we explicitly describe a minimal $S-$graded free resolution of the semigroup algebra $\Bbbk[S]$ when $S$ is a generalized repunit…

In this paper, we study some properties of $S$-Noetherian modules and $S$-strong Mori modules. Among other things, we prove the Hilbert basis theorem for $S$-Noetherian modules and $S$-strong Mori modules.

Over fields of characteristic two, we construct an infinite ascending chain of GL-stable ideals in the coordinate ring of infinite skew-symmetric matrices. This construction provides the first known example of a non-noetherian GL-algebra,…

The aim of this work is to consider the bicomplex third-order Jacobsthal quaternions and to present some properties involving this sequence, including the Binet-style formulae and the generating functions. Furthermore, Cassini's identity…

Samuel conjectured in 1961 that a (Noetherian) local complete intersection ring that is a UFD in codimension at most three is itself a UFD. It is said that Grothendieck invented local cohomology to prove this fact. Following the philosophy…

Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…

Let $(A,\mathfrak{m})$ be an excellent normal local ring of dimension $d \geq 2$ with infinite residue field. Let $I$ be an $\mathfrak{m}$-primary ideal. Then the following assertions are equivalent: (i) The extended Rees algebra $A[It,…

Over an algebraically closed field, the $\textit{double point interpolation}$ problem asks for the vector space dimension of the projective hypersurfaces of degree $d$ singular at a given set of points. After being open for 90 years, a…

The goal of this paper is to study the Rees algebra $\mathfrak{R}(I)$and the special fiber ring $\mathfrak{F}(I)$ for a family of ideals. Let $R=\mathbb{K}[x_1, \ldots, x_d]$ with $d\geq 4$ be a polynomial ring with homogeneous maximal…

Let $n>1$ and let $R$ be a commutative ring with identity $1\ne 0$ and $R[x_1,\ldots,x_n]^n$ the set of all $n$-tuples of polynomials of the form $(f_1,\ldots,f_n),$ where $f_1,\ldots,f_n\in R[x_1,\ldots,x_n]$. We call these $n$-tuples…

Consider ideals $I$ of the form \[ I=(x_1^2,\dots, x_n^2)+\mathrm{RLex}(x_ix_j) \] where $\mathrm{RLex}(x_ix_j)$ is the ideal generated by all the square-free monomials which are greater than or equal to $x_ix_j$ in the reverse…

We consider homogeneous binomial ideals $I=(f_1,\ldots,f_n)$ in $K[x_1, \ldots, x_n]$, where $f_i = a_i x_i^{d_i} - b_i m_i$ and $a_i \neq 0$. When such an ideal is a complete intersection, we show that the monomials which are not divisible…

We explain how to compute in the algebraic closure of a valued field. These computations heavily rely on the \NPAz. They are made in the same spirit as the dynamic algebraic closure of a field. They give a concrete content to the theorem…