GroupTheory/ProjectiveGeneralSemilinearGroup - Maple Help

GroupTheory

 ProjectiveGeneralSemilinearGroup
 construct a permutation group isomorphic to the General Semi-linear Group over a finite field

 Calling Sequence ProjectiveGeneralSemilinearGroup( n, q ) PGammaL( n, q )

Parameters

 n - a positive integer q - a power of a prime number

Description

 • The projective general semi-linear group $P\Gamma L\left(n,q\right)$ is the quotient of the group $\Gamma L\left(n,q\right)$ of all semi-linear transformations of an $n$-dimensional vector space over the field with $q$ elements, by the center of $GL\left(n,q\right)$ . It is isomorphic to a semi-direct product of the general linear group $GL\left(n,q\right)$ with the Galois group of the field with $q$ elements over its prime sub-field. Thus, if $q$ is prime, then $P\Gamma L\left(n,q\right)$ and $GL\left(n,q\right)$ are equal.
 • If n is a positive integer, and q is a prime power, then the ProjectiveGeneralSemilinearGroup( n, q ) command returns a permutation group isomorphic to the projective general semi-linear group $P\Gamma L\left(n,q\right)$ . Otherwise, a symbolic group is returned, with which Maple can do some limited computations.
 • The abbreviation PGammaL( n, q ) is available as a synonym for ProjectiveGeneralSemilinearGroup( n, q ).

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $G≔\mathrm{ProjectiveGeneralSemilinearGroup}\left(2,4\right)$
 ${G}{≔}⟨\left({2}{,}{3}{,}{4}\right){,}\left({1}{,}{2}{,}{5}\right){,}\left({3}{,}{4}\right)⟩$ (1)
 > $\mathrm{GroupOrder}\left(G\right)$
 ${120}$ (2)
 > $\mathrm{AreIsomorphic}\left(G,\mathrm{Symm}\left(5\right)\right)$
 ${\mathrm{true}}$ (3)
 > $G≔\mathrm{PGammaL}\left(2,5\right)$
 ${G}{≔}⟨\left({2}{,}{4}{,}{5}{,}{3}\right){,}\left({1}{,}{5}{,}{6}\right)\left({2}{,}{3}{,}{4}\right)⟩$ (4)
 > $\mathrm{GroupOrder}\left(G\right)$
 ${120}$ (5)
 > $\mathrm{AreIsomorphic}\left(G,\mathrm{Symm}\left(5\right)\right)$
 ${\mathrm{true}}$ (6)
 > $G≔\mathrm{PGammaL}\left(2,9\right)$
 ${G}{≔}⟨\left({2}{,}{8}{,}{4}{,}{5}{,}{3}{,}{6}{,}{7}{,}{9}\right){,}\left({1}{,}{3}{,}{10}\right)\left({4}{,}{8}{,}{6}\right)\left({5}{,}{9}{,}{7}\right){,}\left({4}{,}{7}\right)\left({5}{,}{8}\right)\left({6}{,}{9}\right)⟩$ (7)
 > $\mathrm{GroupOrder}\left(G\right)$
 ${1440}$ (8)
 > $\mathrm{ct}≔\mathrm{CharacterTable}\left(G\right)$
 > $\mathrm{Display}\left(\mathrm{ct}\right)$
 insertdirect, content = "C1a2a2b2c3a4a4b4c5a\     6a8a8b10a|C|1303645809090180144240180180144LUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX18xNiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX18yNiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX18zNiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMT\     YiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMT\     YiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJS\     ttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX180NiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0\     ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJS\     UoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX181NiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiOTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MzYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX182NiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiOTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MzYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX183NiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiOTYi<\     /Equation>LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMzYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYi<\     /Equation>LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYi<\     /Input>LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX184NiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiOTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksV\     HlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMzYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX\     3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksV\     HlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EnY2hpX185NiI=LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EjMTA2Ig==LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR\     0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EoY2hpX18xMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EjMTA2Ig==LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb\     3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuY\     W1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjb\     WlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EoY2hpX18xMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EjMTY2Ig==LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7NDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiL\     UkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1b\     GVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EoY2hpX18xMjYiLUkjbW5HNiQlK\     nByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EjMTY2Ig==LUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiNDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb\     2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMTYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpY\     kc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7MTYiLUkjbWlHNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EoY2hpX18xMzYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EjMjA2Ig==LUkjbW5HNiQlKnByb3RlY3RlZEcvJ\     Sttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1ErJnVtaW51czA7NDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMjYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZ\     XNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYiLUkjbW5HNiQlKnByb3RlY3RlZEcvJSttb2R1bGVuYW1lR0ksVHlwZXNldHRpbmdHNiRGJSUoX3N5c2xpYkc2I1EiMDYi", state = "", minimal = true
 > $\mathrm{DrawNormalSubgroupLattice}\left(G\right)$
 > $\mathrm{GroupOrder}\left(\mathrm{PGammaL}\left(3,8\right)\right)$
 ${49448448}$ (9)
 > $\mathrm{GroupOrder}\left(\mathrm{PGammaL}\left(n,q\right)\right)$
 $\frac{{\mathrm{logp}}{}\left({q}\right){}\left({\prod }_{{k}{=}{0}}^{{n}{-}{1}}{}\left({{q}}^{{n}}{-}{{q}}^{{k}}\right)\right)}{{q}{-}{1}}$ (10)
 > $\mathrm{GroupOrder}\left(\mathrm{PGammaL}\left(5,q\right)\right)$
 $\frac{{\mathrm{logp}}{}\left({q}\right){}\left({{q}}^{{5}}{-}{1}\right){}\left({{q}}^{{5}}{-}{q}\right){}\left({{q}}^{{5}}{-}{{q}}^{{2}}\right){}\left({{q}}^{{5}}{-}{{q}}^{{3}}\right){}\left({{q}}^{{5}}{-}{{q}}^{{4}}\right)}{{q}{-}{1}}$ (11)