00:01
In this problem, sn represents the set of all byjections from an n -element set to itself, and tau represents an arbitrary element of sn.
00:12
What we need to show is that for every kappa in sn, there is a corresponding sigma in s, such that tau composed with sigma is equal to kappa.
00:22
To prove this, we first let kappa be an arbitrary element of sn.
00:29
Now we're going to use the fact that sn, being the set of all byjections from an n -element set to itself, must be closed -undertaking inverses and closed -under -taking compositions.
00:41
So, tau being in sn implies that tau has an inverse function in sn.
00:48
And because kappa was assumed to be in s -n, it follows that tau -inverse composed with kappa is in s -n.
00:55
So, we can let sigma equal tau inverse composed with kappa.
01:02
Then all we have to show is that tau composed with this sigma is equal to kappa...