Thompson groups: as far as I can tell, the short version is "Pick a statement you'd like to be true about finitely-generated groups. Then F is a counterexample" :-)

Gröbner bases: I don't understand these, but one of the pages I read about the K-B algorithm mentioned that there was a connection. Sounds like I should find out about them, too...