Exceptional Character
   HOME

TheInfoList



OR:

In mathematical
finite group Finite is the opposite of infinite. It may refer to: * Finite number (disambiguation) * Finite set, a set whose cardinality (number of elements) is some natural number * Finite verb, a verb form that has a subject, usually being inflected or marked ...
theory, an exceptional character of a group is a
character Character or Characters may refer to: Arts, entertainment, and media Literature * ''Character'' (novel), a 1936 Dutch novel by Ferdinand Bordewijk * ''Characters'' (Theophrastus), a classical Greek set of character sketches attributed to The ...
related in a certain way to a character of a subgroup. They were introduced by , based on ideas due to Brauer in .


Definition

Suppose that ''H'' is a subgroup of a finite group ''G'', and ''C''1, ..., ''C''''r'' are some conjugacy classes of ''H'', and φ1, ..., φ''s'' are some irreducible characters of ''H''. Suppose also that they satisfy the following conditions: #''s'' ≥ 2 #φ''i'' = φ''j'' outside the classes ''C''1, ..., ''C''''r''''i'' vanishes on any element of ''H'' that is conjugate in ''G'' but not in ''H'' to an element of one of the classes ''C''1, ..., ''C''''r'' #If elements of two classes are conjugate in ''G'' then they are conjugate in ''H'' #The centralizer in ''G'' of any element of one of the classes ''C''1,...,''C''''r'' is contained in ''H'' Then ''G'' has ''s'' irreducible characters ''s''1,...,''s''''s'', called exceptional characters, such that the induced characters φ''i''* are given by :φ''i''* = ε''s''''i'' + ''a''(''s''1 + ... + ''s''''s'') + Δ where ε is 1 or −1, ''a'' is an integer with ''a'' ≥ 0, ''a'' + ε ≥ 0, and Δ is a character of ''G'' not containing any character ''s''''i''.


Construction

The conditions on ''H'' and ''C''1,...,''C''''r'' imply that induction is an isometry from generalized characters of ''H'' with support on ''C''1,...,''C''''r'' to generalized characters of ''G''. In particular if ''i''≠''j'' then (φ''i'' − φ''j'')* has norm 2, so is the difference of two characters of ''G'', which are the exceptional characters corresponding to φ''i'' and φ''j''.


See also

*
Dade isometry In mathematical finite group theory, the Dade isometry is an isometry from class function on a subgroup ''H'' with support on a subset ''K'' of ''H'' to class functions on a group ''G'' . It was introduced by as a generalization and simplificatio ...
*
Coherent set of characters In mathematical representation theory, coherence is a property of sets of characters that allows one to extend an isometry from the degree-zero subspace of a space of characters to the whole space. The general notion of coherence was developed by , ...


References

* * *{{Citation , last1=Suzuki , first1=Michio , author1-link=Michio Suzuki (mathematician) , title=On finite groups with cyclic Sylow subgroups for all odd primes , jstor=2372591 , mr=0074411 , year=1955 , journal=
American Journal of Mathematics The ''American Journal of Mathematics'' is a bimonthly mathematics journal published by the Johns Hopkins University Press. History The ''American Journal of Mathematics'' is the oldest continuously published mathematical journal in the United S ...
, issn=0002-9327 , volume=77 , issue=4 , pages=657–691 , doi=10.2307/2372591 Finite groups Representation theory