アルティン環
Let "A" be a finite-dimensional algebra over a field "k". Then "A" is an Artinian ring.