Related papers: On a canonical lattice structure on the effect alg…
In this paper we introduce a new class of operators on vector lattices. We say that a linear or nonlinear operator $T$ from a vector lattice $E$ to a vector lattice $F$ is atomic if there exists a Boolean homomorphism $\Phi$ from the…
Constructions are given of Noetherian maximal orders that are finitely presented algebras over a field K, defined by monomial relations. In order to do this, it is shown that the underlying homogeneous information determines the algebraic…
For finite semidistributive lattices the map $\kappa$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements. Here we study the $\kappa$-map in the context of torsion classes. It…
Let H_1 and H_2 be complex Hilbert spaces, L_1=P(H_1) and L_2=P(H_2) the lattices of closed subspaces, and let L be a complete atomistic lattice. We prove under some weak assumptions relating L_i and L, that if L admits an…
With this chapter we provide a compact yet complete survey of two most remarkable "representation theorems": every arguesian projective geometry is represented by an essentially unique vector space, and every arguesian Hilbert geometry is…
By a result of Lundquist-Barrett, it follows that the rank of a positive semi-definite matrix is less than or equal to the sum of the ranks of its principal diagonal submatrices when written in block form. In this article, we take a general…
We investigate the properties of the zeta-function of well-rounded sublattices of a fixed arithmetic lattice in the plane. In particular, we show that this function has abscissa of convergence at $s=1$ with a real pole of order 2, improving…
Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-algebras (including noncommutative C*-algebras), and…
We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$,…
Let $ R \subset \R $ be a GCD-domain. In this paper, Weinberg's conjecture on the $ n \times n $ matrix algebra $ M_{n}(R) \ (n \geq 2) $ is proved. Moreover, all the lattice orders (up to isomorphisms) on a full $ 2 \times 2 $ matrix…
We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…
A numbering of a countable family $S$ is a surjective map from the set of natural numbers $\omega$ onto $S$. The paper studies Rogers semilattices, i.e. upper semilattices induced by the reducibility between numberings, for families…
We show that the theories of partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser partial order, or a linearization, or an auxiliary relation have the strong amalgamation property,…
An algebraic linear ordering is a component of the initial solution of a first-order recursion scheme over the continuous categorical algebra of countable linear orderings equipped with the sum operation and the constant 1. Due to a general…
We study the subalgebra of the lattice vertex operator algebra $V_{\sqrt{2}A_2}$ consisting of the fixed points of an automorphism which is induced from an order 3 isometry of the root lattice $A_2$. We classify the simple modules for the…
Let $\mathscr N$ be a two step nilpotent Lie algebra endowed with non-degenerate scalar product $\langle\cdot\,,\cdot\rangle$ and let $\mathscr N=V\oplus_{\perp}Z$, where $Z$ is the center of the Lie algebra and $V$ its orthogonal…
We consider the reproducing kernel function of the theta Bargmann-Fock Hilbert space associated to given full-rank lattice and pseudo-character, and we deal with some of its analytical and arithmetical properties. Specially, the…
In this paper we study the integral form of the lattice vertex algebra $V_L$. We show that divided powers of general vertex operators preserve the integral lattice spanned by Schur functions indexed by partition-valued functions. We also…
A linear \'etale representation of a complex algebraic group $G$ is given by a complex algebraic $G$-module $V$ such that $G$ has a Zariski-open orbit on $V$ and $\dim G=\dim V$. A current line of research investigates which \'etale…
The Baumslag-Solitar group is an example of an HNN extension. Spielberg showed that it has a natural positive cone, and that it is then a quasi-lattice ordered group in the sense of Nica. We give conditions for an HNN extension of a…