Indecomposable lattice matrices

Yi-jia TAN

DOI: https://doi.org/10.3969/j.issn.1001-7011.2004.04.009

2004-01-01

Abstract:The concepts of indecomposable matrices and fully indecomposable matrices over a distributive lattice L are introduced, and some algebraic properties of them are obtained.

What problem does this paper attempt to address?

On Decompositions of Matrices over Distributive Lattices

Yizhi Chen,Xianzhong Zhao

DOI: https://doi.org/10.1155/2014/202075

2014-01-01

Journal of Applied Mathematics

Abstract:Let L be a distributive lattice and M n , q ( L ) (M n ( L ) , resp.) the semigroup (semiring, resp.) of n × q ( n × n , resp.) matrices over L . In this paper, we show that if there is a subdirect embedding from distributive lattice L to the direct product ∏ i = 1 m ‍ L i of distributive lattices L 1 , L 2 , ... , L m , then there will be a corresponding subdirect embedding from the matrix semigroup M n , q ( L ) (semiring M n ( L ) , resp.) to semigroup ∏ i = 1 m ‍ M n , q ( L i ) (semiring ∏ i = 1 m ‍ M n ( L i ) , resp.). Further, it is proved that a matrix over a distributive lattice can be decomposed into the sum of matrices over some of its special subchains. This generalizes and extends the decomposition theorems of matrices over finite distributive lattices, chain semirings, fuzzy semirings, and so forth. Finally, as some applications, we present a method to calculate the indices and periods of the matrices over a distributive lattice and characterize the structures of idempotent and nilpotent matrices over it. We translate the characterizations of idempotent and nilpotent matrices over a distributive lattice into the corresponding ones of the binary Boolean cases, which also generalize the corresponding structures of idempotent and nilpotent matrices over general Boolean algebras, chain semirings, fuzzy semirings, and so forth.
Decomposition theorem on matchable distributive lattices

Heping Zhang,Dewu Yang,Haiyuan Yao

DOI: https://doi.org/10.1016/j.dam.2013.09.008

2010-08-17

Abstract:A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a distributive lattice. It is natural to ask which lattices are MDLs. We show that if a plane bipartite graph $G$ is elementary, then ${\mathbf M}(G)$ is irreducible. Based on this result, a decomposition theorem on MDLs is obtained: a finite distributive lattice $\mathbf{L}$ is an MDL if and only if each factor in any cartesian product decomposition of $\mathbf{L}$ is an MDL. Two types of MDLs are presented: $J(\mathbf{m}\times \mathbf{n})$ and $J(\mathbf{T})$, where $\mathbf{m}\times \mathbf{n}$ denotes the cartesian product between $m$-element chain and $n$-element chain, and $\mathbf{T}$ is a poset implied by any orientation of a tree.

Combinatorics
On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Jonathan David Farley,Dominic van der Zypen

DOI: https://doi.org/10.48550/arXiv.1510.06513

2015-10-22

Abstract:Turing Award winner Juris Hartmanis introduced in 1959 lattices of subspaces of generalized partitions ("partitions of type n"; "geometries" if $n = 2$). Hartmanis states it is "an unsolved problem whether there are any incomplete lattice homomorphisms in" lattices of subspaces of geometries. (He continues, "[I]f so how can these geometries be characterized.") We give a positive answer to this question.

Logic
The lattice of idempotent distributive semiring varieties

F. Pastijn,Yuqi Guo

DOI: https://doi.org/10.1007/BF02884266

1999-01-01

Abstract:A solution is given for the word problem for free idempotent distributive semirings. Using this solution the lattice L (ID) of subvarieties of the variety ID of idempotent distributive semirings is determined. It turns out that L (ID) is isomorphic to the direct product of a four-element lattice and a lattice which is itself a subdirect product of four copies of the lattice L (B) of all band varieties. Therefore L (ID) is countably infinite and distributive. Every subvariety of ID is finitely based.
Semilinear idempotent distributive l -monoids

Simon Santschi

DOI: https://doi.org/10.1016/j.jpaa.2024.107627

IF: 0.834

2024-01-29

Journal of Pure and Applied Algebra

