IJPAM: Volume 86, No. 4 (2013)

OF TYPE τ = (ni)i ∈ I

S. Jermjitpornchai1, N. Saengsura2
1,2Department of Mathematics
Faculty of Science
Mahasarakham University
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?
International Journal of Pure and Applied Mathematics
ISSN printed version: 1311-8080
ISSN on-line version: 1314-3395
Year: 2013
Volume: 86
Issue: 4