In mathematics, specifically abstract algebra, if
is an (abelian) group with identity element
if: An alternative, stronger definition of a norm on
is discrete if there is some real number
An abelian group is a free abelian group if and only if it has a discrete norm.
This group theory-related article is a stub.
You can help Wikipedia by expanding it.