Related papers: On linearly ordered $H$-closed topological semilat…

Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called (1) $\mathcal C$-$closed$ if $X$ is closed in every topological semigroup $Y\in\mathcal C$ containing $X$ as a discrete subsemigroup, (2) $ideally$ $\mathcal…

A linear operator on a Hilbert space $\mathbb{H}$, in the classical approach of von Neumann, must be symmetric to guarantee self-adjointness. However, it can be shown that the symmetry could be ommited by using a criterion for the graph of…

A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which…

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…

We prove that Ad-semisimple conjugacy classes in a connected Lie group $G$ are closed embedded submanifolds of $G$. We also prove that if $\alpha:H\to G$ is a homomorphism of connected Lie groups such that the kernel of $\alpha$ is discrete…

We characterize the order of principal congruences of a bounded lattice (also of a complete lattice and of a lattice of length 5) as a bounded ordered set. We also state a number of open problems in this new field.

We study topologization of the semigroup $\mathscr{O\!\!I}\!_n(L)$ of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set $(L,\leqslant)$. In particular we show that every $T_1$ left-topological…

An elementary proof is given for the fact that every locally compact subsemigroup of a compact topological group is a closed subgroup. A sample consequence is that every commutative cancellative pseudocompact locally compact Hausdorff…

The collection CL(T) of nonempty convex sublattices of a lattice T ordered by bi-domination is a lattice. We say that T has the fixed point property for convex sublattices (CLFPP for short) if every order preserving map f from T to CL(T)…

We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\mathcal{D}_{h}$. In fact, we prove that every sublattice of any hyperarithmetic lattice…

We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However,…

We establish several independent results concerning extremal, left modular, congruence uniform, and semidistributive lattices. An equivalent characterization of left modular lattices is obtained in terms of edge-labellings, together with…

A classical tensor product $A \,\otimes\, B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A \times B$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$…

A topological condition is given, characterizing which closed manifolds in dimensions < 8 (and conjecturally in general) admit symplectic structures. The condition is the existence of a certain fibration-like structure called a hyperpencil.…

We give a notably simpler and shorter proof of H. B. Neumann's result which is stated, cursorly, like this. For any well-ordered subset, A, of a totally ordered semigroup, the set of products of any finite number of elements of A is itself…

In this paper, we prove a Morse index theorem for the index form of even order linear Hamiltonian systems on the closed interval with reasonable self-adjoint boundary conditions. The highest order term is assumed to be nondegenerate.

Let M be a closed symplectic manifold of volume V. We say that the symplectic packings of M by ellipsoids are unobstructed if any collection of disjoint symplectic ellipsoids (possibly of different sizes) of total volume less than V admits…

A topological hyperplane is a subspace of R^n (or a homeomorph of it) that is topologically equivalent to an ordinary straight hyperplane. An arrangement of topological hyperplanes in R^n is a finite set H such that k topological…

We provide conditions under which a modular function defined on a semilattice $X$ and with values in a commutative group is homomorphic to a modular function on a lattice $L$ for any embedding $X\hookrightarrow L$.

An h-tiling on a finite simplicial complex is a partition of its geometric realization by maximal simplices deprived of several codimension one faces together with possibly their remaining face of highest codimension. In this last case, the…