Assertion: compact abelian group | /r/HasProperty | compact
Facets:
Source sentences:
text: A locally compact abelian group G is compact if and only if the dual group G ^ {\displaystyle {\widehat {G}}} G is discrete if and only if G ^ {\displaystyle {\widehat {G}}}