Assertion: abelian group's element | /r/HasProperty | chosen
Facets:
value: in selecting it
type: TEMPORAL
value: freely
type: MANNER
Source sentences:
text: One also sees that those p − 1 elements can be chosen freely, so X has |G|p−1 elements, which is divisible by p.
text: This element is called a coset leader and there may be some choice in selecting it.