Fundamental group

Imagine a loop.

A loop starts and ends at the same spot. It can wander around a shape. Some loops can shrink to a tiny point.

Other loops wrap around a hole. They cannot shrink because the hole is in the way. We can group loops that act the same. Two loops are the same if we can stretch one into the other. This helps us learn about the shape of a space.

Imagine a loop on a surface.

A loop starts and ends at the same point. You can move a loop by stretching it. If you can change one loop into another without breaking it, they are the same. This way of changing loops is called a homotopy.

We can group these loops into a set. This set is called the fundamental group. It tells us about the holes in a shape. Some shapes have no holes. For example, a ball is simply connected.

In a simply connected shape, any loop can shrink to a point.

Other shapes have holes that stop loops from shrinking. A circle is one example.

A loop can wrap around a circle many times. You can also combine two loops. You do this by following the first loop and then the second. This is called concatenation.

Shapes like the figure eight also have unique groups.

Even knots can have their own groups. A trefoil knot is a special type of knot.

These groups help math experts tell different shapes apart.

Imagine you are standing on a surface and you draw a loop. This loop starts at your feet and travels around before returning to you.

Some loops can be stretched or moved around easily. If you can change one loop into another without breaking it, they are considered the same. This process of smooth changing is called a homotopy. The fundamental group is a way to group these loops together. It acts like a map that records the basic shape of a space. By looking at these groups, mathematicians can find out if a shape has holes.

To build this group, we use a method called concatenation. This means you follow one loop and then immediately follow a second loop. This combined path becomes a new, single loop.

We also look for a neutral element, which is a loop that does nothing. This is a loop that stays at the starting point and never moves. If you go around a loop and then immediately go around it in reverse, you end up back where you started. This reverse path is called the inverse. These rules of combining and reversing loops turn the set into a mathematical group.

This idea grew from the study of complex shapes and surfaces. Many great thinkers helped develop these concepts over time. Bernhard Riemann, Felix Klein, and Henri Poincaré all worked on these ideas. Poincaré specifically defined the fundamental group in his 1895 paper called "Analysis situs."

His work helped describe how complex functions behave. It also provided a way to classify different types of closed surfaces. This history shows how mathematicians moved from looking at simple shapes to understanding deep patterns.

Different shapes have very different fundamental groups. A sphere is called simply connected because any loop can shrink to a single point.

A circle is different because a loop can wrap around it many times. The group for a circle is actually the group of integers.

A figure eight shape has an even more complex group.

This group is not commutative, meaning the order in which you follow the loops matters. Even knots have their own groups. For example, the trefoil knot has a specific group that helps prove it is not a simple circle.

Fundamental groups connect many different parts of math. They help us tell one shape from another. If two shapes have different groups, they cannot be the same. This is very useful in knot theory to distinguish different types of knots. The group also works for discrete structures like graphs. In a graph, the group depends on how many edges and vertices are present. By studying these loops, we learn about the hidden structure of the world around us.

The fundamental group is a vital concept in algebraic topology. It provides a way to study the shape of a space by examining its loops. Specifically, it is the group of equivalence classes under homotopy for all loops in a topological space.

This group acts as a mathematical tool to record information about holes. By analyzing these loops, mathematicians can distinguish between different shapes. The fundamental group is also a homotopy invariant. This means that if two spaces are homotopy equivalent, they share the same fundamental group.

To understand the mechanism, we must first define a loop and a homotopy. A loop is a continuous map that starts and ends at a specific base-point. A homotopy is a continuous interpolation between two such loops. If one loop can be smoothly deformed into another without breaking, they are considered homotopic.

This process creates equivalence classes. Instead of looking at every single possible loop, which is an unwieldy and massive set, we only look at these classes. This makes the study of the space much more manageable and computable.

The fundamental group gains its structure through the process of concatenation. To combine two loops, you travel along the first loop and then immediately follow the second.

This operation creates a new loop. The group must also have a neutral element, which is the class of the constant loop. This is a loop that stays at the base-point and does not wrap around any holes. Every loop also has an inverse. The inverse is simply the same loop traveled in the opposite direction. These rules ensure the set follows the mathematical requirements of a group.

History shows that this concept emerged from the study of Riemann surfaces. Mathematicians like Bernhard Riemann, Felix Klein, and Henri Poincaré contributed to these ideas. Henri Poincaré formally defined the fundamental group in his 1895 paper, "Analysis situs."

His work helped describe the monodromy properties of complex-valued functions. It also provided a method for the complete topological classification of closed surfaces. This laid the groundwork for modern algebraic topology.

Different spaces produce very different fundamental groups. A space is called simply connected if its fundamental group is trivial. For example, a 2-sphere is simply connected because any loop on its surface can be contracted to a point.

However, a circle is not simply connected. Its loops are categorized by how many times they wind around the center. The fundamental group of a circle is isomorphic to the additive group of integers.

This allows for positive or negative winding numbers.

More complex shapes lead to even more intricate groups. A figure-eight shape has a fundamental group known as a free group on two generators. Unlike the circle, this group is not abelian. This means the order in which you combine the loops matters. In a figure-eight, following loop A then loop B is not the same as loop B then loop A. Even knots have unique fundamental groups. The knot group of a trefoil knot is a specific non-abelian group.

This helps mathematicians prove that a trefoil knot cannot be transformed into a simple circle.

The fundamental group connects to many other mathematical fields. In graph theory, the group is a free group based on the number of edges and vertices. For a connected graph, the number of generators equals the number of edges minus the number of vertices plus one. It also plays a role in studying topological groups. If a space is a topological group, its fundamental group is always commutative, or abelian. This connection shows how the local properties of a space influence its global topological structure.