theHigherGeometer on Nostr: npub1knzsu…ac73p an example in modern terms: inclusion of a subset induces a map of ...

npub1knzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqpac73p (npub1knz…c73p) an example in modern terms: inclusion of a subset induces a map of representations of the permutation groups of the two sets, if we take the standard coordinate permutation rep. But even just seeing if the idea of permutation matrices is there as a distinct idea, even if in not in those words. Burnside's book on finite groups kinda hints at this last one implicitly.