This thesis investigates the structure and properties of hyperbolic 3-manifold groups (particularly knot and link groups) and arithmetic Kleinian groups. In Chapter 2, we establish a stronger version of a conjecture of A. Reid and others in the arithmetic case: if two elements of equal trace (e.g., conjugate elements) generate an arithmetic two-bridge knot or link group, then the elements are parabolic (and hence peripheral). In Chapter 3, we identify all Kleinian groups that can be generated by two elements for which equality holds in Jørgensen’s Inequality in two cases: torsion-free Kleinian groups and non-cocompact arithmetic Kleinian groups. / text