Free algebraic structures

Вики

Бесплатный модуль – Arc.Ask3.Ru

/

Бесплатный модуль Определение свободного модуля Свободный модуль имеет основу, то есть линейно независимый генерирующий набор.   Каждое векторное пространство является свободным

Вики

Бесплатный продукт

/

Бесплатный продукт Свободное произведение групп Операция, создающая новую группу из двух заданных групп G и H   Результат содержит G и

Вики

Свободная алгебра Ли

/

Свободная алгебра Ли Определение свободной алгебры Ли Свободная алгебра Ли – это алгебра Ли без навязанных соотношений, кроме билинейности и

Вики

Термин алгебра

/

Алгебра терминов Определение терминальной алгебры Терминальная алгебра – это алгебра, в которой все элементы являются терминами.  Терминальные алгебры используются для

Вики

История моноида

/

Моноид истории Определение и свойства моноида истории Моноид истории – это структура, которая описывает историю выполнения операций над множеством элементов. 

Вики

Трассировка моноида

/

Моноид следа Определение и свойства следов Следы – это подмножества множеств слов, которые сохраняют структуру слов.  Следы могут быть определены

Вики

Бесплатный продукт

/

Бесплатный продукт Определение и свойства свободного произведения Свободное произведение двух групп G и H создает новую группу G∗H, содержащую элементы

Вики

Свободная решетка

/

Свободная решетка Свободная решетка – это свободный объект, соответствующий решетке в математике.  Свободные объекты обладают универсальным свойством.  Категория всех решеток

Вики

Свободная абелева группа

/

Свободная абелева группа Свободная абелева группа – это группа, элементы которой могут быть выражены как линейные комбинации конечного числа базисных

Вики

Свободный моноид

/

Свободный моноид Свободный моноид – это моноид, состоящий из всех слов над алфавитом, с операцией объединения слов.  Свободный моноид обладает

Вики

Термин алгебра

/

Алгебра терминов Терминальные алгебры используются для изучения свойств и операций над терминами в формальных языках.  Терминальные алгебры имеют область, в

Вики

Свободная алгебра

/

Свободная алгебра Некоммутативное кольцо – алгебра с некоммутативными операциями умножения и сложения.  Некоммутативные кольца могут быть отождествлены с моноидными кольцами

Вики

Бесплатная группа

/

Свободная группа Свободная группа – это группа, порожденная множеством элементов, без ограничений на отношения между ними.  Универсальное свойство свободных групп

Вики

Свободный объект

/

Свободный объект Свободные объекты являются важными понятиями в математике и имеют множество применений.  Свободные объекты связаны с функторами, которые игнорируют

Вики

Категория симплекс

/

Простая категория Симплексная категория – категория непустых конечных ординалов и сохраняющих порядок функций.  Категория создается с помощью карт coface и

Вики

Бесплатная категория

/

Бесплатная категория Свободная категория или категория траекторий генерируется ориентированным графом или колчаном.  Объекты категории – это вершины колчана, а морфизмы

Вики

Бесплатный модуль

/

Бесплатный модуль Свободные модули являются важными объектами в теории модулей.  Свободные модули имеют основу, которая определяет их структуру.  Универсальное свойство

Вики

Полиномиальное кольцо

/

Кольцо многочленов Факторизация многочленов – разложение многочленов на неприводимые множители.  Алгоритм факторизации зависит от основного поля и может вычислять только