Monoidal intervals of clones on infinite sets

Let X be an infinite set of cardinality κ. We show that if L is an algebraic and dually algebraic distributive lattice with at most 2^κ completely join irreducibles, then there exists a monoidal interval in the clone lattice on X which is isomorphic to the lattice 1+L obtained by adding a new smallest element to L. In particular, we find that if L is any chain which is an algebraic lattice, and if L does not have more than 2^κ completely join irreducibles, then 1+L appears as a monoidal interval; also, if λ?2^κ, then the power set of λ with an additional smallest element is a monoidal interval. Concerning cardinalities of monoidal intervals these results imply that there are monoidal intervals of all cardinalities not greater than 2^κ, as well as monoidal intervals of cardinality 2^λ, for all λ?2^κ.     

A subclass of Ockham algebras

Here we introduce a subclass of the class of Ockham algebras ( L ; f ) for which L satisfies the property that for every x ∈ L , there exists n ≥ 0 such that fn ( x ) and fn+1 ( x ) are complementary. We characterize the structure of the lattice of congruences on such an algebra ( L ; f ). We show that the lattice of compact congruences on L is a dual Stone lattice, and in particular, that the lattice Con L of congruences on L is boolean if and only if L is finite boolean. We also show that L is congruence coherent if and only if it is boolean. Finally, we give a sufficient and necessary condition to have the subdirectly irreducible chains.     

Comparability graphs of lattices

A theorem of N. Terai and T. Hibi for finite distributive lattices and a theorem of Hibi for finite modular lattices (suggested by R.P. Stanley) are equivalent to the following: if a finite distributive or modular lattice of rank d contains a complemented rank 3 interval, then the lattice is (d+1)-connected.In this paper, the following generalization is proved: Let L be a (finite or infinite) semimodular lattice of rank d that is not a chain (d∈N₀). Then the comparability graph of L is (d+1)-connected if and only if L has no simplicial elements, where z∈L is simplicial if the elements comparable to z form a chain.     

Quasi-antichain Chermak–Delgado lattices of finite groups

The Chermak–Delgado lattice of a finite group is a dual, modular sublattice of the subgroup lattice of the group. This paper considers groups with a quasi-antichain interval in the Chermak–Delgado lattice, ultimately proving that if there is a quasi-antichain interval between subgroups L and H with L ≤ H then there exists a prime p such that H/L is an elementary abelian p-group and the number of atoms in the quasi-antichain is one more than a power of p. In the case where the Chermak–Delgado lattice of the entire group is a quasi-antichain, the relationship between the number of abelian atoms and the prime p is examined; additionally, several examples of groups with a quasi-antichain Chermak–Delgado lattice are constructed.     

Modularly complemented geometric lattices

A geometric lattice L is strongly uniform if the quotients [x₁, 1] and [x₂, 1] are isomorphic for all x₁, x₂εL of the same rank. It is shown that if L is a simple geometric lattice in which each element has a modular complement then L is strongly uniform.     

Summability and vector amarts

We show that an operator is absolutely summing if and only if it maps amarts into uniform amarts, from which we can deduce a theorem of A. Bellow and another of Edgar-Sucheston. We also show that the absolute value of a Banach lattice valued potential is a potential if and only if the lattice is an A-M space from which we deduce that the L¹-bounded amarts form a Ricsz space if and only if the space is finite dimensional.     

Constructing super Gabor frames: the rational time-frequency lattice case

For a time-frequency lattice Λ = A Z d B Z d , it is known that an orthonormal super Gabor frame of length L exists with respect to this lattice if and only if |det( AB) | = 1 L . The proof of this result involves various techniques from multi-lattice tiling and operator algebra theory, and it is far from constructive. In this paper we present a very general scheme for constructing super Gabor frames for the rational lattice case. Our method is based on partitioning an arbitrary fundamental domain of the lattice in the frequency domain such that each subset in the partition tiles R d by the lattice in the time domain. This approach not only provides us a simple algorithm of constructing various kinds of orthonormal super Gabor frames with flexible length and multiplicity, but also allows us to construct super Gabor (non-Riesz) frames with high order smoothness and regularity. Several examples are also presented.     

Archimedean lattices

