アルティン環
アルティン環上の既約加群の同型類は有限個である。