Question Is true that if all real conjugacy classes of a finite group are strongly real, then all its real irreducible representations (irreps) are "strongly real"(symmetric) ? And vice verse ?
Definitions: Irrep is called real if its Frobenius Schur indicator is either +1 or -1, but not 0. Irrep is called "symmetric" ("orthogonal" ("strongly real")) if it has FS-indicator +1, which is equivalent that it is possible to realize it over real numbers.
The conjugacy class is called "real" if g-> g^{-1} preserves it. It is called "strongly real" if it is product of two involutions.
Context It is known that number of real conjugacy classes is the same as number of real irreps. A. Knutson's asked MO: Are there “real” vs. “quaternionic” conjugacy classes in finite groups?, i.e. whether it is possible to split "real" conjugacy classes in two subclasses such that they will correspond to splitting of irreps. Tim Dokchitser answered that no such splitting may exist in general which will be automorphism covariant....
The question above is weakening the A. Knutson's question.
Actually it has been asked explicitly in the paper Real Elements and Schur Indices of a Group, Amit Kulshrestha, Anupam Singh, arxiv 2011 04.
Where the authors present some positive evidences for the question above, however their examples do not cover GAP's SmallGroups List...
SubQuestion How difficult to check this in GAP ? (I just installed it, but never played).
