Subalgebras of closure algebras

Closure algebras have been intensively studied in literature ([2], [3], [11], ...) but, up to now, little interest has been devoted to subalgebras of closure algebras. In this paper, the methods of [16] are adapted to characterize closure algebras with a distributive, or a Boolean, subalgebra lattice.     

Orthomodular lattices in ordered vector spaces

In a partly ordered space the orthogonality relation is defined by incomparability. We define integrally open and integrally semi-open ordered real vector spaces. We prove: if an ordered real vector space is integrally semi-open, then a complete lattice of double orthoclosed sets is orthomodular. An integrally open concept is closely related to an open set in the Euclidean topology in a finite dimensional ordered vector space. We prove: if V is an ordered Euclidean space, then V is integrally open and directed (and is also Archimedean) if and only if its positive cone, without vertex 0, is an open set in the Euclidean topology (and also the family of all order segments , a < b, is a base for the Euclidean topology). Received January 7, 2005; accepted in final form November 26, 2005.     

Approximate unitary equivalence of completely distributive commutative subspace lattices

In this note, we classify completely distributive CSLs up to approximate unitary equivalence. Our proof uses a new characterization of complete distributivity and leads to a generalization of a result of Arveson on ordered group lattices. As consequences of our results, we obtain a similarity theorem for hyperreflexive, completely distributive CSLs and some new perturbation results.Partially supported by an NSERC grantResearch partially supported by NSF grant DMS-9204811.     

Finite modular congruence lattices

We consider the variety of modular lattices generated by all finite lattices obtained by gluing together some M₃’s. We prove that every finite lattice in this variety is the congruence lattice of a suitable finite algebra (in fact, of an operator group). Received February 26, 2004; accepted in final form December 16, 2004.     

Congruence lattices of function lattices

Thefunction lattice L ^P is the lattice of all isotone maps from a posetP into a latticeL.D. Duffus, B. Jónsson, and I. Rival proved in 1978 that for afinite poset P, the congruence lattice ofL ^P is a direct power of the congruence lattice ofL; the exponent is |P|.This result fails for infiniteP. However, utilizing a generalization of theL ^P construction, theL[D] construction (the extension ofL byD, whereD is a bounded distributive lattice), the second author proved in 1979 that ConL[D] is isomorphic to (ConL) [ConD] for afinite lattice L.In this paper we prove that the isomorphism ConL[D](ConL)[ConD] holds for a latticeL and a bounded distributive latticeD iff either ConL orD is finite.The research of the first author was supported by the NSERC of Canada.The research of the second author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.     

Transversals of families in complete lattices,and torsion in product modules

Suppose L is a complete lattice containing no copy of the power-set 2 and no uncountable well-ordered chains. It is shown that for any family of nonempty subsets , one can choose elements p _i X _i so that _A p _i majorizes all elements of all but finitely many of the X _i . Ring-theoretic consequences are deduced: for instance, the direct product of a family of torsion modules over a commutative Noetherian integral domain R is torsion if and only if some element of R annihilates all but finitely many of the modules.     

On linear spaces and matroids of arbitrary cardinality

In this paper, we study linear spaces of arbitrary finite dimension on some (possibly infinite) set. We interpret linear spaces as simple matroids and study the problem of erecting some linear space of dimension n to some linear space of dimension n + 1 if possible. Several examples of some such erections are studied; in particular, one of these erections is computed within some infinite iteration process.Dedicated to the memory of Gian-Carlo Rota     

Orthomodular lattices from 3-dimensional quadratic spaces

If E is a vector space over a field K, then any regular symmetric bilinear form on E induces a polarity on the lattice of all subspaces of E. In the particular case where E is 3-dimensional, the set of all subspaces M of E such that both M and are not N-subspaces (which, in most cases, is equivalent to saying that M is nonisotropic), ordered by inclusion and endowed with the restriction of the above polarity, is an orthomodular lattice T(E, ). We show that if K is a proper subfield of K, with K F₂, and E a 3-dimensional K -subspace of E such that the restriction of to E × E is, up to multiplicative constant, a bilinear form on the K -space E , then T(E , ) is isomorphic to an irreducible 3-homogeneous proper subalgebra of T(E, ). Our main result is a structure theorem stating that, when K is not of characteristic 3, the converse is true, i.e., any irreducible 3-homogeneous proper subalgebra of T(E, ) is of this form. As a corollary, we construct infinitely many finite orthomodular lattices which are minimal in the sense that all their proper subalgebras are modular. In fact, this last result was our initial aim in this paper.Received June 4, 2003; accepted in final form May 18, 2004.     

Induced liftings, exchange rings and semi-perfect algebras

Several important classes of rings can be characterized in terms of liftings of idempotents with respect to various ideals: classical examples are semi-perfect rings, semi-regular rings and exchange rings. We begin with a study of some extensions of the concept of idempotent lifting and prove the generalizations of some classical lifting theorems. Then we describe the method of induced liftings, which allows us to transfer liftings from a ring to its subrings. Using this method we are able to show that under certain assumptions a subring of an exchange ring is also an exchange ring, and to prove that a finite algebra over a commutative local ring is semi-perfect, provided it can be suitably represented in an exchange ring.     

On distance preserving transformations of Euclidean-like planes over the rational field

Aequationes mathematicae -     

Functor category dualities for varieties of Heyting algebras

Let be a finitely generated variety of Heyting algebras and let be the class of subdirectly irreducible algebras in . We prove that is dually equivalent to a category of functors from into the category of Boolean spaces. The main tool is the theory of multisorted natural dualities.     

Abelian groups determined by subgroup lattices of direct powers

In this short note, we showthat the class of abelian groups determined by the subgroup lattice of their direct n-powers is exactly the class of the abelian groups which share the n-root property. As applications we answer in the negative a (semi)conjecture of Pálfy and solve a more general problem. Received: 24 February 2005     

On D-Paracompact spaces

Following Pareek a topological space X is called D-paracompact if for every open cover $\text{A}$ of X there exists a continuous mapping f from X onto a developable T₁-space Y and an open cover $\text{B}$ of Y such that { f^-1[B]|B ∈ $\text{B}$ } refines $\text{A}$. It is shown that a space is D-paracompact if and only if it is subparacompact and D-expandable. Moreover, it is proved that D-paracompactness coincides with a covering property, called dissectability, which was introduced by the author in order to obtain a base characterization of developable spaces.     

Irresponsibility indicates an inability to be strong

In this paper we provide sufficient conditions on a given finite algebra to prevent it from being strongly dualizable. We then use these conditions to prove that certain unary algebras are not strongly dualizable. This paper is dedicated to Walter Taylor. Received November 16, 2005; accepted in final form May 12, 2006.     

Finite lattices as relative congruence lattices of finite algebras

Let A be a finite algebra and a quasivariety. By A is meant the lattice of congruences θ on A with . For any positive integer n, we give conditions on a finite algebra A under which for any n-element lattice L there is a quasivariety such that . The author was supported by INTAS grant 03-51-4110.