Алгебра — это правила и не только

Знаете, эти штуки — группы, кольца и другие прикольности (там есть даже магма, например) — у них есть одно общее свойство: это какие-то объекты, какие-то операции с этими объектами и правила к этим операциям.

По сути, правильно сказать, что "группа — это такая алгебра из множества и бинарной операции с такими-то требованиями". А если добавить ещё одну операцию и требования, то будет кольцо, тоже алгебра. И так для всего, по сути.

Нужно сделать правила работы с вероятностями? Берём множество, берём правила операций с ними, et voila!

В общем, меня почему-то в своё время очень потрясло, что "алгебра" — это вообще какое-то осмысленное слово. Это не просто набор формул и уравнений, а целая философия работы с абстрактными структурами и операциями. Я вообще уверен что тот, кто просто вдумчиво читает Фихтенгольца может не читать Делёза или Фуко, там ничего нового не будет, но особо ранимые философы обычно слишком снобы что согласиться с подобными идеями

А знаете, что ещё круче? Алгебра не просто говорит «вот тебе группа, вот тебе кольцо, развлекайся». Она ещё и изучает, как эти структуры общаются между собой.

У меня лично картинка, что группы и кольца — это как разные тусовки на математической вечеринке. Алгебра смотрит, кто с кем танцует, кто кого угощает напитками, и кто в итоге уходит домой вместе. Только вместо танцев у нас гомоморфизмы, вместо напитков — подструктуры, а "уходят домой вместе" — это что-то вроде прямого произведения. Это как speakeasy бар в глубине здания, где математические объекты отрываются по полной, надо только знать как пройти, пароль и проявлять уважение ко всем присутствующим. И если перестать пугаться (в конце концов, математике часто достаётся слава "наконец-то ещё один день без необходимости решить квадратное уравнение"), то даже на базовом уровне это захватывающее приключение в мире абстракций, где каждое новое понятие открывает дверь в еще более интересную комнату