Difference between revisions of "Quiz:Degrees of irreducible representations"

From Groupprops
Jump to: navigation, search
(Maximum and divisibility)
 
(2 intermediate revisions by the same user not shown)
Line 24: Line 24:
 
- 1,1,1,1,1,1,1,1,2,2,2,2
 
- 1,1,1,1,1,1,1,1,2,2,2,2
 
|| ''Wrong''. This occurs as the degrees of irreducible representations of [[direct product of S3 and V4]], a group of order 24. See also [[linear representation theory of groups of order 24]].
 
|| ''Wrong''. This occurs as the degrees of irreducible representations of [[direct product of S3 and V4]], a group of order 24. See also [[linear representation theory of groups of order 24]].
 +
 
{Which of the following is ''not'' a possibility for the multiset of the [[degrees of irreducible representations]] of a finite group over a [[splitting field]] of characteristic zero (such as the complex numbers)?
 
{Which of the following is ''not'' a possibility for the multiset of the [[degrees of irreducible representations]] of a finite group over a [[splitting field]] of characteristic zero (such as the complex numbers)?
 
|type="()"}
 
|type="()"}
Line 37: Line 38:
 
|| ''Right''. (1,1) arises for [[cyclic group:Z2]], the others all arise for the [[general affine group of degree one]] <math>GA(1,q)</math> for <math>q = 3,4,5</math> respectively. See [[linear representation theory of general affine group of degree one over a finite field]].
 
|| ''Right''. (1,1) arises for [[cyclic group:Z2]], the others all arise for the [[general affine group of degree one]] <math>GA(1,q)</math> for <math>q = 3,4,5</math> respectively. See [[linear representation theory of general affine group of degree one over a finite field]].
 
</quiz>
 
</quiz>
 +
 +
==Maximum and divisibility==
 +
 +
For all the questions below, we consider irreducible representations over a splitting field of characteristic zero, such as the field of complex numbers.
  
 
<quiz display=simple>
 
<quiz display=simple>
Line 66: Line 71:
 
- <math>2^{2n}</math>
 
- <math>2^{2n}</math>
 
- <math>2^{2n + 1}</math>
 
- <math>2^{2n + 1}</math>
 +
 +
{It is true in general that [[degree of irreducible representation divides index of abelian normal subgroup]], when we are working with irreducible representations of finite groups over splitting fields of characteristic zero. Which of the following gives an example of a group where the least common multiple of the degrees of irreducible representations is ''strictly'' smaller than the greatest common divisor of the index values of all abelian normal subgroups?
 +
|type="()"}
 +
- [[symmetric group:S3]]
 +
- [[symmetric group:S4]]
 +
- [[alternating group:A4]]
 +
+ [[special linear group:SL(2,3)]]
 +
- [[alternating group:A5]]
 +
- [[special linear group:SL(2,5)]]
 +
</quiz>
 +
 +
==Groups of prime power order: smallest counterexamples==
 +
 +
<quiz display=simple>
 +
{What is the ''smallest'' power <math>2^n</math> such that there exist two groups of order <math>2^n</math> of the same [[nilpotency class]] but with different multisets of [[degrees of irreducible representations]] over the field of complex numbers?
 +
|type="()"}
 +
- 8
 +
- 16
 +
+ 32
 +
|| See [[degrees of irreducible representations need not determine nilpotency class]]
 +
- 64
 +
- 128
 +
 +
{What is the ''smallest'' power <math>2^n</math> such that there exist two groups of order <math>2^n</math> with the same multiset of [[degrees of irreducible representations]] over the field of complex numbers but such that the [[conjugacy class size statistics of a finite group|conjugacy class size statistics]] are different for the groups?
 +
|type="()"}
 +
- 8
 +
