## Monday, March 01, 2010

### Applied Algebra

By algebra I don't mean the usual groups, rings, fields, vector spaces etc of a mathematics course. Algebra is much more general, and involves considering the operations on things, and of course equations between these operations.

In applying algebraic ideas to a new field the first problem is to decide what are the basic operations. You don't see this problem in a classical algebra course because the operations of symmetries (groups), quantities (rings, and fields) have long since been clarified. In a new field the choice is very difficult and a bad choice leads to endless complication and confusion.

I have written about this in earlier posts: the parallel operation on processes seems to me to be misguided; the operations on relations in the algebra called "allegories" also seems to me to be misguided. I have suggested alternatives.

Here is another example from the book by Ferenc Gecseg on Products of Automata (Monographs in Theoretical Computer Science, An EATCS Series). A sequential machine has a set of states A, an input alphabet X and an output alphabet Y. It has also a transition function AxX->A and an output function AxX->Y. Now Gecseg defines a "product of sequential machines" as follows: