Compact group

In the context of mathematics, specifically in the field of topology and group theory, a **compact group** is a group that is both compact as a topological space and a group in the sense of group operations. ### Definitions 1. **Topological Group**: A topological group is a set equipped with a group structure that is also a topological space, such that the group operations (multiplication and taking inverses) are continuous with respect to the topology of the space.