Krull–Schmidt-kategori

Inom kategoriteori är en Krull–Schmidt-kategori en generalisering av kategorier där Krull–Schmidts sats gäller. De uppstår i studien av representationsteori av algebror med ändlig dimension.

Definition

Låt k vara en kropp. En kategori berikad över ändligdimensionella k-vektorrum är en Krull–Schmidt-kategori om följande gäller: om $e\in \text{End}(X)$ satisfierar $e^2=e$ finns det ett objekt Y och morfier $\mu :Y\to X$ och $\rho :X\to Y$ så att $\mu \rho =e$ och $\rho \mu =1_Y$.

Källor

• Mall:Enwp
• Claus Michael Ringel, Tame Algebras and Integral Quadratic Forms, Lecture Notes in Mathematics 1099, Springer-Verlag, 1984.