| http://www.w3.org/ns/prov#value | - But it is amusing to see that in fact what I wrote is correct in all cases: if is a subgroup of an arbitrary group and satisfies , then in fact : taking the inverse of the inclusion gives I find this interesting because, when it comes to the normalizer, the analogue of this fact is not true: the condition is not, in general, equivalent with .
|
