Complemented quasiorder lattices of monounary algebras

We characterize monounary algebras whose lattices of quasiorders are complemented. As a consequence, monounary algebras with Boolean quasiorder lattices are described.     

Twisted gamma filtration and algebras with orthogonal involution

For the Grothendieck group of a split simple linear algebraic group, the twisted γ-filtration provides a useful tool for constructing torsion elements in -rings of twisted flag varieties. In this paper, we construct a non-trivial torsion element in the γ-ring of a complete flag variety twisted by means of a PGO-torsor. This generalizes the construction in the HSpin case previously obtained by Zainoulline.     

Definable relations in finite-dimensional subspace lattices with involution

For a large class of finite dimensional inner product spaces V, over division \(*\)-rings F, we consider definable relations on the subspace lattice \(\mathsf{L}(V)\) of V, endowed with the operation of taking orthogonals. In particular, we establish translations between the relevant first order languages, in order to associate these relations with definable and invariant relations on F—focussing on the quantification type of defining formulas. As an intermediate structure we consider the \(*\)-ring \(\mathsf{R}(V)\) of endomorphisms of V, thereby identifying \(\mathsf{L}(V)\) with the lattice of right ideals of \(\mathsf{R}(V)\), with the induced involution. As an application, model completeness of F is shown to imply that of \(\mathsf{R}(V)\) and \(\mathsf{L}(V)\).     

Matching in modular lattices

Let L be a finite lattice. A map f of the join irreducible elements of L to the meet irreducible elements of L is called a matching of L if f is one-to-one and x?f(x) for each join irreducible x. We investigate this conjecture: every finite modular lattice has a matching. The conjecture is verified for certain classes of modular lattices.     

Gluings of modular lattices

The notions of gluing, tolerance relations, and Mal'cev products of varieties have been used by various authors to investigate varieties of lattices. In this paper the authors introduce a general framework for all these concepts and apply it to varieties of modular and Arguesian lattices.     

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.     

Complete congruence lattices of two related modular lattices

A topological monoid is isomorphic to an endomorphism monoid of a countable structure if and only if it is separable and has a compatible complete ultrametric such that composition from the left is non-expansive. We also give a topological characterisation of those topological monoids that are isomorphic to endomorphism monoids of countable \({\omega}\)-categorical structures. Finally, we present analogous characterisations for polymorphism clones of countable structures and for polymorphism clones of countable \({\omega}\)-categorical structures.     

Biordered sets and complemented modular lattices

In this paper we give a structure theorem for the biordered set of a strongly regular Baer semigroup. As a result we shall be able to construct the biordered set of the multiplicative semigroup of a regular ring in terms of the complemented modular lattice which is coordinatized by this regular ring. The author's research was done while he was a visiting professor at the University of Nebraska, supported by a Fulbright-Hays Award.     

Ojective ideals in modular lattices

The concept of an extending ideal in a modular lattice is introduced. A translation of module-theoretical concept of ojectivity (i.e. generalized relative injectivity) in the context of the lattice of ideals of a modular lattice is introduced. In a modular lattice satisfying a certain condition, a characterization is given for direct summands of an extending ideal to be mutually ojective. We define exchangeable decomposition and internal exchange property of an ideal in a modular lattice. It is shown that a finite decomposition of an extending ideal is exchangeable if and only if its summands are mutually ojective.