Semiprime ideals in general lattices
type: Item
instance of: scholarly article
title: Semiprime ideals in general lattices
zbMATH Open document ID: 0665.06006
DOI: 10.1016/0022-4049(89)90140-0
author: Yehuda Rav
published in: Journal of Pure and Applied Algebra
publication date: 1989-01-01T00:00:00Z
review text: An ideal of a lattice L is called semiprime if for every x,y,z\(\in L\), whenever \(x\wedge y\in I\) and \(x\wedge z\in I\), then \(x\wedge (y\vee z)\in I\). Semiprime filters are dually defined. Main Theorem. Let L be a lattice and I an ideal of L. The following conditions are equivalent: (1) I is semiprime. (2) I is the kernel of some homomorphism of L onto a distributive lattice with zero. (3) I is the kernel of a homomorphism of L onto a semiprime lattice (if the zero ideal is semiprime). The following Birkhoff-Stone prime separation theorem generalization is obtained: Corollary. The following statements are equivalent in Zermelo- Fraenkel set theory (without Choice): (a) The Ultrafilter Principle. (b) If a lattice L contains an ideal I and a filter F which are disjoint and such that either I or F is semiprime, then there exists a partition of L by a prime ideal P and a prime filter \(Q=L-P\) such that \(I\subset P\) and \(F\subset Q.\) Moreover, the author proves several other results such as: Theorem 4.2. Every semiprime ideal of a lattice is representable as an intersection of prime ideals iff the Ultrafilter Principle holds. Theorem 5.2. A lattice is distributive iff, for every ideal I and filter F of L such that \(I\cap F=\emptyset\), there is an ideal J and a filter G of L such that \(I\subset J\), \(F\subset G\), \(J\cap G=\emptyset\), and either J or G is semiprime.
Mathematics Subject Classification ID: 06B10
zbMATH DE Number: 4087726
zbMATH Keywords: coherent local lattice
zbMATH Keywords: prime separation
zbMATH Keywords: Ultrafilter Principle
zbMATH Keywords: semiprime ideal
reviewed by: Grigore Călugăreanu
MaRDI profile type: Publication
full work available at URL: 0022-4049(89)90140-0
OpenAlex ID: W1974771887
cites work: Q4083730
cites work: The Power of the Ultrafilter Theorem
cites work: Lattice Aspects of Radical Ideals and Choice Principles
cites work: Q4135525
cites work: Axiom of Choice and Complementation
cites work: Imbedding Infinitely Distributive Lattices Completely Isomorphically Into Boolean Algebras
cites work: Q4051100
cites work: Choice Implies Excluded Middle
cites work: On the existence of prime ideals in semidistributive lattices
cites work: Q4165427
cites work: Q3268348
cites work: Q5814847
cites work: Atomless Parts of Spaces.
cites work: Q5806870
cites work: Q3965241
cites work: The point of pointless topology
cites work: Variants of RADO'S Selection Lemma and their Applications
cites work: Q5544318
cites work: Q5646936
cites work: Relative annihilators in semilattices
cites work: Q4150678
Recommended article: On semiprime ideals in lattices
Recommended article: Q3801609
Recommended article: Q4484695
Recommended article: Q3141236
Recommended article: Q4920884
Recommended article: Q3801789
Recommended article: A generalization of semi prime indeals in γ-rings
Recommended article: Generalizations of prime and primary ideals in commutative semirings
Recommended article: Q4510912
Recommended article: Q4034269
description: scientific article; zbMATH DE number 4087726