Abstract:We prove a representation theorem for totally ordered idempotent monoids via a nested sum construction. Using this representation theorem we obtain a characterization of the subdirectly irreducible members of the variety of semilinear idempotent distributive l -monoids and a proof that its lattice of subvarieties is countably infinite. For the variety of commutative idempotent distributive l -monoids we give an explicit description of its lattice of subvarieties and show that each of its subvarieties is finitely axiomatized. Finally we give a characterization of which spans of totally ordered idempotent monoids have an amalgam in the class of totally ordered monoids, showing in particular that the class of totally ordered commutative idempotent monoids has the strong amalgamation property and that various classes of distributive l -monoids do not have the amalgamation property. We also show that exactly seven non-trivial finitely generated subvarieties of the variety of semilinear idempotent distributive l -monoids have the amalgamation property; we are able to determine for all but three of its subvarieties whether they have the amalgamation property or not.

mathematics, applied
Indecomposable positive linear maps constructed from permutations

xin li,xiaochun fang

DOI: https://doi.org/10.1080/03081087.2015.1036000

2016-01-01

Abstract:We generalize two classes of D-type positive linear maps by permutations. For the first class, we discuss their indecomposability and give conditions when they are indecomposable and decomposable. For the other class, we show that they are atomic.
Lattice-Valued Mappings, Completely Distributive Law And Induced Spaces

Ym Liu,Mk Luo

DOI: https://doi.org/10.1016/0165-0114(91)90088-8

1991-01-01

Abstract:The lattice-valued mappings whose value domain is a completely distributive lattice are investigated. We describe the analytic condition - the semicontinuity of lattice-valued mappings on a topological space X via the algebraic property - the completely distributive law and conversely, we use the semicontinuity to depict the completely distributive law. The family of all the upper semicontinuous lattice-valued mappings on a topological space X (or a part of them) constitutes a L-fuzzy topological space on X; a series of global properties of these lattice-valued mappings is presented. In particular, we investigate the impact of N-compactness on the semicontinuity. Using these results, we solve some problems on fuzzy Stone-Cech compactification.
Indecomposables as Elements in Affine Composition Algebras

pu zhang,shunhua zhang

DOI: https://doi.org/10.1006/jabr.1998.7569

IF: 0.908

1998-01-01

Journal of Algebra

Abstract:LetAbe a path algebra of tame type over a finite field, letMbe an indecomposableA-module, and let C(A) be the composition algebra ofA. The main result in this paper is that [M]∈C(A) if and only ifMis a stone, i.e., Ext1A(M,M)=0.
Lattices Associated with Partial Injective Linear Maps of Finite Vector Spaces

Wei Jiang,Junli Liu,Qiuli Xu,Baohuan Zhang

DOI: https://doi.org/10.1007/978-3-642-54924-3_73

2014-01-01

Abstract:Let $ F_{q}^{(n)} $ denote the n-dimensional row vector space over the finite field $ F_{q} $ with $ n \ge 2 $. An l-partial injective linear map of $ F_{q} $ is a pair $ (V,F) $, where $ V $ is an l-dimensional subspace of $ F_{q}^{(n)} $ and $ f{:}\,V \to F_{q}^{(n)} $ is an injective linear map. Let L be the set of all partial injective linear maps of $ F_{q}^{(n)} $ containing 1. Ordered L by ordinary and reverse inclusion, two families of finite posets are obtained. This paper proves that these posets are lattices, discusses their geometricity and computes their characteristic polynomials.
Lattices Generated by Partial Injective Maps of Finite Sets.

Baohuan Zhang,Qiuli Xu,Wei Jiang,Junli Liu

2014-01-01

Ars combinatoria

Abstract:Let n be a positive integer with n >= 2 and [n] :-= {1, 2, ... ,n}. An m-partial injective map of [n] is a pair (A, f) where A is an m-subset of [n] and f : A -> [n] is an injective map. Let P = L boolean OR {1}, where L is the set of all the partial injective maps of [n]. Partially ordered P by ordinary or reverse inclusion, two families of finite posets are obtained. This article proves that these posets are atomic lattices, discusses their geometricity, and computes their characteristic polynomials.
Antitone involutions on tensor products of complete lattices and complete distributivity

Tomasz Kubiak,Iraide Mardones-Pérez

