Frobenius-Schur indicator: Difference between revisions

From Groupprops
No edit summary
 
(2 intermediate revisions by the same user not shown)
Line 11: Line 11:
where <math>x</math> varies over a collection of conjugacy class representatives and <math>C_G(x)</math> denotes the [[centralizer]] of <math>x</math> in <math>G</math>.
where <math>x</math> varies over a collection of conjugacy class representatives and <math>C_G(x)</math> denotes the [[centralizer]] of <math>x</math> in <math>G</math>.


Equivalently, <math>ind(\alpha)</math> is the inner product of <math>\alpha</math> and the [[indicator character]].
Equivalently, <math>\operatorname{ind}(\alpha)</math> is the inner product of <math>\alpha</math> and the [[indicator character]].
 
==Particular cases==
 
===Examples where the Frobenius-Schur indicator is -1===
 
{| class="sortable" border="1"
! Representation !! Computation of Frobenius-Schur indicator (section) !! Group !! Information on linear representation theory
|-
| [[faithful irreducible representation of quaternion group]] || [[faithful irreducible representation of quaternion group#Frobenius-Schur indicator]] || [[quaternion group]] || [[linear representation theory of quaternion group]]
|-
| [[quaternionic representation of special linear group:SL(2,3)]] || [[quaternionic representation of special linear group:SL(2,3)#Frobenius-Schur indicator]] || [[special linear group:SL(2,3)]] || [[linear representation theory of special linear group:SL(2,3)]]
|}


==Facts==
==Facts==
Line 21: Line 33:
If <math>\chi</math> is an the character of an irreducible representation, then <math>\operatorname{ind}(\chi)</math> is either 0, +1, or -1:
If <math>\chi</math> is an the character of an irreducible representation, then <math>\operatorname{ind}(\chi)</math> is either 0, +1, or -1:


* <math>ind(\chi) = +1</math> if and only if <math>\chi</math> is the character of a representation over <math>\R</math>
* <math>\operatorname{ind}(\chi) = +1</math> if and only if <math>\chi</math> is the character of a representation over <math>\R</math>
* <math>ind(\chi) = -1</math> if and only if <math>\chi</math> is a real-valued character, but cannot be realized as the character of a real representation
* <math>\operatorname{ind}(\chi) = -1</math> if and only if <math>\chi</math> is a real-valued character, but cannot be realized as the character of a real representation
* <math>ind(\chi) = 0</math> if and only if some value of <math>\chi</math> is non-real
* <math>\operatorname{ind}(\chi) = 0</math> if and only if some value of <math>\chi</math> is non-real

Latest revision as of 21:11, 18 July 2011

Definition

Let be a finite group and a character or virtual character of . The Frobenius-Schur indicator of is the value:

Equivalently:

where varies over a collection of conjugacy class representatives and denotes the centralizer of in .

Equivalently, is the inner product of and the indicator character.

Particular cases

Examples where the Frobenius-Schur indicator is -1

Representation Computation of Frobenius-Schur indicator (section) Group Information on linear representation theory
faithful irreducible representation of quaternion group faithful irreducible representation of quaternion group#Frobenius-Schur indicator quaternion group linear representation theory of quaternion group
quaternionic representation of special linear group:SL(2,3) quaternionic representation of special linear group:SL(2,3)#Frobenius-Schur indicator special linear group:SL(2,3) linear representation theory of special linear group:SL(2,3)

Facts

For irreducible characters

Further information: Indicator theorem

If is an the character of an irreducible representation, then is either 0, +1, or -1:

  • if and only if is the character of a representation over
  • if and only if is a real-valued character, but cannot be realized as the character of a real representation
  • if and only if some value of is non-real