Prime filtrations and Stanley decompositions of squarefree modules and Alexander duality

In this paper we study how prime filtrations and squarefree Stanley decompositions of squarefree modules over the polynomial ring and over the exterior algebra behave with respect to Alexander duality. The results which we obtained suggest a lower bound for the regularity of a \mathbb Zⁿ{\mathbb {Z}^n}-graded module in terms of its Stanley decompositions. For squarefree modules this conjectured bound is a direct consequence of Stanley’s conjecture on Stanley decompositions. We show that for pretty clean rings of the form R/I, where I is a monomial ideal, and for monomial ideals with linear quotient our conjecture holds.     

Some algebraic aspects of mesoprimary decomposition

Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing “mesoprimary decompositions” determined by their underlying monoid congruences. Monoid congruences (and therefore, binomial ideals) can present many subtle behaviors that must be carefully accounted for in order to produce general results, and this makes the theory complicated. In this paper, we examine their results in the presence of a positive A-grading, where certain pathologies are avoided and the theory becomes more accessible. Our approach is algebraic: while key notions for mesoprimary decomposition are developed first from a combinatorial point of view, here we state definitions and results in algebraic terms, which are moreover significantly simplified due to our (slightly) restricted setting. In the case of toral components (which are well-behaved with respect to the A-grading), we are able to obtain further simplifications under additional assumptions. We also provide counterexamples to two open questions, identifying (i) a binomial ideal whose hull is not binomial, answering a question of Eisenbud and Sturmfels, and (ii) a binomial ideal I for which $I_{\mathrm{toral}}$ is not binomial, answering a question of Dickenstein, Miller and the first author.     

Multigraded commutative algebra of graph decompositions

The toric fiber product is a general procedure for gluing two ideals, homogeneous with respect to the same multigrading, to produce a new homogeneous ideal. Toric fiber products generalize familiar constructions in commutative algebra like adding monomial ideals and the Segre product. We describe how to obtain generating sets of toric fiber products in non-zero codimension and discuss persistence of normality and primary decompositions under toric fiber products. Several applications are discussed, including (a) the construction of Markov bases of hierarchical models in many new cases, (b) a new proof of the quartic generation of binary graph models associated to K ₄-minor free graphs, and (c) the recursive computation of primary decompositions of conditional independence ideals.     

ALGORITHMS ON PARAMETRIC DECOMPOSITION OF MONOMIAL IDEALS

ABSTRACT

Heinzer, Mirbagheri, Ratliff, and Shah investigate parametric decomposition of monomial ideals on a regular sequence of a commutative ring R with identity 1 and prove that if every finite intersection of monomial ideals in R is again a monomial ideal, then each monomial ideal has a unique irredundant parametric decomposition. Sturmfels, Trung, and Vogels prove a similar result without the uniqueness. Bayer, Peeva, and Strumfels study generic monomial ideals, that is monomial ideals in the polynomial ring such that no variable appears with the same nonzero exponent in two different minimal generators, and for these ideals they prove the uniqueness of the irredundant irreducible decompositions and give an algorithm to construct this unique irredundant irreducible decomposition. In this paper, we present three algorithms for finding the unique irredundant irreducible decomposition of any monomial ideal.     

Binomial arithmetical rank of lattice ideals

 In this paper, we will show that a lattice ideal is a complete intersection if and only if its binomial arithmetical rank equals its height, if the characteristic of the base field k is zero. And we will give the condition that a binomial ideal equals a lattice ideal up to radical in the case of char k=0. Further, we will study the upper bound of the binomial arithmetical rank of lattice ideals and give a sharp bound for the lattice ideals of codimension two. Received: 12 June 2001 / Revised version: 22 July 2002     

Hyper MV ‐ideals in hyper MV ‐algebras

