Infinite group (source code)

= Infinite group

An infinite group is a <group> with infinitely many elements. An element of infinite order proves that its group is infinite, but the converse need not hold: an infinite group can have all elements of finite order.