Semisimple quotient of a module endomorphism algebra
ID: semisimple-quotient-of-a-module-endomorphism-algebra
For a finite-dimensional module over an algebraically closed field, write a Krull-Schmidt decomposition with distinct indecomposable types. Each endomorphism ring of is a local endomorphism ring with residue division algebra , by the finite-dimensional division algebra over an algebraically closed field result. Modulo the Jacobson radical of , the blocks of one type become and all maps between different types vanish. A composite through a different indecomposable type cannot be invertible, since that would make one type a direct summand of the other. This yields the displayed product and the Levi decomposition of a quiver automorphism group.
New to topics? Read the docs here!