Right coset transversal
ID: right-coset-transversal
A right coset transversal for a subgroup chooses one representative for each right coset . Every then has a unique expression with and in the transversal. Choosing as the representative of makes membership in equivalent to having representative .
New to topics? Read the docs here!