Anarchimedean lattice is a complete algebraic latticeL with the property that for each compact elementc∈L, the meet of all the maximal elements in the interval [0,c] is 0.L ishyper-archimedean if it is archimedean and for eachx∈L, [x, 1] is archimedean. The structure of these lattices is analysed from the point of view of their meet-irreducible elements. If the lattices are also Brouwer, then the existence of complements for the compact elements characterizes a particular class of hyper-archimedean lattices. The lattice ofl-ideals of an archimedean lattice ordered group is archimedean, and that of a hyper-archimedean lattice ordered group is hyper-archimedean. In the hyper-archimedean case those arising as lattices ofl-ideals are fully characterized.     

On the combinatorics of Galois numbers

We define interval decompositions of the lattice of subspaces of a finite-dimensional vector space. We show that such a decomposition exists if and only if there exists a family of linear forms with certain properties. As applications we prove that all finite-dimensional real vector spaces admit an interval decomposition, while GF(2)ⁿ has an interval decomposition if and only if n≤4. On the other hand, we present an interval decomposition of GF(3)⁵. This partially answers a question of Faigle and Kruse (2004) [1] and [4].     

Embedding and unsolvability theorems for modular lattices

LetR be a nontrivial ring with 1 and δ a cardinal. Let,L(R, δ) denote the lattice of submodules of a free unitaryR-module on δ generators. Let ? be the variety of modular lattices. A lattice isR-representable if embeddable in the lattice of submodules of someR-module; ?(R) denotes the quasivariety of allR-representable lattices. Let ω denote aleph-null, and let a (m, n) presentation havem generators andn relations,m, n≤ω. THEOREM. There exists a (5, 1) modular lattice presentation having a recursively unsolvable word problem for any quasivarietyV,V ? ?, such thatL(R, ω) is inV. THEOREM. IfL is a denumerable sublattice ofL(R, δ), then it is embeddable in some sublatticeK ofL(R,δ^*) having five generators, where δ^*=δ for infinite δ and δ^*=4δ(m+1) if δ is finite andL has a set ofm generators. THEOREM. The free ?(R)-lattice on ω generators is embeddable in the free ?(R)-lattice on five generators. THEOREM. IfL has an (m, n), ?(R)-presentation for denumerablem and finiten, thenL is embeddable in someK having a (5, 1) ?(R)-presentation.     

Extension theorems for linear lattices with positive algebraic basis

An ordered linear spaceV with positive wedgeK is said to satisfy extension property (E1) if for every subspaceL ₀ ofV such thatL ₀ ∩K is reproducing inL ₀, and every monotone linear functionalf ₀ defined onL ₀,f ₀ has a monotone linear extension to all ofV. A linear latticeX is said to satisfy extension property (E2) if for every sublatticeL ofX, and every linear functionalf defined onL which is a lattice homomorphism,f has an extensionf′ to all ofX which is also a linear functional and a lattice homomorphism. In this paper it is shown that a linear lattice with a positive algebraic basis has both extension property (E1) and (E2). In obtaining this result it is shown that the linear span of a lattice idealL and an extremal element not inL is again a lattice ideal. (HereX does not have to have a positive algebraic basis.) It is also shown that a linear lattice which possesses property (E2) must be linearly and lattice isomorphic to a functional lattice. An example is given of a function lattice which has property (E2) but does not have a positive algebraic basis. Yudin [12] has shown a reproducing cone in ann-dimensional linear lattice to be the intersection of exactlyn half-spaces. Here it is shown that the positive wedge in ann-dimensional archimedean ordered linear space satisfying the Riesz decomposition property must be the intersection ofn half-spaces, and hence the space must be a linear lattice with a positive algebraic basis. The proof differs from those given for the linear lattice case in that it uses no special techniques, only well known results from the theory of ordered linear space.     

Generating sets for lattices of dimension two

The dimension of a partially ordered set P is the smallest integer n (if it exists) such that the partial order on P is the intersection of n linear orders. It is shown that if L is a lattice of dimension two containing a sublattice isomorphic to the modular lattice M_2n+1, then every generating set of L has at least n+2 elements. A consequence is that every finitely generated lattice of dimension two and with no infinite chains is finite.     

Spectral Synthesis and Topologies on Ideal Spaces for Banach*-Algebras

This paper continues the study of spectral synthesis and the topologies τ_∞ and τ_r on the ideal space of a Banach algebra, concentrating on the class of Banach ^*-algebras, and in particular on L¹-group algebras. It is shown that if a group G is a finite extension of an abelian group then τ_r is Hausdorff on the ideal space of L¹(G) if and only if L¹(G) has spectral synthesis, which in turn is equivalent to G being compact. The result is applied to nilpotent groups, [FD]⁻-groups, and Moore groups. An example is given of a non-compact, non-abelian group G for which L¹(G) has spectral synthesis. It is also shown that if G is a non-discrete group then τ_r is not Hausdorff on the ideal lattice of the Fourier algebra A(G).     

