Related papers: Lattice-ordered matrix algebras over real GCD-doma…
To any two-dimensional rational plane in four-dimensional space one can naturally attach a point in the Grassmannian Gr(2,4) and four lattices of rank two. Here, the first two lattices originate from the plane and its orthogonal complement…
We prove that for any two lattices $L, M \subseteq \mathbb{R}^d$ of the same volume there exists a measurable, bounded, common fundamental domain of them. In other words, there exists a bounded measurable set $E \subseteq \mathbb{R}^d$ such…
In this work, two algorithms are developed related to lattice codes. In the first one, an extended complete Gr\"obner basis is computed for the label code of a lattice. This basis supports all term orderings associated with a total degree…
We prove a Marstrand type slicing theorem for the subsets of the integer square lattice. This problem is the dual of the corresponding projection theorem, which was considered by Glasscock, and Lima and Moreira, with the mass and counting…
The stratified structure of the configuration space $\mb G^N = G \times ... \times G$ reduced with respect to the action of $G$ by inner automorphisms is investigated for $G = SU(3) .$ This is a finite dimensional model coming from lattice…
Lattice systems with certain Lie algebraic or quantum Lie algebraic symmetries are constructed. These symmetric models give rise to series of integrable systems. As examples the $A_n$-symmetric chain models and the SU(2)-invariant ladder…
We prove that the problems of representing a finite ordered complemented semigroup or finite lattice-ordered semigroup as an algebra of binary relations over a finite set are undecidable. In the case that complementation is taken with…
A notion of generalized $n$-semimodularity is introduced, which extends that of (sub/super)mod\-ularity in four ways at once. The main result of this paper, stating that every generalized $(n\colon\!2)$-semimodular function on the $n$th…
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…
The classical matrix tree theorem relates the number of spanning trees of a connected graph with the product of the nonzero eigenvalues of its Laplacian matrix. The class of regular matroids generalizes that of graphical matroids, and a…
Generalizing von Neumann's result on type II$_1$ von Neumann algebras, we characterize lattice isomorphisms between projection lattices of arbitrary von Neumann algebras by means of ring isomorphisms between the algebras of locally…
We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is normal and Cohen-Macaulay, and give an interpretation of its…
Let R be a von Neumann algebra acting on a Hilbert space H and let R_sa be the set of selfadjoint elements of R. It is well known that R_sa is a lattice with respect to the usual partial order ≤ if and only if R is abelian. We define…
We give a very concise proof of Ornstein's $L^1$ non-inequality for first- and second-order operators in two dimensions. The proof just needs a two-dimensional laminate supported on three points.
The paper is devoted to 2-local derivations on matrix algebras over commutative regular algebras. We give necessary and sufficient conditions on a commutative regular algebra to admit 2-local derivations which are not derivations. We prove…
We give a canonical form of m-by-2-by-2 spatial matrices for equivalence over any field.
The classification, up to isomorphism, of two-dimensional (not necessarily commutative) Jordan algebras over algebraically closed fields and $\mathbb{R}$ is presented in terms of their matrices of structure constants.
By developing the Tanaka theory for rank 2 distributions, we completely classify classical Monge equations having maximal finite-dimensional symmetry algebras with fixed (albeit arbitrary) pair of its orders. Investigation of the…
A (q,k,t)-design matrix is an m x n matrix whose pattern of zeros/non-zeros satisfies the following design-like condition: each row has at most q non-zeros, each column has at least k non-zeros and the supports of every two columns…
The full lattices in a finite dimensional commutative ${\mathbb Q}$-algebra form a commutative semigroup. In the case of an algebraic number field the top part of a certain quotient semigroup is the class group. For a separable algebra some…