Search

We consider ideals arising in the context of conditional independence models that generalize the class of ideals considered by Fink [7] in a way distinct from the generalizations of Herzog-Hibi-Hreinsdottir-Kahle-Rauh [13] and Ay-Rauh [1]. We introduce switchable sets to give a combinatorial description of the minimal prime ideals, and for some classes we describe the minimal components. We discuss many possible interpretations of the ideals we study, including as 2 \times 2 minors of generic hypermatrices. We also introduce a definition of diagonal monomial orders on generic hypermatrices and we compute some Groebner bases., Comment: We shortened and streamlined the paper from 24 to 17 pages, we improved several proofs, we updated references, and we added Groebner bases of certain ideals under t-diagonal orders on generic hypermatrices (a generalization of diagonal orders on variables in a generic matrix). The term "admissible" from previous versions is now changed to "switchable"

We investigate Buchbaum and Eisenbud's construction of the second symmetric power S^2_R(X) of a chain complex X of modules over a commutative ring R. We state and prove a number of results from the folklore of the subject for which we know of no good direct references. We also provide several explicit computations and examples. We use this construction to prove the following version of a result of Avramov, Buchweitz, and Sega: Let R \to S be a module-finite ring homomorphism such that R is noetherian and local, and such that 2 is a unit in R. Let X be a complex of finite rank free S-modules such that X_n = 0 for each n < 0. If \cup_n Ass_R(H_n(X \otimes_S X)) \subseteq Ass(R) and if X_P \simeq S_P for each P \in Ass(R), then X \simeq S., Comment: 25 pages, uses xypic. v.2: introduction revised, Theorem 3.1 generalized with part in new Corollary 3.2, and minor changes made throughout. v3: significantly rewritten, final version to appear in Bulletin of the Iranian Mathematical Society

We study the following question: Given two semidualizing complexes B and C over a commutative noetherian ring R, does the vanishing of Ext^n_R(B,C) for n>>0 imply that B is C-reflexive? This question is a natural generalization of one studied by Avramov, Buchweitz, and Sega. We begin by providing conditions equivalent to B being C-reflexive, each of which is slightly stronger than the condition Ext^n_R(B,C)=0 for all n>>0. We introduce and investigate an equivalence relation \approx on the set of isomorphism classes of semidualizing complexes. This relation is defined in terms of a natural action of the derived Picard group and is well-suited for the study of semidualizing complexes over nonlocal rings. We identify numerous alternate characterizations of this relation, each of which includes the condition Ext^n_R(B,C)=0 for all n>>0. Finally, we answer our original question in some special cases., Comment: final version, to appear in J. Commutative Algebra, 27 pages, uses XY-pic

We prove that if the initial ideal of a prime ideal is Borel-fixed and the dimension of the quotient ring is less than or equal to two, then given any non-minimal associated prime ideal of the initial ideal it contains another associated prime ideal of dimension one larger., Comment: 4 pages

Our main purpose is to give multiple examples for using the available implementations for computing the normalization of an affine ring, computing the minimial generators of the normalization as an algebra over the original ring and integral closures of ideals. Some such examples have been published for Singular, but not for Macaulay 2 and we present both in this paper. We also briefly describe the implementations., Comment: To Appear in "Advances in Algebra and Geometry (University of Hyderabad Conference 2001)" . Includes extensive examples. 17 pages

Generic linkage is used to compute a prime ideal such that the radical of the initial ideal of the prime ideal is equal to the radical of a given codimension two monomial ideal that has a Cohen-Macaulay quotient ring., Comment: 18 pages, AMSLaTeX