Valuations of lines
We enlarge the problem of valuations of triads on so called lines. A line in an -structure (it means that is a semigroup and is an automorphism or an antiautomorphism on such that ) is, generally, a sequence , , (where is the class of finite integers) of substructures of such that holds for each . We denote this line as and we say that a mapping is a valuation of the line in a line if it is, for each , a valuation of the triad in . Some theorems on an existence of...