PSL(2,7)

Last updated March 07, 2022

In mathematics, the projective special linear group PSL(2, 7), isomorphic to GL(3, 2), is a finite simple group that has important applications in algebra, geometry, and number theory. It is the automorphism group of the Klein quartic as well as the symmetry group of the Fano plane. With 168 elements, PSL(2, 7) is the smallest nonabelian simple group after the alternating group A₅ with 60 elements, isomorphic to PSL(2, 5).

Definition

The general linear group GL(2, 7) consists of all invertible 2×2 matrices over F₇, the finite field with 7 elements. These have nonzero determinant. The subgroup SL(2, 7) consists of all such matrices with unit determinant. Then PSL(2, 7) is defined to be the quotient group

SL(2, 7) / {I, −I}

obtained by identifying I and −I, where I is the identity matrix. In this article, we let G denote any group isomorphic to PSL(2, 7).

Properties

G = PSL(2, 7) has 168 elements. This can be seen by counting the possible columns; there are 7² − 1 = 48 possibilities for the first column, then 7² − 7 = 42 possibilities for the second column. We must divide by 7 − 1 = 6 to force the determinant equal to one, and then we must divide by 2 when we identify I and −I. The result is (48 × 42) / (6 × 2) = 168.

It is a general result that PSL(n, q) is simple for n, q ≥ 2 (q being some power of a prime number), unless (n, q) = (2, 2) or (2, 3). PSL(2, 2) is isomorphic to the symmetric group S₃, and PSL(2, 3) is isomorphic to alternating group A₄. In fact, PSL(2, 7) is the second smallest nonabelian simple group, after the alternating group A₅ = PSL(2, 5) = PSL(2, 4).

The number of conjugacy classes and irreducible representations is 6. The sizes of conjugacy classes are 1, 21, 42, 56, 24, 24. The dimensions of irreducible representations 1, 3, 3, 6, 7, 8.

Character table

{\begin{array}{r|cccccc}&1A_{1}&2A_{21}&4A_{42}&3A_{56}&7A_{24}&7B_{24}\\\hline \chi _{1}&1&1&1&1&1&1\\\chi _{2}&3&-1&1&0&\sigma &{\bar {\sigma }}\\\chi _{3}&3&-1&1&0&{\bar {\sigma }}&\sigma \\\chi _{4}&6&2&0&0&-1&-1\\\chi _{5}&7&-1&-1&1&0&0\\\chi _{6}&8&0&0&-1&1&1\\\end{array}},

where:

\sigma ={\frac {-1+i{\sqrt {7}}}{2}}.

The following table describes the conjugacy classes in terms of the order of an element in the class, the size of the class, the minimum polynomial of every representative in GL(3, 2), and the function notation for a representative in PSL(2, 7). Note that the classes 7A and 7B are exchanged by an automorphism, so the representatives from GL(3, 2) and PSL(2, 7) can be switched arbitrarily.

Order	Size	Min Poly	Function
1	1	x + 1	x
2	21	x² + 1	−1/x
3	56	x³ + 1	2x
4	42	x³ + x² + x + 1	1/(3 − x)
7	24	x³ + x+1	x + 1
7	24	x³ + x² + 1	x + 3

The order of group is 168 = 3 × 7 × 8, this implies existence of Sylow's subgroups of orders 3, 7 and 8. It is easy to describe the first two, they are cyclic, since any group of prime order is cyclic. Any element of conjugacy class 3A₅₆ generates Sylow 3-subgroup. Any element from the conjugacy classes 7A₂₄, 7B₂₄ generates the Sylow 7-subgroup. The Sylow 2-subgroup is a dihedral group of order 8. It can be described as centralizer of any element from the conjugacy class 2A₂₁. In the GL(3, 2) representation, a Sylow 2-subgroup consists of the upper triangular matrices.

This group and its Sylow 2-subgroup provide a counter-example for various normal p-complement theorems for p = 2.

Actions on projective spaces

G = PSL(2, 7) acts via linear fractional transformation on the projective line P¹(7) over the field with 7 elements:

{\text{For  }}\gamma ={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{PSL}}(2,7){\text{  and  }}x\in \mathbb {P} ^{1}\!(7),\ \gamma \cdot x={\frac {ax+b}{cx+d}}.

