| http://www.w3.org/ns/prov#value | - Let G be an infinite group with no 2-torsion so that Aut(G) = G and H1(G;Z/2Z) = Z/2Z. (Edited: For example, by rigidity, any hyperbolic knot complement with no isometries has these properties; by Thurston, most knot complements are hyperbolic.) The condition on the 2-torsion implies that for any automorphism G x Z/2Z -> G x Z/2Z, the composition
|
