Frobenius-Schur indicator: Difference between revisions
| (4 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
Let <math>G</math> be a [[finite group]] and <math>\alpha</math> a [[character]] or [[virtual character]] of <math>G</math>. The '''Frobenius-Schur indicator''' of <math>\alpha</math> is the value: | Let <math>G</math> be a [[finite group]] and <math>\alpha</math> a [[character]] or [[virtual character]] of <math>G</math>. The '''Frobenius-Schur indicator''' of <math>\alpha</math> is the value: | ||
<math>ind(\alpha) = \sum_{x \in G} \alpha(x^2)/|G|</math> | <math>\operatorname{ind}(\alpha) = \sum_{x \in G} \alpha(x^2)/|G|</math> | ||
Equivalently: | Equivalently: | ||
<math>ind(\alpha) = \sum \alpha(x^2)/|C_G(x)|</math> | <math>\operatorname{ind}(\alpha) = \sum \alpha(x^2)/|C_G(x)|</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>. | 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 19: | Line 31: | ||
{{further|[[Indicator theorem]]}} | {{further|[[Indicator theorem]]}} | ||
If <math>\chi</math> is an | 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