Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: normal form term

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Hyperidentities in transitive graph algebras

100%

Poomsa-ard T., Wetweerapong J., Samartkoon C.

Discussiones Mathematicae - General Algebra and Applications

2005

tom 25

nr 1

23-37

Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies an identity s ≈ t if the corresponding graph algebra A(G) satisfies s ≈ t. A graph G = (V,E) is called a transitive graph if the corresponding graph algebra A(G) satisfies the equation x(yz) ≈ (xz)(yz). An identity s ≈ t of terms s and t of any type t is called a hyperidentity of an algebra A̲ if whenever the operation symbols occurring in s and t are replaced by any term operations of A of the appropriate arity, the resulting identities hold in A̲ . In this paper we characterize transitive graph algebras, identities and hyperidentities in transitive graph algebras.

Ograniczanie wyników

1 Discussiones Mathematicae - General Algebra and Applications

1 Poomsa-ard T.

1 Samartkoon C.

1 Wetweerapong J.

1 2005

Wyniki wyszukiwania

Hyperidentities in transitive graph algebras