Template:Ring of realization facts to check against
TERMINOLOGY AND FACTS TO CHECK AGAINST:
Terminology: ring generated by character values | minimal ring of realization of irreducible representations
Facts: linear representation is realizable over principal ideal domain iff it is realizable over field of fractions