Every orientation-preserving automorphism of P¹(7) arises in this way, and so G = PSL(2, 7) can be thought of geometrically as a group of symmetries of the projective line P¹(7); the full group of possibly orientation-reversing projective linear automorphisms is instead the order 2 extension PGL(2, 7), and the group of collineations of the projective line is the complete symmetric group of the points.

However, PSL(2, 7) is also isomorphic to PSL(3, 2) (= SL(3, 2) = GL(3, 2)), the special (general) linear group of 3×3 matrices over the field with 2 elements. In a similar fashion, G = PSL(3, 2) acts on the projective plane P²(2) over the field with 2 elements — also known as the Fano plane:

For

\gamma ={\begin{pmatrix}a&b&c\\d&e&f\\g&h&i\end{pmatrix}}\in {\text{PSL}}(3,2)\ \

and

\ \ \mathbf {x} ={\begin{pmatrix}x\\y\\z\end{pmatrix}}\in \mathbb {P} ^{2}\!(2),\ \ \gamma \ \cdot \ \mathbf {x} ={\begin{pmatrix}ax+by+cz\\dx+ey+fz\\gx+hy+iz\end{pmatrix}}

Again, every automorphism of P²(2) arises in this way, and so G = PSL(3, 2) can be thought of geometrically as the symmetry group of this projective plane. The Fano plane can be used to describe multiplication of octonions, so G acts on the set of octonion multiplication tables.

Symmetries of the Klein quartic

The Klein quartic is the projective variety over the complex numbers C defined by the quartic polynomial

x³y + y³z + z³x = 0.

It is a compact Riemann surface of genus g = 3, and is the only such surface for which the size of the conformal automorphism group attains the maximum of 84(g−1). This bound is due to the Hurwitz automorphisms theorem, which holds for all g>1. Such "Hurwitz surfaces" are rare; the next genus for which any exist is g = 7, and the next after that is g = 14.

As with all Hurwitz surfaces, the Klein quartic can be given a metric of constant negative curvature and then tiled with regular (hyperbolic) heptagons, as a quotient of the order-3 heptagonal tiling, with the symmetries of the surface as a Riemannian surface or algebraic curve exactly the same as the symmetries of the tiling. For the Klein quartic this yields a tiling by 24 heptagons, and the order of G is thus related to the fact that 24 × 7 = 168. Dually, it can be tiled with 56 equilateral triangles, with 24 vertices, each of degree 7, as a quotient of the order-7 triangular tiling.

Klein's quartic arises in many fields of mathematics, including representation theory, homology theory, octonion multiplication, Fermat's Last Theorem, and Stark's theorem on imaginary quadratic number fields of class number 1.

Mathieu group

PSL(2, 7) is a maximal subgroup of the Mathieu group M₂₁; the groups M₂₁ and M₂₄ can be constructed as extensions of PSL(2, 7). These extensions can be interpreted in terms of the tiling of the Klein quartic, but are not realized by geometric symmetries of the tiling.^[1]

Permutation actions

The group PSL(2, 7) acts on various finite sets:

In its original interpretation as PSL(2, 7), orientation-preserving linear automorphisms of the projective line P¹(F₇), it acts transitively on the 8 points with a stabilizer of order 21 fixing a given point. It also acts 2-transitively with stabilizer of order 3 on each pair of points; and it has two orbits on triples of points, with trivial stabilizer on each triple. (The larger group PGL(2, 7) acts sharply 3-transitively.)
Interpreted as PGL(3, 2), linear automorphisms of the Fano plane P²(F₂), it acts 2-transitively on the 7 points, with stabilizer of order 24 fixing each point, and stabilizer of order 4 fixing each pair of points.
Interpreted as automorphisms of a tiling of the Klein quartic, it acts transitively on the 24 vertices (or dually, 24 heptagons), with stabilizer of order 7 (corresponding to a rotation about the vertex/heptagon).
Interpreted as a subgroup of the Mathieu group M₂₁, the subgroup acts non-transitively on 21 points.

Related Research Articles

In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group acts on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. In particular, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron.

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group $defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .$

In mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on a set of n elements is called the alternating group of degree n, or the alternating group on n letters and denoted by A_n or Alt(n).

