| http://www.w3.org/ns/prov#value | - If this subgroup is full, then it is not hard to see that , so suppose instead that is isomorphic to the cyclic group of order N. We then apply the homomorphism , and observe that is a closed subgroup of whose fibres are a point, i.e. is a graph for some .
|
