Outermost-Strongly Solid Variety of Commutative Semigroups

Sorasak Leeratanavalee


Identities are used to classify algebras into collections called varieties, hyperidentities are used to classify varieties into collections called hypervarieties. Hyperidentities have an interpretation in the theory of switching circuits and are also closely related to clone theory. The tool used to study hyperidentities is the concept of a hypersubstitution, see [2]. The generalized concept of a hypersubstitution is a generalized hypersubstitution. Generalized hypersubstitutions are mappings from the set of all fundamental operations into the set of all terms of the same language, which need not necessarily preserve the arities. Identities which are closed under generalized hypersubstitutions are called strong hyperidentities. A variety in whcih each of its identity is a strong hyperidentity is called strongly solid. In this paper we study a submonoid of the monoid of all generalized hypersubstitutions which is called the monoid of all outermost generalized hypersubstitutions and determine the greatest outermost-strongly solid variety of commutative semigroups.

Full Text: PDF


  • There are currently no refbacks.

The Thai Journal of Mathematics organized and supported by The Mathematical Association of Thailand and Thailand Research Council and the Center for Promotion of Mathematical Research of Thailand (CEPMART).

Copyright 2020 by the Mathematical Association of Thailand.

All rights reserve. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, without the prior permission of the Mathematical Association of Thailand.

|ISSN 1686-0209|