• Kyungpook Mathematical Journal
• /
• v.45 no.1
• /
• pp.33-43
• /
• 2005

Clones are sets of operations which are closed under composition and contain all projections. Identities of clones of term operations of a given algebra correspond to hyperidentities of this algebra, i.e., to identities which are satisfied after any replacements of fundamental operations by derived operations ([7]). If any identity of an algebra is satisfied as a hyperidentity, the algebra is called solid ([3]). Solid algebras correspond to free clones. These connections will be extended to so-called generalized clones, to strong hyperidentities and to strongly solid varieties. On the basis of a generalized superposition operation for terms we generalize the concept of a unitary Menger algebra of finite rank ([6]) to unitary Menger algebras with infinitely many nullary operations and prove that strong hyperidentities correspond to identities in free unitary Menger algebras with infinitely many nullary operations.

• Kyungpook Mathematical Journal
• /
• v.61 no.2
• /
• pp.223-237
• /
• 2021

Let n be a fixed natural number. Menger algebras of rank n can be regarded as a canonical generalization of arbitrary semigroups. This paper is concerned with studying algebraic properties of Menger algebras of rank n by first defining a special class of full n-place functions, the so-called a left translation, which possess necessary and sufficient conditions for an (n + 1)-groupoid to be a Menger algebra of rank n. The isomorphism parts begin with introducing the concept of homomorphisms, and congruences in Menger algebras of rank n. These lead us to establish a quotient structure consisting a nonempty set factored by such congruences together with an operation defined on its equivalence classes. Finally, the fundamental homomorphism theorem and isomorphism theorems for Menger algebras of rank n are given. As a consequence, our results are significant in the study of algebraic theoretical Menger algebras of rank n. Furthermore, we extend the usual notions of ordinary semigroups in a natural way.