Identities in (x(yz))z with Opposite Loop and Reverse Arc Graph Varieties of Type (2,0)

Amporn Anantpinitwatna, Tiang Poomsa-ard


Graph algebrasestablish a connection between directed graphs without multipleedges and special universal algebras of type (2,0). We say that agraph $G$ satisfies a term equation $s \approx t$ if thecorresponding graph algebra $\underline{A(G)}$ satisfies $s \approxt$. A class of graph algebras $\mathcal{V}$ is called a graphvariety if $\mathcal{V} = Mod \Sigma$ where $\Sigma$ is a subset of$T(X) \times T(X)$. A term equation $s \approx t$ is called anidentity in a graph variety $V$ if $G$ satisfies $s \approx t$ forall $G\in \mathcal{V}$. A graph variety $\mathcal{V'} =Mod\Sigma^{'}$ is called an $(x(yz))z$ with opposite loop andreverse arc graph variety if $\Sigma^{'}$ is a set of $(x(yz))z$with opposite loop and reverse arc term equations. In this paper wecharacterize identities in each (x(yz))z with opposite loop andreverse arc graph variety.

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|