Projective symplectic group:PSp(6,3)

This article is about a particular group, i.e., a group unique upto isomorphism. View specific information (such as linear representation theory, subgroup structure) about this group
View a complete list of particular groups (this is a very huge list!)[SHOW MORE]

VIEW FACTS ABOUT THIS GROUP: All factsGroup property satisfactionsSubgroup property satisfactionsGroup property dissatisfactionsSubgroup property satisfactions
VIEW DEFINITIONS USING THIS AS EXAMPLE: All terms |Group properties |Subgroup properties|
VIEW FACTS USING THIS AS EXAMPLE: All facts |Group property non-implications |Subgroup property non-implications |Group metaproperty dissatisfactionsSubgroup metaproperty dissatisfactions

Definition

This group is defined as follows: It is the projective symplectic group of degree six (i.e., arising from $6\times 6$ matrices) over field:F3. This is denoted $PSp(6,3)$ and the Chevalley notation is $C_{3}(3)$.

It is an example of a simple non-abelian group that is not the only simple non-abelian group of its order. There are at most two finite simple groups of any order. The other group in this case is Chevalley group of type B:B3(3), which is the kernel of the spinor norm from special orthogonal group:SO(7,3). In general, $B_{n}(q)$ and $C_{n}(q)$ have the same order, but are isomorphic only if $n=2$ or $q$ is a prime power.

Arithmetic functions

Want to compare and contrast arithmetic function values with other groups of the same order? Check out groups of order 4585351680#Arithmetic functions

Function	Value	Similar groups	Explanation
order (number of elements, equivalently, cardinality or size of underlying set)	4585351680	groups with same order	As $PSp(2m,q),m=3,q=3$: $q^{m^{2}}[\prod _{i=1}^{m}(q^{2i}-1)]/\operatorname {gcd} (2,q-1)$ which becomes $3^{9}(3^{2}-1)(3^{4}-1)(3^{6}-1)/\operatorname {gcd} (2,2)=(19683)(8)(80)(728)/2=4585351680$

GAP implementation

Description	Functions used
PSp(6,3)	PSp