Related papers: A formula for the core of an ideal
We construct in complete intersection's case, elementary currents which describe the local ideal, and give a decomposition in it for holomorphic function.
Let $F$ be a field and $M_n(F)$ the ring of $n \times n$ matrices over $F$. Given a subset $S$ of $M_n(F)$, the null ideal of $S$ is the set of all polynomials $f$ with coefficients from $M_n(F)$ such that $f(A) = 0$ for all $A \in S$. We…
All subalgebras, idempotents, left(right) ideals and left quasi-units of two-dimensional algebras are described. Classification of algebras with given number of subalgebras, left(right) ideals are provided. In particular, a list of…
A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.
The main purpose of this paper is to investigate prime, primary, and maximal ideals of semirings. The localization and primary decomposition of ideals in semirings are also studied.
Given a real function $f$ on an interval $[a,b]$ satisfying mild regularity conditions, we determine the number of zeros of $f$ by evaluating a certain integral. The integrand depends on $f, f'$ and $f''$. In particular, by approximating…
An almost complete intersection ideal can be seen as a $d$-sequence ideal with the minimal number of generators being one more than its height. In this paper, we give exact formulas for the regularity of powers of graded almost complete…
A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…
Let $SP$ be the set of upper strongly porous at $0$ subsets of $\mathbb R^{+}$ and let $\hat I(SP)$ be the intersection of maximal ideals $I \subseteq SP$. Some characteristic properties of sets $E\in\hat I(SP)$ are obtained. It is shown…
We consider simple rational functions $R_{mn}(x)=P_m(x)/Q_n(x)$, with $P_m$ and $Q_n$ polynomials of degree $m$ and $n$ respectively. We look for "nice" functions, which we define to be ones where as many as possible of the roots, poles,…
Let X be a finite set and let k be a commutative ring. We consider the k-algebra of the monoid of all relations on X, modulo the ideal generated by the relations factorizing through a set of cardinality strictly smaller than Card(X), called…
This article introduces patterns of ideals of numerical semigroups, thereby unifying previous definitions of patterns of numerical semigroups. Several results of general interest are proved. More precisely, this article presents results on…
Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gr\"obner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded…
We consider ideals in a polynomial ring generated by collections of power sum polynomials, and obtain conditions under which these define complete intersection rings, normal domains, and unique factorization domains. We also settle a key…
Wiebe's criterion, which recognizes complete intersections of dimension zero among the class of noetherian local rings, is revisited and exploited in order to provide information on what we call C.I.0-ideals (those such that the…
Achieving the goals in the title (and others) relies on a cardinality-wise scanning of the ideals of the poset. Specifically, the relevant numbers attached to the k+1 element ideals are inferred from the corresponding numbers of the…
A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these…
Let $R$ be a commutative ring and $M_n(R)$ be the ring of $n \times n$ matrices with entries from $R$. For each $S \subseteq M_n(R)$, we consider its (generalized) null ideal $N(S)$, which is the set of all polynomials $f$ with coefficients…
Theorem 1 is a formula expressing the mean number of real roots of a random multihomogeneous system of polynomial equations as a multiple of the mean absolute value of the determinant of a random matrix. Theorem 2 derives closed form…
In this article, we introduce the concepts of excision and idealization for a multiplicative Lie algebra (also for a Lie algebra), which provides two new multiplicative Lie algebras (or Lie algebras) from a given multiplicative Lie algebra…