Search

In this paper, we carry out in an abstract order context some real subset combinatorial problems. Specifically, let [Formula: see text] be a finite poset, where [Formula: see text] is an order-reversing and involutive map such that [Formula: see text] for each [Formula: see text]. Let [Formula: see text] be the Boolean lattice with two elements and [Formula: see text] the family of all the order-preserving 2-valued maps [Formula: see text] such that [Formula: see text] if [Formula: see text] for all [Formula: see text]. In this paper, we build a family [Formula: see text] of particular subsets of [Formula: see text], that we call [Formula: see text]-bases on [Formula: see text], and we determine a bijection between the family [Formula: see text] and the family [Formula: see text]. In such a bijection, a [Formula: see text]-basis [Formula: see text] on [Formula: see text] corresponds to a map [Formula: see text] whose restriction of [Formula: see text] to [Formula: see text] is the smallest 2-valued partial map on [Formula: see text] which has [Formula: see text] as its unique extension in [Formula: see text]. Next we show how each [Formula: see text]-basis on [Formula: see text] becomes, in a particular context, a sub-system of a larger system of linear inequalities, whose compatibility implies the compatibility of the whole system.

Let [Formula: see text] be a field of characteristic zero and [Formula: see text] the algebra of [Formula: see text] matrices over [Formula: see text]. By the classical Amitsur–Levitzki theorem, it is well known that [Formula: see text] is the smallest degree of a standard polynomial identity of [Formula: see text]. A theorem due to Rowen shows that when the symplectic involution [Formula: see text] is considered, the standard polynomial of degree [Formula: see text] in symmetric variables is an identity of [Formula: see text]. This means that when only certain kinds of matrices are considered in the substitutions, the minimal degree of a standard identity may not remain being the same. In this paper, we present some results about the minimal degree of standard identities in skew or symmetric variables of odd degree of [Formula: see text] in the symplectic graded involution case. Along the way, we also present the minimal total degree of a double Capelli polynomial identity in symmetric variables of [Formula: see text] with transpose involution.