|| See [[[[linear representation theory of groups of order 8#Degrees of irreducible representations]]
 +
- 16
 +
|| See [[linear representation theory of groups of order 16#Degrees of irreducible representations]]
 +
- 32
 +
|| See [[linear representation theory of groups of order 32#Degrees of irreducible representations]]
 +
+ 64
 +
|| See [[degrees of irreducible representations need not determine conjugacy class size statistics]]. See also [[linear representation theory of groups of order 64#Degrees of irreducible representations]]
 +
- 128
 +
|| See [[[[linear representation theory of groups of order 128#Degrees of irreducible representations]]
 +
 +
{What is the ''smallest'' power <math>2^n</math> such that there exist two groups of order <math>2^n</math> with the [[conjugacy class size statistics of a finite group|conjugacy class size statistics]] but such that the [[degrees of irreducible representations]] are different for the groups?
 +
|type="()"}
 +
- 8
 +
|| See [[linear representation theory of groups of order 8#Degrees of irreducible representations]]
 +
- 16
 +
|| See [[linear representation theory of groups of order 16#Degrees of irreducible representations]]
 +
- 32
 +
|| See [[linear representation theory of groups of order 32#Degrees of irreducible representations]]
 +
- 64
 +
|| See [[linear representation theory of groups of order 64#Degrees of irreducible representations]]
 +
+ 128
 +
|| See [[conjugacy class size statistics need not determine degrees of irreducible representations]], see also [[linear representation theory of groups of order 128#Degrees of irreducible representations]]
 
</quiz>
 
</quiz>

Latest revision as of 17:33, 3 August 2011

Find the feasible or infeasible degrees of irreducible representations

1 Which of the following is not a possibility for the multiset of the degrees of irreducible representations of a finite group over a splitting field of characteristic zero (such as the complex numbers)?

1,1,1,1,2
1,1,1,1,3
1,1,1,1,4
None of the above, i.e., they are all possibilities for the multiset of degrees of irreducible representations.

2 Which of the following is not a possibility for the multiset of the degrees of irreducible representations of a finite group over a splitting field of characteristic zero (such as the complex numbers)?

1,1,2,3,3
1,1,1,2,2,2,3
1,1,1,1,2,2,2,2,2
1,1,1,1,1,1,1,2,2,3
1,1,1,1,1,1,1,1,2,2,2,2

3 Which of the following is not a possibility for the multiset of the degrees of irreducible representations of a finite group over a splitting field of characteristic zero (such as the complex numbers)?

1,1
1,1,2
1,1,1,3
1,1,1,1,4
None of the above, i.e., they are all possibilities

Maximum and divisibility

For all the questions below, we consider irreducible representations over a splitting field of characteristic zero, such as the field of complex numbers.

1 Which of the following statements is false in general about the degrees of irreducible representations of a finite group over a splitting field of characteristic zero?

The degree of any irreducible representation divides the index of any abelian subgroup in the group.
The degree of any irreducible representation is bounded by, but need not divide, the index of any abelian subgroup in the group.
The degree of any irreducible representation divides the index of any abelian normal subgroup in the group.

2 What is the largest possible value of the maximum degree of irreducible representation for a group of order 24 over a splitting field of characteristic zero (such as the complex numbers)?

2
3
4
6
8

3 What is the largest possible value of the maximum degree of irreducible representation for a group of order 2^{2n + 1} over a splitting field of characteristic zero (such as the field of complex numbers) where n is a positive integer?

2
2^n
2^{n + 1}
2^{2n - 1}
2^{2n}
2^{2n + 1}

4 It is true in general that degree of irreducible representation divides index of abelian normal subgroup, when we are working with irreducible representations of finite groups over splitting fields of characteristic zero. Which of the following gives an example of a group where the least common multiple of the degrees of irreducible representations is strictly smaller than the greatest common divisor of the index values of all abelian normal subgroups?

symmetric group:S3
symmetric group:S4
alternating group:A4
special linear group:SL(2,3)
alternating group:A5
special linear group:SL(2,5)

Groups of prime power order: smallest counterexamples

1 What is the smallest power 2^n such that there exist two groups of order 2^n of the same nilpotency class but with different multisets of degrees of irreducible representations over the field of complex numbers?

8
16
32
64
128

2 What is the smallest power 2^n such that there exist two groups of order 2^n with the same multiset of degrees of irreducible representations over the field of complex numbers but such that the conjugacy class size statistics are different for the groups?

8
16
32
64
128

3 What is the smallest power 2^n such that there exist two groups of order 2^n with the conjugacy class size statistics but such that the degrees of irreducible representations are different for the groups?

8
16
32
64
128