Hostname: page-component-7b7567c8c-tnzcf Total loading time: 0 Render date: 2026-11-15T05:07:32.850Z Has data issue: false hasContentIssue false

Invariants of inversive 2-structures on groups of labels

Published online by Cambridge University Press:  01 August 1997

A. EHRENFEUCHT
Affiliation:
Department of Computer Science, University of Colorado at Boulder, Boulder, Co 80309, U.S.A.
T. HARJU
Affiliation:
Department of Mathematics, University of Turku, FIN-20014 Turku, Finland
G. ROZENBERG
Affiliation:
Department of Computer Science, University of Colorado at Boulder, Boulder, Co 80309, U.S.A.Department of Computer Science, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

For a finite set D of nodes let E2(D)={(x, y)[mid ]x, y∈D, x≠y}. We define an inversive Δ2-structure g as a function g[ratio ]E2(D)→Δ into a given group Δ satisfying the property g(x, y)=g(y, x)−1 for all (x, y)∈E2(D). For each function (selector) σ[ratio ]D→Δ there is a corresponding inversive Δ2-structure gσ defined by gσ(x, y)=σ(x)·g(x, y)·σ(y)−1. A function η mapping each g into the group Δ is called an invariant if η(gσ)=η(g) for all g and σ. We study the group of free invariants η of inversive Δ2-structures, where η is defined by a word from the free monoid with involution generated by the set E2(D). In particular, if Δ is abelian, the group of free invariants is generated by triangle words of the form (x0, x1)(x1, x2)(x2, x0).

Information

Type
Research Article
Copyright
1997 Cambridge University Press