Loading...
Please wait, while we are loading the content...
Similar Documents
Term Rewriting Systems
| Content Provider | Scilit |
|---|---|
| Author | Denecke, Klaus Wismath, Shelly L. |
| Copyright Year | 2018 |
| Description | When a relation 0 is a congruence relation on an algebra A of type T, we can form the quotient algebra A/0. The Homomorphic Image Theorem tells us that any homomorphic image of an algebra A is isomorphic to such a quotient algebra of A. Another important use of the quotient algebra was seen in Section 6.4: taking A to be the absolutely free algebra T,-(X) of type T and 0 to be the set IdK of identities of a class K of algebras of type T, we formed the quotient algebra .F.,-(X)1IdK, called the relatively free algebra with respect to K over the set X. Book Name: Universal Algebra and Applications in Theoretical Computer Science |
| Related Links | https://content.taylorfrancis.com/books/download?dac=C2006-0-13519-4&isbn=9781315273686&doi=10.1201/9781315273686-17&format=pdf |
| Ending Page | 129 |
| Page Count | 3 |
| Starting Page | 127 |
| DOI | 10.1201/9781315273686-17 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 2018-10-03 |
| Access Restriction | Open |
| Subject Keyword | Book Name: Universal Algebra and Applications in Theoretical Computer Science Algebras of Type Formed the Quotient Form the Quotient Algebra |
| Content Type | Text |
| Resource Type | Chapter |