Stanley depth of monomial ideals with small number of generators

For a monomial ideal I ⊂ S = K[x ₁...,x _n ], we show that sdepth(S/I) ≥ n − g(I), where g(I) is the number of the minimal monomial generators of I. If I =νI′, where ν ∈ S is a monomial, then we see that sdepth(S/I) = sdepth(S/I′). We prove that if I is a monomial ideal I ⊂ S minimally generated by three monomials, then I and S/I satisfy the Stanley conjecture. Given a saturated monomial ideal I ⊂ K[x ₁,x ₂,x ₃] we show that sdepth(I) = 2. As a consequence, sdepth(I) ≥ sdepth(K[x ₁,x ₂,x ₃]//I) +1 for any monomial ideal in I ⊂ K[x ₁,x ₂,x ₃].     

Characterization of polynomials and divided difference

For distinct points x₁,x₂,…,x_n in ℛ (the reals), letϕ[x₁, x₂,…,x_n] denote the divided difference ofϕ. In this paper, we determine the general solutionϕ,g: ℛ → ℛ of the functional equationϕ[x₁,x₂,…,x_n] =g(x₁,+ x₂ + … + x_n) for distinct x₁,x₂,…, x_n in ℛ without any regularity assumptions on the unknown functions.     

A procedure to compute prime filtration

Let K be a field, S = K[x ₁, … x _n ] be a polynomial ring in n variables over K and I ⊂ S be an ideal. We give a procedure to compute a prime filtration of S/I. We proceed as in the classical case by constructing an ascending chain of ideals of S starting from I and ending at S. The procedure of this paper is developed and has been implemented in the computer algebra system Singular.     

Theoremes de Viabilite Pour les Inclusions Differentielles du Second Ordre

This paper gives conditions ensuring the existence for an initial value (x ₀,v ₀) of a solution to the second order differential inclusionx″(t) ∈F[x(t),x′(t)],x(0)=x ₀,x′(0)=v ₀ such thatx(t) ∈K for allt whereK is a nonempty given subset ofR ⁿ .      

Depth of Initial Ideals of Normal Edge Rings

Let G be a finite graph on the vertex set [d] = {1,…, d} with the edges e ₁,…, e _n and K[t] = K[t ₁,…, t _d ] the polynomial ring in d variables over a field K. The edge ring of G is the semigroup ring K[G] which is generated by those monomials t ^e  = t _i t _j such that e = {i, j} is an edge of G. Let K[x] = K[x ₁,…, x _n ] be the polynomial ring in n variables over K, and define the surjective homomorphism π: K[x] → K[G] by setting π(x _i ) = t ^{e _i} for i = 1,…, n. The toric ideal I _G of G is the kernel of π. It will be proved that, given integers f and d with 6 ≤ f ≤ d, there exists a finite connected nonbipartite graph G on [d] together with a reverse lexicographic order <_rev on K[x] and a lexicographic order <_lex on K[x] such that (i) K[G] is normal with Krull-dim K[G] = d, (ii) depth K[x]/in_<rev (I _G ) = f and K[x]/in_<lex (I _G ) is Cohen–Macaulay, where in_<rev (I _G ) (resp., in_<lex (I _G )) is the initial ideal of I _G with respect to <_rev (resp., <_lex) and where depth K[x]/in_<rev (I _G ) is the depth of K[x]/in_<rev (I _G ).     

Identities in rings with involutions

A ringR with an involutiona →a* which satisfies a polynomial identityp[x ₁,…,x _d ;x*₁, …,x* _d ]=0 satisfies- an identity which does not include thex*. This generalizes the result of [1] where the symmetric elements ofR were assumed to satisfy an identity.     

On Rings Having McCoy-Like Conditions

ABSTRACT

In this paper, we study the behavior of the couniform (or dual Goldie) dimension of a module under various polynomial extensions. For a ring automorphism σ ∈ Aut(R), we use the notion of a σ-compatible module M _R to obtain results on the couniform dimension of the polynomial modules M[x], M[x ^?1], and M[x, x ^?1] over suitable skew extension rings.     

Coordinates and automorphisms of polynomial and free associative algebras of rank three

We study z-automorphisms of the polynomial algebra K[x, y, z] and the free associative algebra K 〈x, y, z〉 over a field K, i.e., automorphisms that fix the variable z. We survey some recent results on such automorphisms and on the corresponding coordinates. For K 〈x, y, z〉 we include also results about the structure of the z-tame automorphisms and algorithms that recognize z-tame automorphisms and z-tame coordinates.      

Products of Involutions in Steinberg Group over Skew Fields

Consider the stable Steinberg group St(K) over a skew field K. An element x is called an involution if x2 = 1. In this paper, an involution is allowed to be the identity. The authors prove that an element A of GLn(K) up to conjugation can be represented as BC, where B is lower triangular and C is simultaneously upper triangular. Furthermore, B and C can be chosen so that the elements in the main diagonal of B areβ1,β2, ...,βn, and of C areγ1,γ2,... ,γnCn, where cn∈[K*, K*] and = det A. It is also proved that every element 6 in St(K) is a product of 10 involutions.     

Catenarian Property of Mixed Polynomial and Power Series Rings Over a Pullback

Let T be an integral domain with a maximal ideal M, ?: T → K: = T/M the natural surjection, and R the pullback ?^?1(D), where D is a proper subring of K. We give necessary and sufficient conditions for the mixed extensions R[x ₁]]…[x _n ]] to be catenarian, where each [x _i ]] is fixed as either [x _i ] or [[x _i ]]. We also give a complete answer to the question of determining the field extensions k ? K such that the contraction map Spec(K[x ₁]]…[x _n ]]) → Spec(k[x ₁]]…[x _n ]]) is a homeomorphism. As an application, we characterize the globalized pseudo-valuation domains R such that R[x ₁]]…[x _n ]] is catenarian.     

