When Will Every Maximal <Emphasis Type="BoldItalic">F</Emphasis>-free Subposet Contain a Maximal Element?

Let F be a partially ordered set (poset). A poset P is called F-free if P contains no subposet isomorphic to F. A finite poset F is said to have the maximal element property if every maximal F-free subposet of any finite poset P contains a maximal element of P. It is shown that a poset F with at least two elements has the maximal element property if and only if F is an antichain or F ≅ 2 + 2.     

Posets with the Maximal Antichain Property

A finite poset F has the maximal antichain property if every maximal F-free subposet of every finite poset P contains a maximal antichain of P. We find all finite posets with the maximal antichain property.     

Imbedding posets in the integers

An imbedding of a poset P in the integers is a one-to-one order presevring map from P into the integers. Such a map always exists when P is finite and, moreover, certain imbeddings of subsets of finite P can be extended to imbeddings of the whole of P. D. E. Daykin has asked when an imbedding in the integers of a finite subset of a countable poset can be extended to the whole poset. This paper answers Daykin's question and some related questions.     

Retractions onto series-parallel posets

The poset retraction problem for a poset P is whether a given poset Q containing P as a subposet admits a retraction onto P, that is, whether there is a homomorphism from Q onto P which fixes every element of P. We study this problem for finite series-parallel posets P. We present equivalent combinatorial, algebraic, and topological charaterisations of posets for which the problem is tractable, and, for such a poset P, we describe posets admitting a retraction onto P.     

Circle orders and angle orders

A poset is a circle order if its points can be mapped into circular disks in the plane so that x in the poset precisely when x's circular disk is properly included in y's; the poset is an angle order if its points can be mapped into unbounded angular regions that preserve < by proper inclusion. It is well known that many finite angle orders are not circle orders, but has been open as to whether every finite circle order is an angle order. This paper proves that there are finite circle orders that are not angle orders.     

Interval orders and circle orders

A finite poset is an interval order if its point can be mapped into real intervals so that x in the poset precisely when x's interval lies wholly to the left of y's; the poset is a circle order if its points can be mapped into circular disks in the plane so that x precisely when x's circular disk is properly included in y's. This note proves that every finite interval order is a circle order.     

Balance theorems for height-2 posets

We prove that every height-2 finite poset with three or more points has an incomparable pair {x, y} such that the proportion of all linear extensions of the poset in which x is less than y is between 1/3 and 2/3. A related result of Komlós says that the containment interval [1/3, 2/3] shrinks to [1/2, 1/2] in the limit as the width of height-2 posets becomes large. We conjecture that a poset denoted by V _m ⁺ maximizes the containment interval for height-2 posets of width m+1.     

On poset Boolean algebras of scattered posets with finite width

We prove that the poset algebra of every scattered poset with finite width is embeddable in the poset algebra of a well ordered poset.Mathematics Subject Classification (2000):Primary 03G05, 06A06, 06A11; Secondary 08A05, 54G12     

A study of the order dimension of a poset using matrices

In every finite poset (X, ≤) we assign the so called order-matrix , where α_ij ∈ {?2, 0, 1, 2}. Using this matrix, we characterize the order dimension of an arbitrary finite poset.     

Bigeneration in complete lattices and principal separation in ordered sets

By a recent observation of Monjardet and Wille, a finite distributive lattice is generated by its doubly irreducible elements iff the poset of all join-irreducible elements has a distributive MacNeille completion. This fact is generalized in several directions, by dropping the finiteness condition and considering various types of bigeneration via arbitrary meets and certain distinguished joins. This leads to a deeper investigation of so-called L-generators resp. C-subbases, translating well-known notions of topology to order theory. A strong relationship is established between bigeneration by (minimal) L-generators and so-called principal separation, which is defined in order-theoretical terms but may be regarded as a strong topological separation axiom. For suitable L, the complete lattices with a smallest join-dense L-subbasis consisting of L-primes are the L-completions of principally separated posets.     

The lattice of strict completions of a finite poset

For a given finite poset , we construct strict completions of P which are models of all finite lattices L such that the set of join-irreducible elements of L is isomorphic to P. This family of lattices, , turns out to be itself a lattice, which is lower bounded and lower semimodular. We determine the join-irreducible elements of this lattice. We relate properties of the lattice to properties of our given poset P, and in particular we characterize the posets P for which . Finally we study the case where is distributive. Received October 13, 2000; accepted in final form June 13, 2001.     

On the representation of partially ordered sets

It is well known that any distributive poset (short for partially ordered set) has an isomorphic representation as a poset (Q, ⊆) such that the supremum and the infimum of any finite setF ofP correspond, respectively to the union and intersection of the images of the elements ofF. Here necessary and sufficient conditions are given for similar isomophic representation of a poset where however the supremum and infimum of also infinite subsetsI correspond to the union and intersection of images of elements ofI.     

Representation of partially ordered sets

It is well known [1] that any distributive poset (short for partially ordered set) has an isomorphic representation as a poset (Q, (–) such that the supremum and the infimum of any finite setF ofp correspond, respectively, to the union and intersection of the images of the elements ofF. Here necessary and sufficient conditions are given for similar isomorphic representation of a poset where however the supremum and infimum of also infinite subsetsI correspond to the union and intersection of images of elements ofI. Presented by R. Freese.     

A topological duality for posets

In this paper, we present a topological duality for partially ordered sets. We use the duality to give a topological construction of the canonical extension of a poset, and we also topologically represent the quasi-monotone maps, that is, maps from a finite product of posets to a poset that are order-preserving or order-reversing in each coordinate.     

Semistar Operations and Standard Closure Operations

Let R be a commutative ring. It is shown that there is an order isomorphism between a popular class of finite type closure operations on the ideals of R and the poset of semistar operations of finite type.     

Going down in (semi)lattices of finite moore families and convex geometries

In this paper we first study what changes occur in the posets of irreducible elements when one goes from an arbitrary Moore family (respectively, a convex geometry) to one of its lower covers in the lattice of all Moore families (respectively, in the semilattice of all convex geometries) defined on a finite set. Then we study the set of all convex geometries which have the same poset of join-irreducible elements. We show that this set—ordered by set inclusion—is a ranked join-semilattice and we characterize its cover relation. We prove that the lattice of all ideals of a given poset P is the only convex geometry having a poset of join-irreducible elements isomorphic to P if and only if the width of P is less than 3. Finally, we give an algorithm for computing all convex geometries having the same poset of join-irreducible elements.      

Counterexamples to a fiber theorem

We exhibit a counterexample to a fiber theorem stated by F. Fumagalli in [Francesco Fumagalli, On the homotopy type of the Quillen complex of finite soluble groups, J. Algebra 283 (2) (2005) 639–654] and show how it affects the rest of Fumagalli's paper. As a consequence, whether the poset A_p(G) is homotopy equivalent to a wedge of spheres for any finite solvable group G seems to remain an open question.     

Grothendieck groups arising from contravariantly finite subcategories

The subject of the paper is the study of the relative homological properties of a given additive category C in relation to a given contravariantly finite subcategory X in C under the assumption that any X-epic has a kernel in C. We introduce the notion of the Grothendieck group relative to the pair (C, X) and also that of the Cartan map cx relative to (C, X) and we show that the cokernel of cx is isomorphic to the corresponding Grothendieck group of the stable category C/Jx We also show that if the right x-dimension of C is finite, then cx is an isomorphism. In case C is a finite dimensional k-additive Krull-Schmidt category, we introduce the notion of the x-dimension vector of an object of C. We give criteria for when an indecomposable object is determined, up to isomorphism, by its x-dimension vector.