相关论文: Linear algebra in lattices, the Fitting lemma

We study some examples when there is actually an equality in the linear algebra bound. When the vectors considered span in fact the entire space. We would like to point out that in some cases this provides some interesting extra information…

This work proposes an alternative approach to the so-called lattice of embedded subsets, which is included in the product of the subset and partition lattices of a finite set, and whose elements are pairs consisting of a subset and a…

We show that, for an arrangement of subspaces in a complex vector space with geometric intersection lattice, the complement of the arrangement is formal. We prove that the Morgan rational model for such an arrangement complement is formal…

A lattice L is spatial if every element of L is a join of completely join-irreducible elements of L (points), and strongly spatial if it is spatial and the minimal coverings of completely join-irreducible elements are well-behaved.…

The aim of this work is focused on linearizing and found the Lax Pairs of the algebraic complete integrability (a.c.i) Toda lattice associated with the twisted affine Lie algebra \(a_4^{\left(2\right)}\). Firstly, we recall that our case of…

Algebraic dichotomy is a generalization of an exponential dichotomy (Lin, JDE2009). This paper gives a version of Hartman-Grobman linearization theorem assuming that linear system admits an algebraic dichotomy, which generalizes the…

In this paper, we will show how the Caratheodory Extension process is intimately related to the metric completion process. In particular, it will be shown how one is able to construct a lattice on the completion and to obtain an isomorphism…

Funayama proved that a lattice embeds into a complete Boolean algebra in such a way that all existing joins and meets are preserved if and only if the lattice satisfies the join-infinite and meet-infinite distributive laws. There are…

Covering is a common type of data structure and covering-based rough set theory is an efficient tool to process this data. Lattice is an important algebraic structure and used extensively in investigating some types of generalized rough…

We examine the properties of algebras of linear transformations that leave invariant all subspaces in a totally ordered lattice of subspaces of an arbitrary vector space. We compare our results with those that apply for the corresponding…

In this work a lattice formulation of a supersymmetric theory is proposed and tested that preserves the complete supersymmetry on the lattice. The results of a one-dimensional nonperturbative simulation show the realization of the full…

We prove that a tolerance relation of a lattice is a homomorphic image of a congruence relation.

We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with…

Lattices of compatibly embedded finite fields are useful in computer algebra systems for managing many extensions of a finite field $\mathbb{F}_p$ at once. They can also be used to represent the algebraic closure $\bar{\mathbb{F}}_p$, and…

We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study…

We show how the existence of various free vector lattices and free vector lattice algebras can be derived from a theorem on equational classes in universal algebra. A discussion about free $f$-algebras over non-empty sets is given, where…

We conjecture recurrence relations satisfied by the degrees of some linearizable lattice equations. This helps to prove linear growth of these equations. We then use these recurrences to search for lattice equations that have linear growth…

The aim of this work is focused on the investigation of the algebraic complete integrability of the Toda lattice associated with the twisted affine Lie algebra $a_4^{(2)}$. First, we prove that the generic fiber of the momentum map for this…

We know that each effect algebra $E$ is isomorphic to $\pi(X)$ for some $E$-test spaces $(X,{\cal T})$.We describe when $\pi(x)\lor \pi(y)$ and $\pi(x)\land\pi(y)$ exists for $x,y\in{\cal E}(X,{\cal T})$. Moreover we give the formula for…

Let $\mathbf{F}=\left\langle F,R\right\rangle $ be a finite Kripke frame. A congruence of $\mathbf{F}$ is a bisimulation of $\mathbf{F}$ that is also an equivalence relation on F. The set of all congruences of $\mathbf{F}$ is a lattice…