Posets of Finite Functions

  • Konrad Pióro
Keywords: Finite functions, Partial functions, Partial injective functions, Matrix representation of function, Bruhat order, Renner order, Posets of functions, Posets of matrices, Join-irreducible element, Meet-irreducible element, Dedekind-MacNeille completion


The symmetric group $ S(n) $ is partially ordered by Bruhat order. This order is extended by L. Renner to the set of partial injective functions of $ \{ 1, 2, \ldots, n \} $ (see, Linear Algebraic Monoids, Springer, 2005). This poset is investigated by M. Fortin in his paper The MacNeille Completion of the Poset of Partial Injective Functions [Electron. J. Combin., 15, R62, 2008]. In this paper we show that Renner order can be also defined for sets of all functions, partial functions, injective and partial injective functions from $ \{ 1, 2, \ldots, n \} $ to $ \{ 1, 2, \ldots, m \} $. Next, we generalize Fortin's results on these posets, and also, using simple facts and methods of linear algebra, we give simpler and shorter proofs of some fundamental Fortin's results. We first show that these four posets can be order embedded in the set of $ n \times m $-matrices with non-negative integer entries and with the natural componentwise order. Second, matrix representations of the Dedekind-MacNeille completions of our posets are given. Third, we find join- and meet-irreducible elements for every finite sublattice of the lattice of all $ n \times m $-matrices with integer entries. In particular, we obtain join- and meet-irreducible elements of these Dedekind-MacNeille completions. Hence and by general results concerning Dedekind-MacNeille completions, join- and meet-irreducible elements of our four posets of functions are also found. Moreover, subposets induced by these irreducible elements are precisely described.
Article Number