Related papers: Finite elements in some vector lattices of nonline…
We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x $\in$ D | a $\le$ b $\lor$ x} has a countable coinitial subset, such that D does not carry any binary operation -…
We study completions of Archimedean vector lattices relative to any nonempty set of positively-homogeneous functions on finite-dimensional real vector spaces. Examples of such completions include square mean closed and geometric closed…
In this letter it will be demonstrated explicitly that the finite-element formulation of quantum electrodynamics is free from fermion doubling. We do this by (1) examining the lattice fermion propagator and using it to compute the one-loop…
For fixed g and T we show that finiteness of the set of affine equivalence classes of flat surfaces of genus g whose Veech groups contain a cusp of hyperbolic co-area less than T. We obtain new restrictions on Veech groups: we show that any…
Let R be a local ring of prime characteristic. We study the ring of Frobenius operators F(E), where E is the injective hull of the residue field of R. In particular, we examine the finite generation of F(E) over its degree zero component,…
Let $G$ be an $\ell$-group (which is short for ``lattice-ordered abelian group''). Baker and Beynon proved that $G$ is finitely presented iff it is finitely generated and projective. In the category $\mathcal U$ of {\it unital}…
We define a free uniformly complete vector lattice over a set of generators and give its concrete representation as a space of continuous positively homogeneous functions.
In this article we discuss the operations of partitions (sequence of disjoint finite subsets) which are quotient, insertion, composition and Lie bracket. Moreover, we discuss applications of those operations for Feymman diagrams and…
For ordered normed vector spaces $X, Y$, we consider the space $\mathcal{L}(X,Y)$ of bounded linear operators and characterize when its cone of positive operators has non-empty interior. When this is satisfied, we give a functional…
In this paper, the following results are proved: (1) $ $ If $E$ is a complete atomic lattice effect algebra, then $E$ is (o)-continuous iff $E$ is order-topological iff $E$ is totally order-disconnected iff $E$ is algebraic. (2) $ $ If $E$…
It is shown that the set of all finitary consequence operators defined on any nonempty language is a join-complete lattice. This result is applied to various collections of physical theories to obtain an unrestricted supremum unification.
The congruence lattices of all algebras defined on a fixed finite set $A$ ordered by inclusion form a finite atomistic lattice $\mathcal E$. We describe the atoms and coatoms. Each meet-irreducible element of $\mathcal E$ being determined…
A connected component of an affine algebraic group is called periodic if all its elements have finite order. We give a characterization of periodic components in terms of automorphisms with finite number of fixed points. It is also…
A continuous operator $T$ between two Banach lattices $E$ and $F$ is called almost order-weakly compact, whenever for each almost order bounded subset $A$ of $E$, $T(A)$ is a relatively weakly compact subset of $F$. In Theorem 4, we show…
A lattice $L$ is said lowly finite if the set $[\mathsf{0},a]$ is finite for every element $a$ of $L$. We mainly aim to provide a complete proof that, if $M$ is a subset of a complete lowly finite distributive lattice $L$ containing its…
The pseudo-unitary group ${\bf U}\left(p,q\right)$ of signature $\left(p,q\right)$ is the group of matrices that preserve the indefinite pseudo-Euclidean metric on the vector space $\mathbb{C}^{p,q}$. The goal of this paper is to describe…
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{CT}_{n}$ be the semigroup of full contractions on $[n]$. Denote $\mathcal{ORCT}_{n}$ and $\mathcal{OCT}_{n}$ to be the subsemigroup of order preserving or reversing and the…
Let $\M$ be a type ${\rm II_1}$ factor and let $\tau$ be the faithful normal tracial state on $\M$. In this paper, we prove that given finite elements $X_1,\cdots X_n \in \M$, there is a finite decomposition of the identity into $N \in…
We describe of all finite dimensional uniserial representations of a commutative associative (resp. abelian Lie) algebra over a perfect (resp. sufficiently large perfect) field. In the Lie case the size of the field depends on the answer to…
An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…