|
|
| (19 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 || <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>
| |
| |-
| |
| | smallest 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)
| |
| |}
| |