IJPAM: Volume 86, No. 4 (2013)
OF TYPE τ = (ni)i ∈ I
1,2Department of Mathematics
Faculty of Science
Mahasarakham, 44150, THAILAND
Abstract. Generalized cohypersubstitutions of type τ = (ni)i ∈ I are mappings which send the ni-ary operation symbols to coterms of type τ. Coidentities which are closed under these generalized cohypersubstitutions are called generalized cohyperidentities and a covariety is said to be generalized solid if every coidentity in it is a generalized cohyperidentity. These concepts were introduced in this study and the results show that the lattice of all generalized solid classes form a complete sublattice of the lattice of all coalgebras of type τ.
Received: June 1, 2013
AMS Subject Classification: 03C04, 20M99
Key Words and Phrases: coterms, superpositions, cohypersubstitutions, generalized cohypersubstitutions
Download paper from here.
DOI: 10.12732/ijpam.v86i4.12 How to cite this paper?
Source: International Journal of Pure and Applied Mathematics
ISSN printed version: 1311-8080
ISSN on-line version: 1314-3395