Content deleted Content added
why is all this generalizaiton stuff in the lead, ahead of examples of the basic concept? |
|||
Line 7:
As a particular case of the previous example, given a [[direct product of groups]] <math>G = H \times K</math>, then ''H'' is a transversal for the cosets of ''K''.
In general, since any [[equivalence relation]] gives rise to a partition, picking any representative from from each [[equivalence class]] results in a transversal.
[[Hall's marriage theorem]] gives necessary and sufficient conditions for a finite collection of not necessarily distinct, but non-empty sets to have a transversal.
| |||