English
Related papers

Related papers: On better-quasi-ordering classes of partial orders

200 papers

In this paper, we introduce the class of finitely semi-graded algebras which extends the connected graded algebras finitely generated in degree one. The Koszul behavior of finitely semi-graded algebras is investigated by the distributivity…

Rings and Algebras · Mathematics 2019-01-23 José Oswaldo Lezama Serrano , Jaime Andrés Gómez Ortíz

We study the structure of the set of all maximal green sequences of a finite-dimensional algebra. There is a natural equivalence relation on this set, which we show can be interpreted in several different ways, underscoring its…

Representation Theory · Mathematics 2023-04-27 Mikhail Gorsky , Nicholas J. Williams

In this paper we study some special classes of division algebras over a Laurent series field with arbitrary residue field. We call the algebras from these classes as splittable and good splittable division algebras. It is shown that these…

Number Theory · Mathematics 2007-05-23 Alexander Zheglov

We consider the problem of partial order production: arrange the elements of an unknown totally ordered set T into a target partially ordered set S, by comparing a minimum number of pairs in T. Special cases include sorting by comparisons,…

Data Structures and Algorithms · Computer Science 2010-05-06 Jean Cardinal , Samuel Fiorini , Gwenaël Joret , Raphaël M. Jungers , J. Ian Munro

We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…

Logic · Mathematics 2021-06-24 Pantelis E. Eleftheriou , Alex Savatovsky

This paper provides a canonical construction of a Noetherian least fixed point topology. While such least fixed point are not Noetherian in general, we prove that under a mild assumption, one can use a topological minimal bad sequence…

Logic in Computer Science · Computer Science 2022-10-18 Aliaume Lopez

In this article, we define and study a geometry and an order on the set of partitions of an even number of objects. One of the definitions involves the partition algebra, a structure of algebra on the set of such partitions depending on an…

Combinatorics · Mathematics 2016-11-01 Franck Gabriel

We define a class of transversal slices in spaces which are quasi-Poisson for the action of a complex semisimple group G. This is a multiplicative analogue of Whittaker reduction. One example is the multiplicative universal centralizer of…

Representation Theory · Mathematics 2022-09-19 Ana Balibanu

We pursue the question how integers can be ordered or partitioned according to their divisibility properties. Based on pseudometrics on $\mathbb{Z}$, we investigate induced preorders, associated equivalence relations, and quotient sets. The…

Number Theory · Mathematics 2026-04-16 Mario Ziller

We prove a conjecture of Postnikov, Reiner and Williams by defining a partial order on the set of tree graphs with $n$ vertices that induces inequalities between the $\gamma$-polynomials of their associated graph-associahedra. The partial…

Combinatorics · Mathematics 2012-07-24 Natalie Aisbett

We generalize a well-known algorithm for the generation of all subsets of a set in lexicographic order with respect to the sets as lists of elements (subset-lex order). We obtain algorithms for various combinatorial objects such as the…

Combinatorics · Mathematics 2024-01-03 Jörg Arndt

We study three types of order convergence and related concepts of order continuous maps in partially ordered sets, partially ordered abelian groups and partially ordered vector spaces, respectively. An order topology is introduced such that…

Functional Analysis · Mathematics 2017-11-09 Till Hauser , Anke Kalauch

A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…

Group Theory · Mathematics 2017-08-02 Vítězslav Kala

We introduce a generalization of parametrized Rota-Baxter algebras, which includes family and matching Rota-Baxter algebras. We study the structure needed on the set $\Omega$ of parameters in order to obtain that free Rota-Baxter algebras…

Rings and Algebras · Mathematics 2022-05-13 Loïc Foissy , Xiao-Song Peng

The partition problem is a well-known basic NP-complete problem. We mainly consider the optimization version of it in this paper. The problem has been investigated from various perspectives for a long time and can be solved efficiently in…

Discrete Mathematics · Computer Science 2024-05-10 Susumu Kubo

In this paper, in addition to the earlier introduced involutive divisions, we consider a new class of divisions induced by admissible monomial orderings. We prove that these divisions are noetherian and constructive. Thereby each of them…

Commutative Algebra · Mathematics 2025-10-20 Vladimir P. Gerdt

A left order on a magma (e.g., semigroup) is a total order of its elements that is left invariant under the magma operation. A natural topology can be introduced on the set of all left orders of an arbitrary magma. We prove that this…

We show that the theories of partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser partial order, or a linearization, or an auxiliary relation have the strong amalgamation property,…

Logic · Mathematics 2023-07-04 Paolo Lipparini

The normal form theorem, proved in R. Laver, On the left distributive law and the freeness of an algebra of elementary embeddings, Advances in Mathematics 91 (1992), 209-231, for the free algebra $\Cal A$ on one generator $x$ satisfying the…

Logic · Mathematics 2016-09-06 Richard Laver

We provide a quiver setting for quasi-Hopf algebras, generalizing the Hopf quiver theory. As applications we obtain some general structure theorems, in particular the quasi-Hopf analogue of the Cartier theorem and the Cartier-Gabriel…

Quantum Algebra · Mathematics 2015-05-13 Hua-Lin Huang