Frobenius-Schur indicator: Difference between revisions
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