Здесь показаны различия между выбранной ревизией и текущей версией данной страницы.
| — |
tema:gruppoidom [2009/01/10 03:18] (текущий) morar_11a создано |
||
|---|---|---|---|
| Строка 1: | Строка 1: | ||
| + | В абстрактной алгебре, магмой (или группоидом) называется базовый тип алгебраической структуры. Магма состоит из множества М с одной бинарной операцией M × M → M. Помимо требования замкнутости множества относительно заданной на нём операции, других требований к операции и множеству не предъявляется. | ||
| + | |||
| + | Термин магма был предложен Бурбаки. Термин **группоид** старше, но использование его в качестве альтернативы ввёл Остин Ор. Однако **группоид** также относится к другой алгебраической структуре, имеющей отношение к теории категорий. | ||
| + | |||