Magma V2.20-10 Thu Dec 18 2014 19:59:00 on mathcompprd01 [Seed = 3221607028] Type ? for help. Type -D to quit. Loading startup file "/home/eobr007/.magma.startup" Loading "code.m" Loading "sign.m" > > n := 6; > > p := 3; > G := eval Read ("plus-cover-s6-3"); > G := DerivedGroup (G); > L := IrreducibleModules (G, GF(p)); > L := [ActionGroup (x): x in L]; > L := [x : x in L | #x eq #G]; > "Degrees of faithful repns are ", [Degree (x): x in L]; Degrees of faithful repns are [ 4, 12 ] > f := ProcessReps (L, n); Consider the following repn 1 Input degree = 4 Defining field size = 3 Order of generators [ 3, 2, 3, 3, 3, 3 ] Composition Factors of G is G | Alternating(6) * | Cyclic(2) 1 Vector space too small -- no regular orbit ======================================== Consider the following repn 2 Input degree = 12 Defining field size = 3 Order of generators [ 3, 2, 3, 3, 3, 3 ] Composition Factors of G is G | Alternating(6) * | Cyclic(2) 1 Refined bound on degree is 9 Over refined degree limit -- so G has regular orbit ======================================== > > p := 5; > G := eval Read ("plus-cover-s6-5"); > G := DerivedGroup (G); > L := IrreducibleModules (G, GF(p)); > L := [ActionGroup (x): x in L]; > L := [x : x in L | #x eq #G]; > "Degrees of faithful repns are ", [Degree (x): x in L]; Degrees of faithful repns are [ 4, 4, 20 ] > > // f := ProcessReps (L, n); > for i in [1..#L] do for> X := AddScalars (L[i]); for> regular := ProcessReps ([X[1]], n: Scalar := false); for> if not regular then for|if> "2Sn with all scalars does not act regularly so now proper subgroups >= 2Sn"; for|if> M := [X[i]: i in [2..#X]]; for|if> f := ProcessReps (M, n: Scalar := false); for|if> end if; for> end for; Consider the following repn 1 Input degree = 4 Defining field size = 5 Order of generators [ 3, 2, 3, 3, 3, 4 ] Composition Factors of G is G | Alternating(6) * | Cyclic(2) * | Cyclic(2) 1 Vector space too small -- no regular orbit ======================================== 2Sn with all scalars does not act regularly so now proper subgroups >= 2Sn Consider the following repn 1 Input degree = 4 Defining field size = 5 Order of generators [ 3, 2, 3, 3, 3 ] Composition Factors of G is G | Alternating(6) * | Cyclic(2) 1 Vector space too small -- no regular orbit ======================================== Consider the following repn 1 Input degree = 4 Defining field size = 5 Order of generators [ 3, 2, 3, 3, 3, 4 ] Composition Factors of G is G | Alternating(6) * | Cyclic(2) * | Cyclic(2) 1 Vector space too small -- no regular orbit ======================================== 2Sn with all scalars does not act regularly so now proper subgroups >= 2Sn Consider the following repn 1 Input degree = 4 Defining field size = 5 Order of generators [ 3, 2, 3, 3, 3 ] Composition Factors of G is G | Alternating(6) * | Cyclic(2) 1 Vector space too small -- no regular orbit ======================================== Consider the following repn 1 Input degree = 20 Defining field size = 5 Order of generators [ 3, 2, 3, 3, 3, 4 ] Composition Factors of G is G | Alternating(6) * | Cyclic(2) * | Cyclic(2) 1 Refined bound on degree is 13 Over refined degree limit -- so G has regular orbit ======================================== > Total time: 0.590 seconds, Total memory usage: 32.09MB