Suitability in fuzzy topological spaces

An L-fuzzy topological space is said to be suitable if it possesses a nontrivial crisp closed subset. Basic properties of and sufficient conditions for suitable spaces are derived. Characterizations of the suitable subspaces of the fuzzy unit interval, the fuzzy open unit interval, and the fuzzy real line are obtained. Suitability is L-fuzzy productive; nondegenerate 1¹-Hausdorff spaces are suitable; the fuzzy unit interval, the fuzzy open unit interval, and the fuzzy real line are not suitable; and no suitable subspace of the fuzzy unit interval, the fuzzy open unit interval, or the fuzzy real line is a fuzzy retract of the fuzzy unit interval, the fuzzy open unit interval, or the fuzzy real line, respectively. Without restrictions there cannot be a fuzzy extension theorem.     

Ensembles d''articulation d''un graphe γ-critique

We prove that if L is a semimodular lattice of finite length (with least element 0 and greatest element 1) then the partially ordered set L?{0, 1} has the fixed point property if and only if L is not complemented. Moreover, for general lattices L of finite length we consider the relationship of the fixed point property for L?{0, 1} to several other order-theoretic conditions.     

A proof of Frankl’s union-closed sets conjecture for dismantlable lattices

For a lattice L, let Princ(L) denote the ordered set of principal congruences of L. In a pioneering paper, G. Grätzer characterized the ordered set Princ(L) of a finite lattice L; here we do the same for a countable lattice. He also showed that every bounded ordered set H is isomorphic to Princ(L) of a bounded lattice L. We prove a related statement: if an ordered set H with a least element is the union of a chain of principal ideals (equivalently, if 0 \({\in}\) H and H has a cofinal chain), then H is isomorphic to Princ(L) of some lattice L.     

A characterization of dual Banach lattices

In this paper we give a characterization of dual Banach lattices. In fact, we prove that a Banach function space E on a separable measure space which has the Fatou property is a dual Banach lattice if and only if all positive operators from L¹(0,1) into E are abstract kernel operators, hence extending the fact, proved by M. Talagrand, that separable Banach lattices with the Radon-Nikodym property are dual Banach lattices.     

Orthmodular lattices whose MacNeille completions are not orthomodular

The only known example of an orthomodular lattice (abbreviated: OML) whose MacNeille completion is not an OML has been noted independently by several authors, see Adams [1], and is based on a theorem of Ameniya and Araki [2]. This theorem states that for an inner product space V, if we consider the ortholattice ?(V,⊥) = {A \( \subseteq \) V: A = A ^⊥⊥} where A ^⊥ is the set of elements orthogonal to A, then ?(V,⊥) is an OML if and only if V is complete. Taking the orthomodular lattice L of finite or confinite dimensional subspaces of an incomplete inner product space V, the ortholattice ?(V,⊥) is a MacNeille completion of L which is not orthomodular. This does not answer the longstanding question Can every OML be embedded into a complete OML? as L can be embedded into the complete OML ?(V,⊥), where V is the completion of the inner product space V. Although the power of the Ameniya-Araki theorem makes the preceding example elegant to present, the ability to picture the situation is lost. In this paper, I present a simpler method to construct OMLs whose Macneille completions are not orthomodular. No use is made of the Ameniya-Araki theorem. Instead, this method is based on a construction introduced by Kalmbach [7] in which the Boolean algebras generated by the chains of a lattice are glued together to form an OML. A simple method to complete these OMLs is also given. The final section of this paper briefly covers some elementary properties of the Kalmbach construction. I have included this section because I feel that this construction may be quite useful for many purposes and virtually no literature has been written on it.     

On L-Tychonoff spaces II

This paper is a sequel to the 1995 paper On L-Tychonoff spaces. The embedding theorem for L-topological spaces is shown to hold true for L an arbitrary complete lattice without imposing any order reversing involution (·)^′ on L. Some results on completely L-regular spaces and on L-Tychonoff spaces, which have previously been known to hold true for (L,^′) a frame, are exhibited as ones holding for (L,^′) a meet-continuous lattice. For such a lattice an insertion theorem for completely L-regular spaces is given. Some weak forms of separating families of maps are discussed. We also clarify the dependence between the sub-T₀ separation axiom of Liu and the L-T₀ separation axiom of Rodabaugh.