Main Page: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older edit
No edit summary
No edit summary
 
(414 intermediate revisions by more than 100 users not shown)
Line 1: Line 1:
{{refimprove|date=May 2010}}
This is a preview for the new '''MathML rendering mode''' (with SVG fallback), which is availble in production for registered users.
{{main|Character theory}}
In [[group theory]], a branch of [[abstract algebra]], a '''character table''' is a two-dimensional table whose rows correspond to irreducible [[group representation]]s, and whose columns correspond to conjugacy classes of group elements.  The entries consist of [[character theory|character]]s, the [[trace (linear algebra)|trace]] of the matrices representing group elements of the column's class in the given row's group representation.  


In [[chemistry]], [[crystallography]], and [[spectroscopy]], [[List of character tables for chemically important 3D point groups|character tables of point groups]] are used to classify ''e.g.'' molecular vibrations according to their symmetry, and to predict whether a transition between two states is forbidden for symmetry reasons.
If you would like use the '''MathML''' rendering mode, you need a wikipedia user account that can be registered here [[https://en.wikipedia.org/wiki/Special:UserLogin/signup]]
* Only registered users will be able to execute this rendering mode.
* Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.


==Definition and example==
Registered users will be able to choose between the following three rendering modes:
The irreducible complex characters of a [[finite group]] form a '''character table''' which encodes much useful information about the [[group (mathematics)|group]] ''G'' in a compact form.  Each row is labelled by an [[irreducible character]] and the entries in the row are the values of that character on the representatives of the respective [[conjugacy class]] of ''G'' (because characters are [[class function]]s). The columns are labelled by (representatives of) the conjugacy classes of ''G''. It is customary to label the first row by the trivial character, and the first column by (the conjugacy class of) the [[identity element|identity]]. The entries of the first column are the values of the irreducible characters at the identity, the [[Degree of a character|degree]]s of the irreducible characters. Characters of degree ''1'' are known as '''linear characters'''.


Here is the character table of ''C''<sub>3</sub> = ''<nowiki><u></nowiki>'', the cyclic group with three elements and generator ''u'':
'''MathML'''
:<math forcemathmode="mathml">E=mc^2</math>


{| class="wikitable"
<!--'''PNG''' (currently default in production)
|-
:<math forcemathmode="png">E=mc^2</math>
|&nbsp;
|(1)
|(u)
|(u<sup>2</sup>)
|-
|'''1'''
|1
|1
|1
|-
|χ<sub>1</sub>
|1
|ω
|ω<sup>2</sup>
|-
|χ<sub>2</sub>
|1
|ω<sup>2</sup>
|ω
|-
|}


where ω is a primitive third root of unity. The character table for general cyclic groups is the [[DFT matrix]].
'''source'''
:<math forcemathmode="source">E=mc^2</math> -->


The first row of the character table always consists of 1s, and corresponds to the '''[[trivial representation]]''' (the 1-dimensional representation consisting of 1&times;1 matrices containing the entry 1). Further, the character table is always square because (1) irreducible characters are pairwise orthogonal, and (2) no other non-trivial class function is orthogonal to every character. This is tied to the important fact that the irreducible representations of a finite group ''G'' are in bijection with its conjugacy classes. This bijection also follows by showing that the class sums form a basis for the center of the group algebra of ''G'', which has dimension equal to the number of irreducible representations of ''G''.  
<span style="color: red">Follow this [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering link] to change your Math rendering settings.</span> You can also add a [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering-skin Custom CSS] to force the MathML/SVG rendering or select different font families. See [https://www.mediawiki.org/wiki/Extension:Math#CSS_for_the_MathML_with_SVG_fallback_mode these examples].


==Orthogonality relations==
==Demos==
{{Main|Schur orthogonality relations}}
The space of complex-valued class functions of a finite group G has a natural inner-product:


:<math>\left \langle \alpha, \beta\right \rangle := \frac{1}{ \left | G \right | }\sum_{g \in G} \alpha(g) \overline{\beta(g)}</math>
Here are some [https://commons.wikimedia.org/w/index.php?title=Special:ListFiles/Frederic.wang demos]:


where <math>\overline{\beta(g)}</math> means the complex conjugate of the value of <math>\beta</math> on ''g''.  With respect to this inner product, the irreducible characters form an orthonormal basis
for the space of class-functions, and this yields the orthogonality relation for the rows of the character
table:


:<math>\left \langle \chi_i, \chi_j \right \rangle  = \begin{cases} 0  & \mbox{ if } i \ne j, \\ 1 & \mbox{ if } i = j. \end{cases}</math>
* accessibility:
** Safari + VoiceOver: [https://commons.wikimedia.org/wiki/File:VoiceOver-Mac-Safari.ogv video only], [[File:Voiceover-mathml-example-1.wav|thumb|Voiceover-mathml-example-1]], [[File:Voiceover-mathml-example-2.wav|thumb|Voiceover-mathml-example-2]], [[File:Voiceover-mathml-example-3.wav|thumb|Voiceover-mathml-example-3]], [[File:Voiceover-mathml-example-4.wav|thumb|Voiceover-mathml-example-4]], [[File:Voiceover-mathml-example-5.wav|thumb|Voiceover-mathml-example-5]], [[File:Voiceover-mathml-example-6.wav|thumb|Voiceover-mathml-example-6]], [[File:Voiceover-mathml-example-7.wav|thumb|Voiceover-mathml-example-7]]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-Audio-Windows7-InternetExplorer.ogg Internet Explorer + MathPlayer (audio)]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-SynchronizedHighlighting-WIndows7-InternetExplorer.png Internet Explorer + MathPlayer (synchronized highlighting)]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-Braille-Windows7-InternetExplorer.png Internet Explorer + MathPlayer (braille)]
** NVDA+MathPlayer: [[File:Nvda-mathml-example-1.wav|thumb|Nvda-mathml-example-1]], [[File:Nvda-mathml-example-2.wav|thumb|Nvda-mathml-example-2]], [[File:Nvda-mathml-example-3.wav|thumb|Nvda-mathml-example-3]], [[File:Nvda-mathml-example-4.wav|thumb|Nvda-mathml-example-4]], [[File:Nvda-mathml-example-5.wav|thumb|Nvda-mathml-example-5]], [[File:Nvda-mathml-example-6.wav|thumb|Nvda-mathml-example-6]], [[File:Nvda-mathml-example-7.wav|thumb|Nvda-mathml-example-7]].
** Orca: There is ongoing work, but no support at all at the moment [[File:Orca-mathml-example-1.wav|thumb|Orca-mathml-example-1]], [[File:Orca-mathml-example-2.wav|thumb|Orca-mathml-example-2]], [[File:Orca-mathml-example-3.wav|thumb|Orca-mathml-example-3]], [[File:Orca-mathml-example-4.wav|thumb|Orca-mathml-example-4]], [[File:Orca-mathml-example-5.wav|thumb|Orca-mathml-example-5]], [[File:Orca-mathml-example-6.wav|thumb|Orca-mathml-example-6]], [[File:Orca-mathml-example-7.wav|thumb|Orca-mathml-example-7]].
** From our testing, ChromeVox and JAWS are not able to read the formulas generated by the MathML mode.


For <math>g, h \in G</math> the orthogonality relation for columns is as follows:
==Test pages ==


:<math>\sum_{\chi_i} \chi_i(g) \overline{\chi_i(h)} = \begin{cases} \left | C_G(g) \right |, & \mbox{ if } g, h \mbox{ are conjugate } \\ 0 & \mbox{ otherwise.}\end{cases}</math>
To test the '''MathML''', '''PNG''', and '''source''' rendering modes, please go to one of the following test pages:
*[[Displaystyle]]
*[[MathAxisAlignment]]
*[[Styling]]
*[[Linebreaking]]
*[[Unique Ids]]
*[[Help:Formula]]


where the sum is over all of the irreducible characters <math>\chi_i</math> of ''G'' and the symbol <math>\left | C_G(g) \right |</math> denotes the order of the centralizer of <math>g</math>.
*[[Inputtypes|Inputtypes (private Wikis only)]]
 
*[[Url2Image|Url2Image (private Wikis only)]]
The orthogonality relations can aid many computations including:
==Bug reporting==
* Decomposing an unknown character as a linear combination of irreducible characters.
If you find any bugs, please report them at [https://bugzilla.wikimedia.org/enter_bug.cgi?product=MediaWiki%20extensions&component=Math&version=master&short_desc=Math-preview%20rendering%20problem Bugzilla], or write an email to math_bugs (at) ckurs (dot) de .
* Constructing the complete character table when only some of the irreducible characters are known.
* Finding the orders of the centralizers of representatives of the conjugacy classes of a group.
* Finding the order of the group.
 
==Properties==
Complex conjugation acts on the character table: since the complex conjugate of a representation is again a representation, the same is true for characters, and thus a character that takes on non-trivial complex values has a conjugate character.
 
Certain properties of the group ''G'' can be deduced from its character table:
 
* The order of ''G'' is given by the sum of the squares of the entries of the first column (the degrees of the irreducible characters). (See [[Representation theory of finite groups#Applying Schur's lemma]].) More generally, the sum of the squares of the absolute values of the entries in any column gives the order of the centralizer of an element of the corresponding conjugacy class.
*All normal subgroups of ''G'' (and thus whether or not ''G'' is simple) can be recognised from its character table. The [[kernel (linear algebra)|kernel]] of a character χ is the set of elements ''g'' in ''G'' for which χ(g) = χ(1); this is a normal subgroup of ''G''. Each normal subgroup of ''G'' is the intersection of the kernels of some of the irreducible characters of ''G''.
*The derived subgroup of ''G'' is the intersection of the kernels of the linear characters of ''G''. In particular, ''G'' is Abelian if and only if all its irreducible characters are linear.
*It follows, using some results of [[Richard Brauer]] from [[modular representation theory]], that the prime divisors of the orders of the elements of each conjugacy class of a finite group can be deduced from its character table (an observation of [[Graham Higman]]).
 
The character table does not in general determine the group [[up to]] [[group isomorphism|isomorphism]]: for example, the [[quaternion group]] ''Q'' and the [[dihedral group]] of 8 elements (''D''<sub>4</sub>) have the same character table. Brauer asked whether the character table, together with the knowledge of how the powers of elements of its conjugacy classes are distributed, determines a finite group up to isomorphism. In 1964, this was answered in the negative by [[E. C. Dade]].
 
The linear characters form a [[character group]], which has important [[number theory|number theoretic]] connections.
 
== Outer automorphisms ==
The [[outer automorphism]] group acts on the character table by permuting columns (conjugacy classes) and accordingly rows, which gives another symmetry to the table. For example, abelian groups have the outer automorphism <math>g \mapsto -g,</math> which is non-trivial except for [[elementary abelian group|elementary abelian 2-groups]], and outer because abelian groups are precisely those for which conjugation (inner automorphisms) acts trivially. In the example of <math>C_3</math> above, this map sends <math>u \mapsto u^2, u^2 \mapsto u,</math> and accordingly switches <math>\chi_1</math> and <math>\chi_2</math> (switching their values of <math>\omega</math> and <math>\omega^2</math>). Note that this particular automorphism (negative in abelian groups) agrees with complex conjugation.
 
Formally, if <math>\phi\colon G \to G</math> is an automorphism of ''G'' and <math>\rho \colon G \to \operatorname{GL}</math> is a representation, then <math>\rho^\phi := g \mapsto \rho(\phi(g))</math> is a representation. If <math>\phi = \phi_a</math> is an [[inner automorphism]] (conjugation by some element ''a''), then it acts trivially on representations, because representations are class functions (conjugation does not change their value). Thus a given class of outer automorphisms, it acts on the characters – because inner automorphisms act trivially, the action of the automorphism group Aut descends to the quotient Out.
 
This relation can be used both ways: given an outer automorphism, one can produce new representations (if the representation is not equal on conjugacy classes that are interchanged by the outer automorphism), and conversely, one can restrict possible outer automorphisms based on the character table.
 
==References==
* {{cite book|last=Isaacs|first=I. Martin|title=Character Theory of Finite Groups|date=1976|publisher=Dover}}
* {{MathWorld|title=Character Table|urlname=CharacterTable|author=Rowland, Todd; Weisstein, Eric W}}
 
{{DEFAULTSORT:Character Table}}
[[Category:Group theory]]

Latest revision as of 22:52, 15 September 2019

This is a preview for the new MathML rendering mode (with SVG fallback), which is availble in production for registered users.

If you would like use the MathML rendering mode, you need a wikipedia user account that can be registered here [[1]]

  • Only registered users will be able to execute this rendering mode.
  • Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.

Registered users will be able to choose between the following three rendering modes:

MathML

E=mc2


Follow this link to change your Math rendering settings. You can also add a Custom CSS to force the MathML/SVG rendering or select different font families. See these examples.

Demos

Here are some demos:


Test pages

To test the MathML, PNG, and source rendering modes, please go to one of the following test pages:

Bug reporting

If you find any bugs, please report them at Bugzilla, or write an email to math_bugs (at) ckurs (dot) de .

Retrieved from "https://en.formulasearchengine.com/index.php?title=Main_Page&oldid=329754"