Миша, а где написано нормально про алгебры, заданные образующими и соотношениями?

А хотя бы определение и базовые свойства где рассказываются? В знакомых мне учебниках алгебры я этого не видел.

ИМХО, это нужно хотя бы для того, чтобы доказать что категория алгебр над кольцом полна (нам нужна конструкция копроизведения произвольного семейства алгебр, которое можно определить через образующие и соотношения, а именно как их дизъюнктное объединение).

Да и вообще довольно фундаментальная штука, даже если и бесполезная.

Спасибо вам за ответ!

>П.Кон, Универсальная алгебра,

Я слышал, что универсальная алгебра - это естественный контекст для такого рода вопросов, но лезть туда не хочется, потому что контента много, а с остальной математикой практически не пересекается.

>Более современный источник

Да, там они определяют свободное произведение алгебр, которое и является копроизведением, но, как мне показалось, эта конструкция куда сложнее, чем образующие и соотношения. Да и источников нормальных также нет.

>Дизъюнктно объединять порождающие и соотношения --- вероятно не самая хорошая идея.

Почему же? Разве это не самый простой способ? Не надо возиться с конкретной конструкцией копроизведения.

>А еще лучше (если в статье, например) написать, что кополнота тривиальна и хорошо известна.

Я пока лишь учусь, до статей мне далеко. Просто не хочется становиться на скользкую дорожку "черных ящиков". Впрочем, возможно, так и поступлю, если не найду решение.