Lattice socles and radicals described by a Galois connnection
Lattice structures from planar graphs.
Lattices and bases of Coxeter groups. (Treillis et bases des groups de Coxeter.)
Lattices and semilattices having an antitone involution in every upper interval
We study -semilattices and lattices with the greatest element 1 where every interval [p,1] is a lattice with an antitone involution. We characterize these semilattices by means of an induced binary operation, the so called sectionally antitone involution. This characterization is done by means of identities, thus the classes of these semilattices or lattices form varieties. The congruence properties of these varieties are investigated.
Lattices freely generated by partially ordered sets: which can be "drawn"?
Lattices in quasiordered sets
Lattices of convex equivalences
Lattices of generating systems
Lattices of quasiorders on universal algebras
Lattices of Scott-closed sets
A dcpo is continuous if and only if the lattice of all Scott-closed subsets of is completely distributive. However, in the case where is a non-continuous dcpo, little is known about the order structure of . In this paper, we study the order-theoretic properties of for general dcpo’s . The main results are: (i) every is C-continuous; (ii) a complete lattice is isomorphic to for a complete semilattice if and only if is weak-stably C-algebraic; (iii) for any two complete semilattices...
Le diagramme du treillis permutoèdre est intersection des diagrammes de deux produits directs d'ordres totaux
Deux codages sont utilisés sur l’ensemble des permutations ou ordres totaux sur un ensemble fini à éléments et à chacun de ces codages est associé un produit direct d’ordres totaux. On démontre que le diagramme du treillis permutoèdre (ou ordre de Bruhat faible sur le groupe symétrique ) est intersection des diagrammes des deux produits directs de ordres totaux à éléments.
Le module dendriforme sur le groupe cyclique
La structure d’opérade anticyclique de l’opérade dendriforme donne en particulier une matrice d’ordre agissant sur l’espace engendré par les arbres binaires plans à feuilles. On calcule le polynôme caractéristique de cette matrice. On propose aussi une conjecture compatible pour le polynôme caractéristique de la transformation de Coxeter du poset de Tamari, qui est essentiellement une racine carrée de cette matrice.
Left translations of compact semilattices and generalizations
Les chaínes complêtes sont simplifiables à droite pour la multiplication ordinale
Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. II. Théorie des multistructures
Les préordres totaux compatibles avec un ordre partiel
Les termes : un modèle algébrique de représentation et de structuration de données symboliques
Nos travaux se situent dans le cadre de l'analyse conceptuelle des données. Notre objectif est de généraliser les représentations par variables binaires ou nominales en y adjoignant la modélisation de structures internes. Le problème est de ne pas perdre en complexité algorithmique ce qui est gagné en puissance de représentation. Selon ces considérations, décrire les données et des classes de données par des structures arborescentes semble un bon compromis. Le système de représentation que nous...
Liaisons entre les S-relations et les relations de ferrers. Représentations
Linear extensions of orderings
A construction is given which makes it possible to find all linear extensions of a given ordered set and, conversely, to find all orderings on a given set with a prescribed linear extension. Further, dense subsets of ordered sets are studied and a procedure is presented which extends a linear extension constructed on a dense subset to the whole set.
Linear extensions of orders invariant under abelian group actions
Let G be an abelian group acting on a set X, and suppose that no element of G has any finite orbit of size greater than one. We show that every partial order on X invariant under G extends to a linear order on X also invariant under G. We then discuss extensions to linear preorders when the orbit condition is not met, and show that for any abelian group acting on a set X, there is a linear preorder ≤ on the powerset 𝓟X invariant under G and such that if A is a proper subset of B, then A < B...