相关论文: A new lattice construction: the box product

We investigate the representation of lattices as sublattices of the lattice of all convex subsets (intervals) of a linearly ordered set $(X,\le)$. We introduce the purely lattice-theoretic notion of a \textit{loc-lattice} and prove that…

In this paper, we show that the semi-Dirichlet C*-covers of a semi-Dirichlet operator algebra form a complete lattice, establishing that there is a maximal semi-Dirichlet C*-cover. Given an operator algebra dynamical system we prove a…

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). In the present text, as a starting point, we define the…

We study unital operator spaces endowed with a partially defined product. We give a matrix-norm characterization of such products that allows for a representation theorem where the partial product is realized as composition of operators on…

It is well-known that relatively pseudocomplemented lattices can serve as an algebraic semantics of intuitionistic logic. To extend the concept of relative pseudocomplementation to non-distributive lattices, the first author introduced…

We study the tensor product of an associative and a nonassociative cyclic algebra. The condition for the tensor product to be a division algebra equals the classical one for the tensor product of two associative cyclic algebras by Albert or…

We study properties of a C_2-cofinite vertex operator algebra of CFT type. If it is also rational and V'\cong V, then the rigidity of the tensor category of modules has been proved by Huang. When we treat an irrational C_2-cofinite VOA, the…

Lorenzen's ``Algebraische und logistische Untersuchungen \"uber freie Verb\"ande'' appeared in 1951 in The Journal of Symbolic Logic. These ``Investigations'' have immediately been recognised as a landmark in the history of infinitary proof…

The purpose of this paper is to study convex bodies $C$ for which there exists no convex body $C^\prime\subsetneq C$ of the same lattice width. Such bodies shall be called ``lattice reduced'', and they occur naturally in the study of the…

This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective…

It is an easy observation that every residuated lattice is in fact a semiring because multiplication distributes over join and the other axioms of a semiring are satisfied trivially. This semiring is commutative, idempotent and simple. The…

We characterise the embedding of the spatial product of two Arveson systems into their tensor product using the random set technique. An important implication is that the spatial tensor product does not depend on the choice of the reference…

There is a hierarchy of structure conditions for convex sets. In this paper we study a recently defined [3, 8, 9] condition called locally nonconical convexity (abbreviated LNC). Is is easy to show that every strictly convex set is LNC, as…

The study of matroid products traces back to the 1970s, when Lov\'asz and Mason studied the existence of various types of matroid products with different strengths. Among these, the tensor product is arguably the most important, which can…

A planar (upper) semimodular lattice $L$ is slim if the five-element nondistributive modular lattice $M_3$ does not occur among its sublattices. (Planar lattices are finite by definition.) Slim rectangular lattices as particular slim planar…

Each finite algebra $\mathbf A$ induces a lattice~$\mathbf L_{\mathbf A}$ via the quasi-order~$\to$ on the finite members of the variety generated by~$\mathbf A$, where $\mathbf B \to \mathbf C$ if there exists a homomorphism from $\mathbf…

Given a closed ideal I in a C*-algebra A, an ideal J (not necessarily closed) in I, a *-homomorphism \al:A --> M(I) and a map L:J --> A with some properties, based on [3] and [9] we define a C*-algebra O(A,\al,L) which we call the "Crossed…

Cork is a natural amorphous material with near-zero Poisson's ratio that is ubiquitously used for sealing glass bottles. It is an anisotropic, transversally isotropic, composite that can hardly be scaled down. Here, we propose a new class…

We build on the description of left congruences on an inverse semigroup in terms of the kernel and trace due to Petrich and Rankin. The notion of an inverse kernel for a left congruence is developed. Various properties of both the trace and…

The systematic study of planar semimodular lattices started in 2007 with a series of papers by G. Gr\"atzer and E. Knapp. These lattices have connections with group theory and geometry. A planar semimodular lattice $L$ is {\it slim} if…