Computational group theory

Computational group theory is a cool part of mathematics where people use computers to learn about groups. Groups are special sets of numbers or objects that follow certain rules. They help us understand patterns and symmetry. Because some groups can be very complicated, computers are great tools to study them.

In computational group theory, people create clever algorithms and smart ways to store information, called data structures, to learn more about these groups. One important task is to find out how many elements are in a group, which tells us its size. There are special methods like the Schreier–Sims algorithm for studying groups made from rearrangements of objects, called permutation groups.

There are powerful tools, called computer algebra systems (CAS), that help with these studies. Two well-known systems are GAP and Magma. With these tools, mathematicians have done exciting things, such as listing every possible finite group with a size smaller than 2000 and calculating important patterns, called representations, for very rare and interesting groups known as sporadic groups.