Related papers: Kadison's antilattice theorem for a synaptic algeb…

In this paper, we show that the lattice of C*-covers of a non-selfadjoint operator algebra is either one point or uncountable. We prove that there are non-selfadjoint operator algebras with a one-point lattice in two ways: as an explicit…

As well-known, in a finitary algebraic structure the set $\Gamma$ of all the non-generators is the intersection of all the maximal proper substructures. In particular, $\Gamma$ is a substructure. We show that the corresponding statements…

Let $\Gamma$ be an irreducible lattice in a product of n infinite irreducible complete Kac-Moody groups of simply laced type over finite fields. We show that if n is at least 3, then each Kac-Moody groups is in fact a simple algebraic group…

A closure endomorphism of a Hilbert algebra A is a mapping that is simultaneously an endomorphism of and a closure operator on A. It is known that the set CE of all closure endomorphisms of A is a distributive lattice where the meet of two…

We prove that (1) for any complete lattice $L$, the set $\mathcal{D}(L)$ of all nonempty saturated compact subsets of the Scott space of $L$ is a complete Heyting algebra (with the reverse inclusion order); and (2) if the Scott space of a…

Pick's theorem is used to prove that if $P$ is a lattice polygon (that is, the convex hull of a finite set of lattice points in the plane), then every lattice point in the $h$-fold sumset $hP$ is the sum of $h$ lattice points in $P$.

A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality…

Ore proved that a finite group is cyclic if and only if its subgroup lattice is distributive. Now, since every subgroup of a cyclic group is normal, we call a subfactor planar algebra cyclic if all its biprojections are normal and form a…

Let A, B, S be categories, let F:A-->S and G:B-->S be functors. We assume that for "many" objects a in A, there exists an object b in B such that F(a) is isomorphic to G(b). We establish a general framework under which it is possible to…

We consider inclusions of type $(P\otimes A)^G\subset(P\otimes B)^G$, where $G$ is a compact quantum group of Kac type acting on a ${\rm II}_1$ factor $P$, and on a Markov inclusion of finite dimensional $C^*$-algebras $A\subset B$. In the…

Theorem. Let $\pi$ be a finite group of order $n$, $R$ be a Dedekind domain satisfying that (i) $\fn{char}R=0$, (ii) every prime divisor of $n$ is not invertible in $R$, and (iii) $p$ is unramified in $R$ for any prime divisor $p$ of $n$.…

We study a pair p,e consisting of a projection p (an idempotent) and an effect e (an element between 0 and 1) in a synaptic algebra (a generalization of the self-adjoint part of a von Neumann algebra). We show that some of Halmos's theory…

We show that the reduction mod p of an orthogonal linear representation is orthogonal, and we generalize this fact to representations of algebras with involution.The proofs make an essential use of the notion of " middle lattices ".

For a lattice \Lambda in the complex plane, let K_{\Lambda} be the field of \Lambda-elliptic functions. For two relatively prime integers p (respectively q) greater than 1, consider the endomorphisms \psi (resp. \phi) of K_{\Lambda} given…

Let f be a self-map of the set A. We give a necessary and sufficient condition for the existence of a lattice structure on A such that f becomes a lattice anti-endomorphism with respect to this structure.

We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by…

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…

For an arbitrary group, the subgroups form a lattice with order determined by set inclusion. Not every lattice is isomorphic to the subgroup lattice for a group. However, Birkhoff and Frink proved that any compactly generated lattice is…

J. Tuma proved an interesting "congruence amalgamation" result. We are generalizing and providing an alternate proof for it. We then provide applications of this result: --A.P. Huhn proved that every distributive algebraic lattice $D$ with…

Let p be prime number, K be a p-adically closed field, X $\subseteq$ K^m a semi-algebraic set defined over K and L(X) the lattice of semi-algebraic subsets of X which are closed in X. We prove that the complete theory of L(X) eliminates the…