Assertion: abelian group's basis | /r/HasProperty | given
Facets:
Source sentences:
text: One basis for 𝖘𝖚(2) is given by