Group Theory In Computer Science