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...

Full description

Saved in:
Bibliographic Details
Main Authors: Sarawut Phuapong, Sorasak Leeratanavalee
Format: Journal
Published: 2018
Subjects:
Online Access:https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=79961232057&origin=inward
http://cmuir.cmu.ac.th/jspui/handle/6653943832/50118
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Chiang Mai University
Description
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.