Discrete Group Theory for Condensed Matter Physics