Orbits and Test Elements in Free Leibniz Algebras of Rank Two

Let F be the free Leibniz algebra of rank two over a field K of characteristic zero freely generated by x ₁ and x ₂. In this article we show that an endomorphism of F which preserves the orbit of a nontrivial element of F is an automorphism. Using this result, we determine some test elements of F.     

On Monomial Reduction and Polynomial Expressions with Respect to Binomial Ideals

Let I ? K[x ₁,…, x _n ] be an ideal and G be the reduced Gröbner basis of I with respect to lexicographic monomial order. We introduce the index of an expression of f ∈ K[x ₁,…, x _n ] with respect to G. A minimal expression is characterized as the one with zero G-index. In case where I is a binomial prime ideal, a new division algorithm with minimal and unique expression is presented. The application of our new method on benchmark polynomial systems cyclic-9 and cyclic-12 shows its superiority in comparison with the existing division algorithm.     

Injective Hulls of Simple Modules over Differential Operator Rings

We study injective hulls of simple modules over differential operator rings R[θ; d], providing necessary conditions under which these modules are locally Artinian. As a consequence, we characterize Ore extensions of S = K[x][θ; σ, d] for σ a K-linear automorphism and d a K-linear σ-derivation of K[x] such that injective hulls of simple S-modules are locally Artinian.     

Full ideals of polynomial rings

An idealI of the ringK[x ₁, ...,x _n ] of polynomials over a fieldK inn indeterminates is a full ideal ifI is closed under substitution,f I,g ₁...g_n K[x ₁, ...,x _n ] implyf(g ₁, ...,g _n ) I. In this paper we continue the investigation of full ideals ofK[x ₁, ...,x _n ]. In particular we determine several classes of full ideals ofK[x, y] (K a finite field) and investigate properties of these classes.The first author gratefully acknowledges support from theDeutsche Forschungsgemeinschaft     

Automorphisms of the semigroup End(K[x 1 , . . . , x n ])

We describe the group G = AutEnd(K[x ₁ , . . . , x _n ]), where K is an arbitrary field. A similar result is obtained also for the automorphism group of the category $ \mathcal{C}{\mathcal{A}^{\circ }} $ of finitely generated free commutative-associative algebras of the variety commutative algebras. This solves two problems posed by B. Plotkin ( [4, Problems 12 and 15]).     

Modified generalized Hadamard matrices and constructions for transversal designs

It is well known that there exists a transversal design TD_λ[k; u] admitting a class regular automorphism group U if and only if there exists a generalized Hadamard matrix GH(u, λ) over U. Note that in this case the resulting transversal design is symmetric by Jungnickel’s result. In this article we define a modified generalized Hadamard matrix and show that transversal designs which are not necessarily symmetric can be constructed from these under a modified condition similar to class regularity even if it admits no class regular automorphism group.     

An Upper Bound for the Regularity of Ideals of Borel Type

We show that the regularity of monomial ideals of K[x ₁,…, x _n ] (K being a field), whose associated prime ideals are totally ordered by inclusion is upper bounded by a linear function in n.     

Coordinates of R[x,y]: Constructions and Classifications

Let R be a PID. We construct and classify all coordinates of R[x, y] of the form p ₂ y + Q ₂(p ₁ x + Q ₁(y)) with p ₁, p ₂ ∈ qt(R) and Q ₁, Q ₂ ∈ qt(R)[y]. From this construction (with R = K[z]) we obtain nontame automorphisms σ of K[x, y, z] (where K is a field of characteristic 0) such that the subgroup generated by σ and the affine automorphisms contains all tame automorphisms.