Kommutative Ringtheorie/Algebra von endlichem Typ/Definition/Begriff