nLab
discrete group

Context

Group Theory

Cohesion

Contents

Idea

A discrete group is a group object in discrete spaces.

Equivalently this is just an ordinary group – a set with a group structure. One says discrete group for emphasis in a context where by default one is speaking about topological groups or Lie groups or groups equipped with other structure. See discrete ∞-groupoid for more discussion.