Hostname: page-component-848d4c4894-ndmmz Total loading time: 0 Render date: 2024-05-10T06:45:21.879Z 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

Abstract

For a finite set D of nodes let E2(D)={(x, y)[mid ] x, yD, xy}. 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)=σ(xg (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).

Type
Research Article
Copyright
1997 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)