Concept

Geometric lattice

In the mathematics of matroids and lattices, a geometric lattice is a finite atomistic semimodular lattice, and a matroid lattice is an atomistic semimodular lattice without the assumption of finiteness. Geometric lattices and matroid lattices, respectively, form the lattices of flats of finite, or finite and infinite, matroids, and every geometric or matroid lattice comes from a matroid in this way. A lattice is a poset in which any two elements and have both a least upper bound, called the join or supremum, denoted by , and a greatest lower bound, called the meet or infimum, denoted by . The following definitions apply to posets in general, not just lattices, except where otherwise stated. For a minimal element , there is no element such that . An element covers another element (written as or ) if and there is no element distinct from both and so that . A cover of a minimal element is called an atom. A lattice is atomistic if every element is the supremum of some set of atoms. A poset is graded when it can be given a rank function mapping its elements to integers, such that whenever , and also whenever . When a graded poset has a bottom element, one may assume, without loss of generality, that its rank is zero. In this case, the atoms are the elements with rank one. A graded lattice is semimodular if, for every and , its rank function obeys the identity A matroid lattice is a lattice that is both atomistic and semimodular. A geometric lattice is a finite matroid lattice. Many authors consider only finite matroid lattices, and use the terms "geometric lattice" and "matroid lattice" interchangeably for both. The geometric lattices are equivalent to (finite) simple matroids, and the matroid lattices are equivalent to simple matroids without the assumption of finiteness (under an appropriate definition of infinite matroids; there are several such definitions).

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.