11514

Sporadic Groups

A group is a set of elements that is closed under an associative binary operation such that contains an identity element and each element in has an inverse .
For example, consider a cube. You can rotate it in several different ways to produce an indistinguishable copy of the original; such an operation is called a symmetry. Doing two successive rotations is equivalent to doing some single rotation. In all, a cube has 24 rotational symmetry elements (not counting an equal number that involve reflections).
A tetrahedron has 12 rotational symmetry operations, which constitute a subgroup of the symmetries of the cube.
A normal subgroup of a group is defined by the property that for . (For some intuition about normal subgroups, see [2].) For example, is a normal subgroup of .
A group is simple if it has no normal subgroups apart from the trivial ones and itself. A simple group is like a prime number in arithmetic. Groups can be analyzed by repeatedly factoring out the largest normal subgroups.
There are 18 infinite families of finite simple groups plus 26 exceptional sporadic groups. This Demonstration provides binary generator matrices and for 23 of the 26 sporadic groups (the remaining three are too large). From these, a binary number can select a multiplication sequence of these generators.
An enormously complex proof of the theorem classifying all finite simple groups was tentatively completed by Daniel Gorenstein in 1983.

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]

DETAILS

The generators of a group are a set of elements such that every element of the group can be expressed as a product of a finite number of generators. For example, this Demonstration has 10×10 matrices and over as generators for the 7920 elements of the Mathieu group . (The binary operation is matrix multiplication, and is the Galois field with two elements, 0 and 1.) For element 7920, the decimal sequence for the product is 85283493; the equivalent binary number is 101000101010101001010100101. Substituting for 1 and for 0 gives the product .
The 23 sporadic groups in this Demonstration are:
These three sporadic groups were judged to be too large for this Demonstration:
Matrix representations are from [1].
References
[1] R. A. Wilson, R. A. Parker, and J. N. Bray, "ATLAS of Finite Group Representations." (Apr 13, 2016) for.mat.bham.ac.uk/atlas/html/contents.html.
[2] J. Baez, "What's a Normal Subgroup?" (Apr 13, 2016) math.ucr.edu/home/baez/normal.html.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.









 
RELATED RESOURCES
Mathematica »
The #1 tool for creating Demonstrations
and anything technical.
Wolfram|Alpha »
Explore anything with the first
computational knowledge engine.
MathWorld »
The web's most extensive
mathematics resource.
Course Assistant Apps »
An app for every course—
right in the palm of your hand.
Wolfram Blog »
Read our views on math,
science, and technology.
Computable Document Format »
The format that makes Demonstrations
(and any information) easy to share and
interact with.
STEM Initiative »
Programs & resources for
educators, schools & students.
Computerbasedmath.org »
Join the initiative for modernizing
math education.
Step-by-Step Solutions »
Walk through homework problems one step at a time, with hints to help along the way.
Wolfram Problem Generator »
Unlimited random practice problems and answers with built-in step-by-step solutions. Practice online or make a printable study sheet.
Wolfram Language »
Knowledge-based programming for everyone.
Powered by Wolfram Mathematica © 2018 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+