consider the following statement: if $g$ is a finitely generated group, and all elements of $g$ have finite order, then $g$ is a finite group. is it true? nope. we'll construct a counterexample (the grigorchuk group), and then talk a little about the properties and representations of any such counterexample.