| http://www.w3.org/ns/prov#value | - Given a finite abelian group G, a point x in X(G), and a character s of G, we assume given a character, e_{x,s} of A_X. If f: G-> G' is a morphism and y belongs to X (G'), the following equality is supposed to be satisfied : e_{f(y),s}= e_{y , s \circ f} for any character s.An affine variety V over Z defines a gadget X over F_1 by letting X(G) be the set of points of V in the group algebra of G an
|
