- Mathematics
- Algebra
- Basic Algebra
- 235750

# Equivalence relation proof

Let S be a subset of G.

we define a relation a~b on G IFF a(b^-1) belongs to S

Prove this is an equivalence relation IFF S is a subgroup

This provides an example of proving something is an equivalence relation.