many-sorted structure
Let be a many-sorted language and the set of sorts. A many-sorted structure for , or simply an -structure consists of the following:
- 1.
for each sort , a non-empty set ,
- 2.
for each function symbol of sort type :
- –
if , a function
- –
if (constant symbol), an element
- –
- 3.
for each relation symbol of sort type , a relation
(or subset)
A many-sorted algebra is a many-sorted structure without any relations.
Remark. A many-sorted structure is a special case of a more general concept called a many-sorted interpretation, which consists all of items 1-3 above, as well as the following:
- 4.
an element for each variable of sort .
Examples.
- 1.
A left module over a ring can be thought of as a two-sorted algebra
(say, with sorts ), for there are
- –
there are two non-empty sets (corresponding to sort ) and (corresponding to sort ), where
- –
has the structure of an abelian group
(equipped with three operations
: , corresponding to function symbols of sort types , and )
- –
has the structure of a ring (equipped with at least four operations: , corresponding to function symbols of sort types and for and , and possibly a fifth operation of sort type )
- –
a function , which corresponds to a function symbol of sort type . Clearly, is the scalar multiplication on the module .
For a right module over a ring, one merely replaces the sort type of the last function symbol by the sort type .
- –
- 2.
A deterministic
semiautomaton is a two-sorted algebra, where
- –
and are non-empty sets, corresponding to sorts, say, and ,
- –
is a function corresponding to a function symbol of sort type .
- –
- 3.
A deterministic automaton is a two-sorted structure, where
- –
is a semiautomaton discussed earlier,
- –
is a constant corresponding to a nullary function symbol of sort type ,
- –
is a unary relation corresponding to a relation symbol of sort type .
Because is a relation, is not an algebra.
- –
- 4.
A complete sequential machine is a three-sorted algebra, where
- –
is a semiautomaton discussed earlier,
- –
is a non-empty sets, corresponding to sort, say, ,
- –
is a function corresponding to a function symbol of sort type .
- –
References
- 1 J. D. Monk, Mathematical Logic, Springer, New York (1976).