|
|
| (16 intermediate revisions by one other user not shown) |
| Line 1: |
Line 1: |
| {{group-specific information|
| | #redirect [[Linear representation theory of modular maximal-cyclic group:M16]] |
| information type = linear representation theory|
| |
| group = M16|
| |
| connective = of}}
| |
| | |
| This article discusses the linear representation theory of the group [[M16]], a group of order 16 given by the [[presentation]]:
| |
| | |
| <math>G = M_{16} := \langle a,x \mid a^8 = x^2 = e, xax^{-1} = a^5 \rangle</math>
| |
| | |
| ==Summary==
| |
| | |
| {| class="sortable" border="1"
| |
| ! Item !! Value
| |
| |-
| |
| | [[degrees of irreducible representations]] over a [[splitting field]] (such as <math>\overline{\mathbb{Q}}</math> or <math>\mathbb{C}</math>) || 1,1,1,1,1,1,1,1,2,2 (1 occurs 8 times, 2 occurs 2 times)<br>[[maximum degree of irreducible representation|maximum]]: 2, [[lcm of degrees of irreducible representations|lcm]]: 2, [[number of irreducible representations equals number of conjugacy classes|number]]: 10, [[sum of squares of degrees of irreducible representations equals order of group|sum of squares]]: 16
| |
| |-
| |
| | [[Schur index]] values of irreducible representations || 1 (all of them)
| |
| |-
| |
| | smallest ring of realization (characteristic zero) || <math>\mathbb{Z}[i] = \mathbb{Z}[\sqrt{-1}] = \mathbb{Z}[t]/(t^2 + 1)</math> -- [[ring of Gaussian integers]]
| |
| |-
| |
| | [[ring generated by character values]] (characteristic zero) || <math>\mathbb{Z}[2i] = \mathbb{Z}[\sqrt{-4}] = \mathbb{Z}[t]/(t^2 + 4)</math>
| |
| |-
| |
| | [[minimal splitting field]], i.e., smallest field of realization (characteristic zero) || <math>\mathbb{Q}(i) = \mathbb{Q}(\sqrt{-1}) = \mathbb{Q}[t]/(t^2 + 1)</math><br>Same as [[field generated by character values]], because all Schur index values are 1.
| |
| |-
| |
| | condition for a field to be a [[splitting field]] || The characteristic should not be equal to 2, and the polynomial <math>t^2 + 1</math> should split.<br>For a finite field of size <math>q</math>, this is equivalent to saying that <math>q \equiv 1 \pmod 4</math>
| |
| |-
| |
| | [[minimal splitting field]] in characteristic <math>p \ne 0,2</math> || Case <math>p \equiv 1 \pmod 4</math>: prime field <math>\mathbb{F}_p</math><br>Case <math>p \equiv 3 \pmod 4</math>: Field <math>\mathbb{F}_{p^2}</math>, quadratic extension of prime field
| |
| |-
| |
| | smallest size splitting field || [[Field:F5]], i.e., the field with five elements.
| |
| |-
| |
| | degrees of irreducible representations over the rational numbers || 1,1,1,1,1,1,1,1,4 (1 occurs 8 times, 4 occurs 1 time)
| |
| |}
| |
| | |
| ==Character table==
| |
| | |
| {{character table facts to check against}}
| |
| | |
| Below is the character table over a [[splitting field]]. Here <math>i</math> denotes a square root of <matH>-1</math> in the field.
| |
| | |
| {| class="sortable" border="1"
| |
| ! Representation/conjugacy class and size !! <math>\{ e \}</math> (size 1) !! <math>\{ a^4 \}</math> (size 1) !! <math>\{ a^2 \}</math> (size 1) !! <math>\{ a^6 \}</math> (size 1) !! <math>\{ a, a^5 \}</math> (size 2) !! <math>\{ a^3, a^7 \}</math> (size 2) !! <math>\{ ax, a^5x \}</math> (size 2) !! <math>\{ a^3x, a^7x \}</math> (size 2) !! <math>\{ x, a^4x\}</math> (size 2) !! <math>\{ a^2x, a^6x \}</math> (size 2)
| |
| |-
| |
| | trivial || 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1
| |
| |-
| |
| | <math>\langle a \rangle</math>-kernel || 1 || 1 || 1 || 1 || 1 || 1 || -1 || -1 || -1 || -1
| |
| |-
| |
| | <math>\langle ax \rangle</math>-kernel || 1 || 1 || 1 || 1 || -1 || -1 || 1 || 1 || -1 || -1
| |
| |-
| |
| | <math>\langle a^2,x \rangle</math>-kernel || 1 || 1 || 1 || 1 || -1 || -1 || -1 || -1 || 1 || 1
| |
| |-
| |
| | <math>\langle a^2x \rangle</math>-kernel (first) || 1 || 1 || -1 || -1 || <math>i</math> || <math>-i</math> || <math>-i</math> || <math>i</math> || -1 || 1
| |
| |-
| |
| | <math>\langle a^2x \rangle</math>-kernel (second) || 1 || 1 || -1 || -1 || <math>-i</math> || <math>i</math> || <math>i</math> || <matH>-i</math> || -1 || 1
| |
| |-
| |
| | <math>\langle a^4,x \rangle</math>-kernel (first) || 1 || 1 || -1 || -1 || <math>i</math> || <math>-i</math> || <math>i</math> || <math>-i</math> || 1 || -1
| |
| |-
| |
| | <math>\langle a^4,x \rangle</math>-kernel (second) || 1 || 1 || -1 || -1 || <math>-i</math> || <math>i</math> || <math>-i</math> || <math>i</math> || 1 || -1
| |
| |-
| |
| | [[faithful irreducible representation of M16]] || 2 || -2 || <math>2i</math> || <math>-2i</math> || 0 || 0 || 0 || 0 || 0 || 0
| |
| |}
| |