GENERALIZED DIRECT DECOMPOSITIONS OF BASIC UNARY ALGEBRAS.
Abstract
A representation of a unary algebra (complete transition graph) as homomorphic image of a subdirect product is called a generalized direct decomposition. A preceding report (AD-630 304) derived necessary and sufficient conditions for a unary algebra to be indecomposable, i.e. to have only trivial generalized direct decompositions. This report describes computational techniques for obtaining all generalized direct decompositions of a given connected unary algebra with cycle length 1 (basic algebra) into indecomposable factors. The canonical expressions for transition graphs introduced earlier (AD-463 300) play an important role in this connection. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 15, 1966
- Accession Number
- AD0637709
Entities
People
- Michael Yoeli
Organizations
- SRI International