In group theory, the quaternion group Q₈ (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset $of the quaternions under multiplication. It is given by the group presentation$

In mathematics, the affine group or general affine group of any affine space over a field $K$ is the group of all invertible affine transformations from the space into itself.

In mathematics, the modular group is the projective special linear group $PSL(2, Z)$ of 2 × 2 matrices with integer coefficients and determinant 1. The matrices $A$ and $- A$ are identified. The modular group acts on the upper-half of the complex plane by fractional linear transformations, and the name "modular group" comes from the relation to moduli spaces and not from modular arithmetic.

In the area of modern algebra known as group theory, the Conway groups are the three sporadic simple groups Co₁, Co₂ and Co₃ along with the related finite group Co₀ introduced by (Conway 1968, 1969).

Homogeneous space Topological space in group theory

In mathematics, particularly in the theories of Lie groups, algebraic groups and topological groups, a homogeneous space for a group G is a non-empty manifold or topological space X on which G acts transitively. The elements of G are called the symmetries of X. A special case of this is when the group G in question is the automorphism group of the space X – here "automorphism group" can mean isometry group, diffeomorphism group, or homeomorphism group. In this case, X is homogeneous if intuitively X looks locally the same at each point, either in the sense of isometry, diffeomorphism, or homeomorphism (topology). Some authors insist that the action of G be faithful, although the present article does not. Thus there is a group action of G on X which can be thought of as preserving some "geometric structure" on X, and making X into a single G-orbit.

In group theory, a topic in abstract algebra, the Mathieu groups are the five sporadic simple groups M₁₁, M₁₂, M₂₂, M₂₃ and M₂₄ introduced by Mathieu. They are multiply transitive permutation groups on 11, 12, 22, 23 or 24 objects. They were the first sporadic groups to be discovered.

In mathematics, especially in the group theoretic area of algebra, the projective linear group is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group

In hyperbolic geometry, the Klein quartic, named after Felix Klein, is a compact Riemann surface of genus $3$ with the highest possible order automorphism group for this genus, namely order $168$ orientation-preserving automorphisms, and $336$ automorphisms if orientation may be reversed. As such, the Klein quartic is the Hurwitz surface of lowest possible genus; see Hurwitz's automorphisms theorem. Its (orientation-preserving) automorphism group is isomorphic to $PSL(2, 7)$ , the second-smallest non-abelian simple group. The quartic was first described in.

In number theory and algebraic geometry, a modular curveY(Γ) is a Riemann surface, or the corresponding algebraic curve, constructed as a quotient of the complex upper half-plane H by the action of a congruence subgroup Γ of the modular group of integral 2×2 matrices SL(2, Z). The term modular curve can also be used to refer to the compactified modular curvesX(Γ) which are compactifications obtained by adding finitely many points to this quotient. The points of a modular curve parametrize isomorphism classes of elliptic curves, together with some additional structure depending on the group Γ. This interpretation allows one to give a purely algebraic definition of modular curves, without reference to complex numbers, and, moreover, prove that modular curves are defined either over the field of rational numbers Q or a cyclotomic field Q(ζ_n). The latter fact and its generalizations are of fundamental importance in number theory.

The representation theory of groups is a part of mathematics which examines how groups act on given structures.

In mathematics, a Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element fixes more than one point and some non-trivial element fixes a point. They are named after F. G. Frobenius.

A regular icosahedron has 60 rotational symmetries, and a symmetry order of 120 including transformations that combine a reflection and a rotation. Both the regular dodecahedron and the rhombic triacontahedron have the same set of symmetries.

In the area of modern algebra known as group theory, the Janko groupJ₁ is a sporadic simple group of order

In mathematics, the special linear group SL(2, R) or SL₂(R) is the group of 2 × 2 real matrices with determinant one:

In group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S₆, the symmetric group on 6 elements.

In the area of modern algebra known as group theory, the Mathieu groupM₂₄ is a sporadic simple group of order

In the mathematical field of graph theory, the Klein graphs are two different but related regular graphs, each with 84 edges. Each can be embedded in the orientable surface of genus 3, in which they form dual graphs.

References

↑ ( Richter )

Richter, David A., How to Make the Mathieu Group M₂₄ , retrieved 2010-04-15

External links

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[richter-1] ( Richter )

[1]