Non-modular implies class-determining

From Groupprops
Revision as of 02:09, 10 July 2011 by Vipul (talk | contribs) (Created page with "==Statement== Suppose <math>G</math> is a finite group and <math>K</math> is a field whose characteristic is either zero or a prime not dividing the order of <math>G</ma...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose G is a finite group and K is a field whose characteristic is either zero or a prime not dividing the order of G. Then, K is a Class-determining field (?) for G: given two representations φ1,φ2:GGL(n,K) such that φ1(g) is conjugate to φ2(g) for every gG, it is true that φ1 and φ2 are equivalent linear representations, i.e., there exists a matrix AGL(n,K) satisfying Aφ1(g)A1=φ2(g) for all gG.

Facts used

  1. Non-modular implies character-determining: This basically says that the character determines the representation.
  2. Character-determining implies class-determining: This says that if the character determines the representation, then knowing the conjugacy class of the image of every element suffices.

Proof

The proof follows from facts (1) and (2).