Definition:Finite Character (Class Theory)