Cтраница 4
Более того, если А - кольцо и отображение ф сохраняет умножение, то это продолжение есть гомоморфизм колец. [46]
Так вот, если не оговорено противное, то под алгеброй над А мы будем всегда понимать указанный выше гомоморфизм колец. Мы говорим, что алгебра является конечно порожденной, если В как кольцо над f ( А) конечно порождено. [47]