I have a group presentation, and I would like to see if it embeds into GL(2, Z). Now, to me this sounds like rep theory, which is something I know little (well, pretty much nothing) about. I'd rather not discuss the group in question, so I suppose my question can be asked in two parts,

How can one tell if a given group embeds into GL(2, Z)?

If a given group does embed, how would we find a representation?

For example, I know that embeds in GL(2, Z), and I was wondering how I would work out a representation? (I worked out a representation by finding it as a subgroup of , which is isomorphic to GL(2, Z)...but I think this is overly complicated...the subgroup is the one generated by the two automorphisms and , although one can take as the second one, and it wouldn't matter...this gives the representation generated by,

but, well, surely there is an easier way?...)