S-objekt - S-object
v algebraická topologie, an -objekt (také nazývaný a symetrická posloupnost) je sekvence předmětů tak, že každý přichází s akcí[poznámka 1] z symetrická skupina .
Kategorie kombinatorické druhy je ekvivalentní kategorii konečných -sady (zhruba proto, že permutační kategorie je ekvivalentní kategorii konečných množin a bijekcí.)[1]
-modul
Podle -modul, myslíme -objekt v kategorii konečných trojrozměrných vektorových prostorů nad polem k charakteristické nuly (symetrické skupiny konají zprava podle konvence). Pak každý -module určuje a Schurův funktor na .
Viz také
Poznámky
- ^ Akce skupiny G na objekt X v kategorii C je funktor z G prohlíženo jako kategorie s jediným objektem C který mapuje jeden objekt na X. Všimněte si, že tento funktor poté indukuje skupinový homomorfismus ; srov. Automorphism group # V kategorii teorie.
Reference
- ^ Getzler & Jones, § 1
- Jones, J. D. S .; Getzler, Ezra (03.03.1994). "Operády, homotopická algebra a iterované integrály pro mezery se dvěma smyčkami". arXiv:hep-th / 9403055.
- Dnes, Jean-Louis (1996). „La renaissance des opérades“. www.numdam.org. Seminář Nicolas Bourbaki. PAN 1423619. Zbl 0866.18007. Citováno 2018-09-27.
Tento související s topologií článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |