pith. sign in

arxiv: math/0201083 · v1 · submitted 2002-01-10 · 🧮 math.CO

A poset classifying non-commutative term orders

classification 🧮 math.CO
keywords posetorderstermclassifyingstandardalphabetcertaincoconnection
0
0 comments X
read the original abstract

We study a certain poset on the free monoid on a countable alphabet. This poset is determined by the fact that its total extensions are precisely the standard term orders. We also investigate the poset classifying degree-compatible standard term orders, and the poset classifying sorted term orders. For the latter poset, we give a Galois coconnection with the Young lattice.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.