Preserving of ideals on generalized induced algebras
Substituting for the fundamental operations of an algebra term operations, we get a new algebra of the same type, called a generalized derived algebra. Such substitutions are called generalized hypersubstitutions. Generalized hypersubstitutions can also be applied to every equation of a fully invari...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2014
|
| Online Access: | http://www.scopus.com/inward/record.url?eid=2-s2.0-79961232057&partnerID=40&md5=0e8f05614f23c996c6a499c18906b875 http://cmuir.cmu.ac.th/handle/6653943832/6481 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Chiang Mai University |
| Language: | English |
| Summary: | Substituting for the fundamental operations of an algebra term operations, we get a new algebra of the same type, called a generalized derived algebra. Such substitutions are called generalized hypersubstitutions. Generalized hypersubstitutions can also be applied to every equation of a fully invariant equational theory. The equational theory generated by the resulting set of the equations induces on every algebra of the type under consideration a fully invariant congruence relation. If we factorize the generalized derived algebra by this fully invariant congruence relation, then we will obtain an algebra which we call a generalized induced algebra. In this paper, we use a generalization of the concept of an ideal to a universal algebra and ask for the properties of in the algebra Aσ induced by the generalized hypersubstitution σ. © 2011 Pushpa Publishing House. |
|---|