Есть 2 определения действия групп. Правильно я понимаю, что переключение между ними - это частный случай currying?

задан 22 Июн '19 21:53

@Slater: какие определения имеются в виду? И что с ними нужно сделать?

(22 Июн '19 22:02) falcao

1) Действие G на S - это отображение GxS->S такое что что-то выполнено.

2) Действие G на S - это гомоморфизм G->Sym(S)

Эти определения эквивалентны - каждому отображению GxS->S можно биективно отображение G->Sym(S), и обратно. (И если исходное отображение удовлетворяло условиям из определения, то сопоставленное ему будет гомоморфизмом, и обратно). Я просто хотел убедиться в том, что такое сопоставление - это частный случай currying.

(22 Июн '19 22:06) Slater

@Slater: видимо, всё так и есть, но ценность этого всего зависит от того, придаём ли мы какое-то важное значение понятию curring'а. На мой взгляд, это просто слово, которое как бы "равно себе", то есть за ним никакого особо интересного эффекта не скрывается.

(23 Июн '19 0:38) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×5,016

задан
22 Июн '19 21:53

показан
158 раз

обновлен
23 Июн '19 0:38

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru