Name
Abstract | ||
|---|---|---|
For a finite set D of nodes let E2(D)={(x, y)∣x, y∈D, x≠y}. We define an inversive Δ2-structure g as a function gE2(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) σ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 E 2(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). |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1017/S0960129597002260 | Mathematical Structures in Computer Science |
Keywords | Field | DocType |
function ge2,2-structure g,free monoid,triangle word,property g,free invariants,finite set,corresponding inversive,set e,satisfiability | Discrete mathematics,Abelian group,Combinatorics,Finite set,Invariant (mathematics),Free monoid,Mathematics,Inversive | Journal |
Volume | Issue | Citations |
7 | 4 | 0 |
PageRank | References | Authors |
0.34 | 5 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| A. Ehrenfeucht | 1 | 1823 | 497.83 |
| Tero Harju | 2 | 714 | 106.10 |
| G. Rozenberg | 3 | 396 | 45.34 |