In mathematics, a loop group (not to be confused with a loop) is a group of loops in a topological group G with multiplication defined pointwise.