In this paper we define the hyper operations ?, ∨ and ∧ on a hyper MV ‐algebra and we obtain some related results. After that by considering the notions ofhyper MV ‐ideals and weak hyper MV ‐ideals, we prove some theorems. Then we determine relationships between (weak) hyper MV ‐ideals in a hyper MV ‐algebra (M, ⊕, *, 0) and (weak) hyper K ‐ideals in a hyper K ‐algebra (M, °, 0). Finally we give a characterization of hyper MV ‐algebras of order 3 or 4 based on the (weak) hyper MV ‐ideals (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hopf Algebra Actions and Rational Ideals

This note discusses a framework for the investigation of the prime spectrum of an associative algebra A that is equipped with an action of a Hopf algebra H. In particular, we study a notion of H-rationality for ideals of A and comment on a possible Dixmier-Moeglin equivalence for H-prime ideals of A.

     

Products of Borel fixed ideals of maximal minors

We study a large family of products of Borel fixed ideals of maximal minors. We compute their initial ideals and primary decompositions, and show that they have linear free resolutions. The main tools are an extension of straightening law and a very uniform primary decomposition formula. We study also the homological properties of associated multi-Rees algebra which are shown to be Cohen–Macaulay, Koszul and defined by a Gröbner basis of quadrics.     

The Cohomology of the Universal Steenrod Algebra

The mod 2 universal Steenrod algebra Q is a homogeneous quadratic algebra closely related to the ordinary mod 2 Steenrod algebra and the Lambda algebra introduced in [1]. In this paper we show that Q is Koszul. It follows by [7] that its cohomology, being purely diagonal, is isomorphic to a completion of Q itself with respect to a suitable chain of two-sided ideals.     

Finitely Deep Matrices

In the algebraic study of deep matrices ? _X () on a finite set of indices over a field, Christopher Kennedy has recently shown that there is a unique proper ideal  whose quotient is a central simple algebra. He showed that this ideal, which doesn't appear for infinite index sets, is itself a central simple algebra. In this article we extend the result to deep matrices with a finite set of 2 or more indices over an arbitrary coordinate algebra A, showing that when the coordinates are simple there is again such a unique proper ideal, and in general that the lattice of ideals of ? _X (A)/ and  are isomorphic to the lattice of ideals of the coordinate algebra A.     

On identifying the maximal ideals in Banach algebras

We consider the problem of identifying the maximal ideals of a Banach algebra S that is contained in a larger Banach algebra B. If S is dense in B in an appropriate sense and if the spectral radii in S and B are the same, then S and B have the same maximal ideals. The result is illustrated by two examples of Banach algebras S in which the density and spectral radius conditions are easily shown to be valid with respect to a larger algebra B whose maximal ideals are known. The first example is a convolution algebra on a group where the functions in the algebra have specified rate of decay. The second example is a generalized version of an algebra introduced by I. Hirschman. Two applications of the generalized Hirschman algebra are presented: these relate to filtering and prediction of stationary random sequences and concern the asymptotic behavior of the errors incurred by the finite memory predictor and by the finite lag filter.     

Twisted flag varieties of trialitarjan groups

For (A, σ) a central simple algebra of even degree with orthogonal involution, we present a method for constructing isotropic right ideals in the even Clifford algebra (C ₀(A, σ)σ) from isotropic right ideals in (A, σ). We then use this construction to fully describe the twisted flag varieties associated to algebraic groups of type D ₄ (including the trialitarian groups).     

Divisors on graphs,binomial and monomial ideals,and cellular resolutions

We study various binomial and monomial ideals arising in the theory of divisors, orientations, and matroids on graphs. We use ideas from potential theory on graphs and from the theory of Delaunay decompositions for lattices to describe their minimal polyhedral cellular free resolutions. We show that the resolutions of all these ideals are closely related and that their \({\mathbb {Z}}\)-graded Betti tables coincide. As corollaries, we give conceptual proofs of conjectures and questions posed by Postnikov and Shapiro, by Manjunath and Sturmfels, and by Perkinson, Perlman, and Wilmes. Various other results related to the theory of chip-firing games on graphs also follow from our general techniques and results.     

Closed ideals of a quasianalytic Fréchet algebra

In this note, we examine the structure of closed ideals of a quasianalytic weighted Beurling algebra A\cal {A}. This algebra is contained in C^￥ (G){\cal C}^\infty (\mit\Gamma) and contains the set A^￥ (D)A^\infty (D). Like in a previous article (see [6]), we use division properties and we give a characterization of closed ideals I such that I?A^￥ 1 { 0}I\cap A^\infty\! \ne \{ 0\} . Then, we use a factorization property proved in [2], which allows us to describe all the closed ideals of A\cal {A}.     

Ideal Structure and Stable Rank of $${\mathbb {C} e+ \ell^2(I)}$$ with the Hadamard Product

Let I be any index set. We consider the Banach algebra \mathbb C e+ l²(I){\mathbb {C} e+ \ell^2(I)} with the Hadamard product, and prove that its Bass and topological stable ranks are both equal to 1. We also characterize divisors, maximal ideals, closed ideals and closed principal ideals. For I=\mathbb N{I=\mathbb {N}} we also characterize all prime z-ideals in this Banach algebra.     

Ideals in BCI‐algebras

In this paper we describe the notion of the centre of a BCI‐algebra and show that it is a p‐semisimple subalgebra. Various properties of BCI‐ideals have been studied, and necessary and sufficient conditions for certain ideals to be closed have been investigated.     

Finite basis for radical well-mixed difference ideals generated by binomials

In this paper, we prove a finite basis theorem for radical well-mixed difference ideals generated by binomials. As a consequence, every strictly ascending chain of radical well-mixed difference ideals generated by binomials in a difference polynomial ring is finite, which solves an open problem in difference algebra raised by Hrushovski in the binomial case.     

Some Examples of Affine Monoid Algebras

We construct a finitely generated monoid S with a zero element such that for every field K the Jacobson radical of the monoid algebra K[S] is a sum of nilpotent ideals but is not nilpotent. Moreover, the contracted monoid algebra K ₀[S] is a monomial algebra.

If K is a field of characteristic p > 0, then we construct a finitely presented group H _p such that the Jacobson radical J of the group algebra K[H _p ] is a sum of nilpotent ideals, but is not nilpotent. Moreover, K[H _p ]/J is a domain.