DOI: https://doi.org/10.1016/j.fss.2024.109131

IF: 4.462

2024-09-16

Fuzzy Sets and Systems

Abstract:The purpose of this paper is to study antitone involutions on tensor products of complete lattices. A lattice with antitone involution is said to be an involution lattice. We show that if M is a completely distributive involution lattice, then for each complete involution lattice L there exists a unique antitone involution on the tensor product M⊗L such that the natural embeddings of M and L into M⊗L are involution-preserving. This is best possible, since the described property characterizes complete distributivity in the class of complete involution lattices. When M and L are completely distributive involution lattices, M⊗L with the aforementioned antitone involution is the codomain of a universal bimorphism in the sense of the category of all completely distributive de Morgan algebras and their join- and involution-preserving maps. The case that M and L are orthocomplemented is explored too.

mathematics, applied,statistics & probability,computer science, theory & methods
Indecomposable Representations of the Lie Algebra of Derivations for D -Torus

HaiFeng Lian,ShaoBin Tan,Bo Zeng

DOI: https://doi.org/10.1007/s11425-009-0034-6

2009-01-01

Science China Mathematics

Abstract:Let DerA be the Lie algebra of derivations of the d-torus $A = \mathbb{C}[t_1^{ \pm 1} ,...,t_d^{ \pm 1} ]$. By applying Shen-Larsson’s functors we get a class of indecomposable DerA-modules from finite-dimensional indecomposable gl d -modules. We also give a complete description of the submodules of these indecomposable DerA-modules. Our results generalize those obtained by Rao.
An Equivalence Relation Characterization of Distributive Lattices

Xiangrong Sun,Wei He

DOI: https://doi.org/10.3969/j.issn.1001-4616.2006.04.004

2006-01-01

Abstract:A characterization of distributive lattices, Heyting algebras and Boolean algebras was given by means of an equivalence relation defined on them. Furthermore, some interesting properties of Heyting algebras and Boolean algebras were obtained.
Finite distributive nearlattices

Luciano J. González,Ismael Calomino

DOI: https://doi.org/10.1016/j.disc.2021.112511

IF: 0.961

2021-09-01

Discrete Mathematics

Abstract:<p>Our main goal is to develop a representation for finite distributive nearlattices through certain ordered structures. This representation generalizes the well-known representation given by Birkhoff for finite distributive lattices through finite posets. We also study finite distributive nearlattices through the concepts of dual atoms, boolean elements, complemented elements and irreducible elements. We prove that the sets of boolean elements and complemented elements form semi-boolean algebras. We show that the set of boolean elements of a finite distributive lattice is a boolean lattice.</p>

mathematics
Simpler characterizations of total orderization invariant maps

Christopher Michael Schwanke

2024-02-02

Abstract:Given a finite subset $A$ of a distributive lattice, its total orderization $to(A)$ is a natural transformation of $A$ into a totally ordered set. Recently, the author showed that multivariate maps on distributive lattices which remain invariant under total orderizations generalize various maps on vector lattices, including bounded orthosymmetric multilinear maps and finite sums of bounded orthogonally additive polynomials. Therefore, a study of total orderization invariant maps on distributive lattices provides new perspectives for maps widely researched in vector lattice theory. However, the unwieldy notation of total orderizations can make calculations extremely long and difficult. In this paper we resolve this complication by providing considerably simpler characterizations of total orderization maps. Utilizing these easier representations, we then prove that a lattice multi-homomorphism on a distributive lattice is total orderization invariant if and only if it is symmetric, and we show that the diagonal of a symmetric lattice multi-homomorphism is a lattice homomorphism, extending known results for orthosymmetric vector lattice homomorphisms.

Functional Analysis
On differential lattices

Aiping Gan,Li Guo

DOI: https://doi.org/10.1007/s00500-022-07101-z

IF: 3.732

2022-04-28

Soft Computing

