Some groups are like building blocks. You cannot break them into smaller parts. They are very special. These blocks help us build all other groups. They are small but they matter a lot. Can you find shapes in your room?
Some groups are like building blocks. You cannot break them into smaller parts. These are called simple groups.
Most groups can be split up. You can break them into smaller groups. But a simple group stays whole. It is one solid piece.
Simple groups are very important. They help us build all other groups. This is a bit like prime numbers. Prime numbers build all other numbers.
Math experts found many types. Some groups belong to big families. Others are special and rare. We call these sporadic groups.
One giant group is called the Monster. It is very, very large. Finding all these groups took a long time. It was finished in 2004.
In math, some groups are like solid blocks. We call these simple groups. Most groups can be broken into smaller parts. A simple group cannot be split that way. It is one single piece.
Think about prime numbers. You can use them to build all other numbers. Simple groups work in a similar way. They are the building blocks for all finite groups. This idea comes from the Jordan–Hölder theorem.
Math experts spent a long time finding every simple group. They found many large families of these groups. They also found rare groups called sporadic groups. Most of these belong to a set called the "Happy Family." One group is much bigger than the rest. It is called the Monster group.
It took many years to finish the full list. People worked on this for a long time. The work was finally done in 2004. The proof was very long. It took over 10,000 pages to explain everything! Now, we know the full set of these building blocks.
In mathematics, groups are ways to study patterns and symmetry. Some groups are like large puzzles that can be broken into smaller pieces. We call these smaller pieces normal subgroups. A simple group is different because it cannot be split this way. It is a group that has no normal subgroups other than itself and the trivial group.
This makes simple groups very special. They are the basic building blocks for all finite groups. This idea is explained by the Jordan–Hölder theorem. It says that any two ways of breaking a group down will always result in the same set of simple group factors.
There are many different kinds of simple groups. Some are very easy to describe. For example, cyclic groups of prime order are simple. This is because a prime number cannot be divided into smaller parts. Other groups are much more complex. The smallest nonabelian simple group is the alternating group of order 60. The next smallest is a group called PSL(2,7), which has an order of 168.
There are also infinite simple groups. These do not have a set number of elements. One example is the infinite alternating group. Scientists find it much harder to build infinite simple groups that are finitely generated.
Finding all the simple groups was a massive job for mathematicians. It began with the work of Évariste Galois in the 1820s. He proved that certain alternating groups were simple in 1831. Later, Camille Jordan found new families in 1870. He discovered four families of simple matrix groups. Around that same time, Émile Léonard Mathieu described five special groups. These five groups were called "sporadic" by William Burnside in 1897. This was because they did not fit into the large families found by others.
Most sporadic groups belong to a set called the "Happy Family." This family includes 20 groups that are related to one giant group. That giant group is called the Monster group. Robert Griess announced he had built the Monster group in 1981. It is a huge group with an order of over 808 octillion. Specifically, its order is 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000.
There are also six other sporadic groups called pariahs. These do not belong to the Happy Family.
The hunt to list every finite simple group took many decades. Daniel Gorenstein declared the list finished in 1983. However, the proof had some gaps. One gap involved something called quasithin groups. Mathematicians finally fixed these gaps in 2004 with a 1300-page classification.
Today, we know there are 18 main families of simple groups. There are also 26 special exceptions. This huge list of building blocks is now a major milestone in math history. It shows how many different patterns exist in the world of symmetry.
In the study of symmetry and patterns, mathematicians use a concept called a group. A group is a collection of elements and rules for how they interact. Some groups are complex and can be broken down into smaller, manageable parts. These parts are called normal subgroups. A simple group is a nontrivial group that cannot be broken down this way. Its only normal subgroups are the trivial group and the group itself.
Because they cannot be split, simple groups act as the fundamental building blocks of all finite groups. This relationship is formalized by the Jordan–Hölder theorem. This theorem states that any two ways of breaking a group into simple pieces will result in the same set of factors.
To understand how simple groups work, we can look at different types of structures. Abelian groups are groups where the order of operations does not change the result. For these groups, the only simple ones are cyclic groups of prime order. A cyclic group of order 3 is simple because its only divisors are 1 and 3. In contrast, the additive group of integers is not simple. This is because the set of even integers forms a non-trivial proper normal subgroup.
Nonabelian groups, where the order of operations does matter, are much more complex. The smallest nonabelian simple group is the alternating group of order 60. Every simple group of order 60 is isomorphic to this specific group. The second smallest nonabelian simple group is PSL(2,7), which has an order of 168.
Mathematics also explores infinite simple groups, which do not have a finite number of elements. One example is the infinite alternating group. This group consists of even finitely supported permutations of the integers. It can be viewed as an increasing union of finite simple groups. Another family includes groups like PSL(n, F) where F is an infinite field. Constructing infinite simple groups that are finitely generated is a difficult task. Mathematicians like Graham Higman provided early results regarding simple quotients of the Higman group. Other explicit examples include the infinite Thompson groups.
The history of these groups spans nearly two centuries of discovery. In the 1820s, Évariste Galois began studying these structures through early Galois theory. In 1831, he proved that alternating groups on five or more points are simple. This discovery explained why certain equations, called quintics, cannot be solved using radicals. Galois also identified the projective special linear group over prime finite fields. Later, in 1870, Camille Jordan discovered four families of simple matrix groups. These are now known as the classical groups.
Other important discoveries shaped the field during the 19th and 20th centuries. Émile Léonard Mathieu described five special groups in 1861 and 1873. William Burnside later called these "sporadic" groups in 1897 because they did not fit into larger families. In the 1950s, Claude Chevalley provided a uniform construction for groups of Lie type. This work was expanded by mathematicians like Steinberg, Tits, and Suzuki. In 1964, the first Janko group was discovered, breaking a long lull in sporadic group findings. This led to the discovery of many more sporadic groups between 1965 and 1975.
The most famous of these exceptions is the Monster group. Robert Griess announced the construction of the Monster in 1981. It is a massive group with an order of 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000. Most sporadic groups, specifically 20 of them, are subgroups or subquotients of the Monster. Mathematicians refer to this collection as the "Happy Family." The remaining six sporadic groups are known as pariahs because they do not belong to this family.
The classification of all finite simple groups was a monumental collaborative effort. Daniel Gorenstein declared the classification accomplished in 1983. However, the proof initially had gaps regarding the classification of quasithin groups. These gaps were finally filled in 2004 with a 1300-page classification. Today, the complete list is generally accepted. It consists of 18 different families and 26 sporadic exceptions. This achievement is considered a major milestone in the history of mathematics.
Where will your curiosity go next?
More to explore
✨ What else?
Related topics you might enjoy
🔬 Go deeper
More advanced topics to explore
🪜 Step back
Simpler topics to build understanding
What is Nepedia?
A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.