G and is therefore abelian.

Other properties:
*every discrete group is totally disconnected
*every subgroup of a discrete group is discrete.
*every quotient of a discrete group is discrete.
*the product of a finite number of discrete groups is discrete.
*a discrete group is compact if and only if it is finite.
*every discrete group is locally compact.