Abstract:This paper studies the differential lattice, defined to be a lattice L equipped with a map d:L→L\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$d:L\rightarrow L$$\end{document} that satisfies a lattice analog of the Leibniz rule for a derivation. Isomorphic differential lattices are studied and classifications of differential lattices are obtained for some basic lattices. Several families of derivations on a lattice are explicitly constructed, giving realizations of the lattice as lattices of derivations. Derivations on a finite distributive lattice are shown to have a natural structure of lattice. Moreover, derivations on a complete infinitely distributive lattice form a complete lattice. For a general lattice, it is conjectured that its poset of derivations is a lattice that uniquely determines the given lattice.

computer science, artificial intelligence, interdisciplinary applications
The Lattice of Full Subsemigroups of an Inverse Semigroup

Zhenji Tian,Zongben Xu

DOI: https://doi.org/10.1007/s00233-006-0626-1

2006-01-01

Semigroup Forum

Abstract:In this paper, we consider the lattice Subf S of full subsemigroups of an inverse semigroup S. Our first main theorem states that for any inverse semigroup S, Subf S is a subdirect product of the lattices of full subsemigroups of its principal factors, so that Subf S is distributive [meet semidistributive, join semidistributive, modular, semimodular] if and only if the lattice of full subsemigroups of each principal factor is. To examine such inverse semigroups, therefore, we need essentially only consider those which are 0-simple. For a 0-simple inverse semigroup S (not a group with zero), we show that in fact each of modularity, meet semidistributivity and join semidistributivity of Subf S is equivalent to distributivity of S, that is, S is the combinatorial Brandt semigroup with exactly two nonzero idempotents and two nonidempotents. About semimodularity, however, we concentrate only on the completely 0-simple case, that is, Brandt semigroups. For a Brandt semigroup S (not a group with zero), semimodularity of Subf S is equivalent to distributivity of Subf S. Finally, we characterize an inverse semigroup S for which Subf S is a chain.
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability

Yiheng Wang,Hao Zhan,Yu Peng,Zhe Lin

2023-03-10

Abstract:We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent calculus of it is presented. Moreover, we prove the decidability of this logic.

Logic
Representing finite distributive lattices as congruence lattices of lattices

George Grätzer

DOI: https://doi.org/10.48550/arXiv.1309.7511

2013-09-29

Abstract:Dilworth's theorem. Every finite distributive lattice $D$ can be represented as the congruence lattice of a finite lattice $L$. We want: Every finite distributive lattice $D$ can be represented as the congruence lattice of a nice finite lattice $L$. nice = sectionally complemented, uniform, semimodular, given automorphism group, regular, uniform, isoform

Rings and Algebras
The fundamental theorem of finite semidistributive lattices

Nathan Reading,David E Speyer,Hugh Thomas

2024-10-21

Abstract:We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only if there exists a set Sha with some additional structure, such that L is isomorphic to the admissible subsets of Sha ordered by inclusion; in this case, Sha and its additional structure are uniquely determined by L." The additional structure on Sha is a combinatorial abstraction of the notion of torsion pairs from representation theory and has geometric meaning in the case of posets of regions of hyperplane arrangements. We show how the FTFSDL clarifies many constructions in lattice theory, such as canonical join representations and passing to quotients, and how the semidistributive property interacts with other major classes of lattices. Many of our results also apply to infinite lattices.

Combinatorics,Representation Theory

Indecomposable lattice matrices

On Decompositions of Matrices over Distributive Lattices

Decomposition theorem on matchable distributive lattices

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

The lattice of idempotent distributive semiring varieties

Semilinear idempotent distributive l -monoids

Indecomposable positive linear maps constructed from permutations

Lattice-Valued Mappings, Completely Distributive Law And Induced Spaces

Indecomposables as Elements in Affine Composition Algebras

Lattices Associated with Partial Injective Linear Maps of Finite Vector Spaces

Lattices Generated by Partial Injective Maps of Finite Sets.

Antitone involutions on tensor products of complete lattices and complete distributivity

Indecomposable Representations of the Lie Algebra of Derivations for D -Torus

An Equivalence Relation Characterization of Distributive Lattices

Finite distributive nearlattices

Simpler characterizations of total orderization invariant maps

On differential lattices

The Lattice of Full Subsemigroups of an Inverse Semigroup

Involutive Commutative Residuated Lattice without Unit: Logics and Decidability

Representing finite distributive lattices as congruence lattices of lattices

The fundamental theorem of finite semidistributive lattices