MULTI-VALUED HOMOMORPHIC MAPPINGS AND SUBDIRECT COVERS OF PARTIAL ALGEBRAS.

Abstract

A partial algebra is subdirectly covered, if it is represented as homomorphic image if a subdirect product, subject to certain uniqueness restrictions. A complete characterization of such representations is obtained in this paper. As important tool of this research the concept of 'weak homomorphism' is introduced. This is an extension of the usual concept of (partial) homomorphism to multi-valued mappings. Well-known results on homomorphisms are generalized accordingly. The approach and methods of this research originated in a study of automata decompositions and the results are applicable to the synthesis of automata (sequential machines). (Author)

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1964
Accession Number
AD0605649

Entities

People

  • Michael Yoeli

Organizations

  • University of Wisconsin–Madison

Tags

DTIC Thesaurus Topics

  • Automata
  • Decomposition
  • Machines

Fields of Study

  • Mathematics

Readers

  • Graph Algorithms and Convex Optimization.
  • Systems Analysis and Design