Valuations, bijections, and bases

The aim of this paper is to build a theory of commutative and noncommutative {\it injective} valuations of various algebras (including algebras with zero divisors). The targets of our valuations are (well-)ordered commutative and noncommutative (partial and entire) semigroups including any sub-semigroups of the free monoid $F_n$ on $n$ generators and various quotients. When the range of a valuation of an algebra $A$ is a finitely generated (partial) semigroup, we construct a generalization of the standard monomial bases in $A$, which seems to be new in noncommutative case. Quite remarkably, for any pair of well-ordered valuations one has a canonical bijection between the valuation semigroups, which serves as an analog of the celebrated Jordan-H\"older correspondences and these bijections are ``almost" homomorphisms of the involved semigroups. A spectacular demonstration of this remarkable property of JH-bijections for quantum Schubert cells $A=U_q(w)$ results in mysterious "symplectomorphisms" of involved skew symmetric forms.