The permutation group induced on a moiety.
Let V be a finite vertex set and let (, +) be a finite abelian group. An -labeled and reversible 2-structure defined on V is a function g : (V × V) (v, v) : v ∈ V → such that for distinct u, v ∈ V, g(u, v) = −g(v, u). The set of -labeled and reversible 2-structures defined on V is denoted by ℒ(V, ). Given g ∈ ℒ(V, ), a subset X of V is a clan of g if for any x, y ∈ X and v ∈ V X, g(x, v) = g(y, v). For example, ∅, V and v (for v ∈ V) are clans of g, called trivial. An element g of ℒ(V, ) is primitive...
Page 1