Описание тега finite-group-theory

Описание тега Вопросы с тегом
Теория конечных групп - это раздел абстрактной алгебры, изучающий свойства кратно-подобных операций над конечными множествами. Приложения включают коды исправления ошибок и криптографию.
1 ответ

SymPy Пермутация групп четности не работает, как ожидалось

Я реализовал кубик Рубика, используя перестановки кортежей. Куб без изменений представлен как (0, 1, 2, ..., 45, 46, 47). Чтобы применить "поворот" к кубу, числа перемешиваются. Я довольно полно проверил все свои ходы до такой степени, что уверен, ч…
17 янв '19 в 03:22
0 ответов

Наиболее естественная структура данных для хранения перестановки отдельных элементов?

Один простой способ сохранить перестановку последовательности отдельных элементов - это строка (или список), например, "acb", которая явно является перестановкой "abc". Однако, если я буду использовать строку для представления своей перестановки, я …
27 янв '19 в 17:53
1 ответ

Решение кубика Рубика в Java

Я, как говорится в заголовке, пишу метод решения кубика Рубика в Java, и я сталкиваюсь с некоторыми трудностями. Я пытаюсь реализовать Алгоритм Коциембы, и для этого я слежу за этой статьей (конкретная часть написана примерно на 2/3 ниже). Однако в …
05 май '17 в 01:18
0 ответов

Как найти 4-мерное представление SU(2)?

Я посмотрел на некоторые диаграммы Юнга и, как я понимаю, 4-мерное представление SU(2) возможно. Измерение 2 является фундаментальным представлением, а 3d - присоединенным представителем. Я ищу представление, в котором я могу показать четверку части…
16 апр '17 в 22:47
1 ответ

Найти все перестановки множества S = {1,2,3,4}. Список четных и нечетных перестановок

Это мой первый пост о переполнении стека. Я должен представить свое математическое задание до 30 апреля, и этот вопрос я искал, но я нигде не мог найти ответ. Я знаю, что могу перечислить все возможные варианты, которые = 4! = 24 Но вопрос в том, ка…
26 апр '18 в 12:31
0 ответов

Janko Group J2, GAP, Презентация

Как я могу представить Janko Group J2 в GAP? Я нашел презентацию J2 в атласе конечных групп, но она не работает. http://brauer.maths.qmul.ac.uk/Atlas/v3/spor/J2/ и это моя презентация: f:= FreeGroup( "a", "b");; г: = F /[ф.1 ^ 2 = ф.2^3=(ф.1 * ф.2)^…
25 янв '18 в 08:24
1 ответ

Любой алгоритм, связанный с кубиком Рубика

У меня вчера была интересная идея. Представьте, что у вас есть кубик Рубика с одинаковыми цветами на каждом лице. Теперь, если я закручиваю его один раз и знаю, как его крутить, я всегда могу вернуть куб к его оригиналу, выполнив этот шаг в обратном…
17 июл '17 в 17:20
2 ответа

Определить, образует ли (*,G) ассоциативную группу в теории групп

Допустим, у меня есть группа G={a,b,e}, где a, b произвольные элементы, а e обозначает нейтральный элемент. Я придумал определенную таблицу Кейли и хочу проверить, правильно ли я сделал, проверив ассоциативность. Это означает, что я хочу проверить д…
12 окт '14 в 17:40
0 ответов

МАГМА: группы автоморфизмов, действующих на инволюции

Например, если мы позволим G: = Sym (6); A: = группа автоморфизмов (G); P: = группа перестановок (A); I: = {@ i: i в G | Order(i) eq 2 @}; тогда как можно построить G-множество, в котором P действует на I по карте, и показывает, как автоморфизмы пер…
11 июл '18 в 14:13
1 ответ

Собственность идентичности в Cayley Table

Я работаю над проектом, который требует, чтобы я распознал, есть ли у таблиц Кейли в моих текстовых файлах свойства идентичности, ассоциативных, обратных и абелевых. В настоящее время я работаю над функцией идентичности, и хотя считаю, что должен ис…
19 май '12 в 03:34
1 ответ

Использовать функции, определенные в классе

Я пишу программу для представления конечных групп и простых операций над их элементами. Я написал большую часть необходимой мне функциональности, например, инверсные элементы, генераторы, проверку подгруппы и т. Д. К сожалению, все мои функции нужда…
30 янв '16 в 21:06
1 ответ

Элементарные абелевы группы

Я только что прочитал в Википедии об элементарных абелевых группах, которые, похоже, связаны с битовыми полями. Я был бы признателен, если бы кто-то мог объяснить мне этот конкретный абзац, так как я стараюсь полностью освоить битовые поля.
14 июл '11 в 17:49
1 ответ

SAGE реализация дискретного логарифма в подгруппе группы единиц

Это вопрос, связанный с этим. Вкратце, в криптосистеме ElGammal с лежащей в основе группой группой модулей по модулю простого числа p мне сказали найти подгруппу индекса 2 для решения задачи дискретного логарифма, чтобы сломать систему. Ясно, что, п…
31 окт '16 в 11:35
1 ответ

Тотальность и поиск элементов в потоках

Я хочу find функция для потоков ограниченных по размеру типов, которая аналогична функциям поиска для списков и Vects. total find : MaxBound a => (a -> Bool) -> Stream a -> Maybe a Задача состоит в том, чтобы сделать это: быть полным пот…
03 сен '17 в 07:36
0 ответов

Определить, является ли подслово тривиальным в конечно представленной группе

Я пишу программу на python, чтобы определить, тривиально ли подслово отношения в конечной группе. Группа будет представлена ​​в виде строки этой формы "a,b,c,d,e | a b c e, b d', d c, a e b", Вот a' обозначим $a^{-1}$. Я хочу, например, спросить у п…
26 ноя '18 в 23:03
1 ответ

Минимальная стоимость факторинга в абелевых группах

У меня есть определенная проблема оптимизации, и мне интересно, есть ли разумный подход для ее решения. (Возможно, это было хорошо изучено, и я просто не знаю, под каким именем его искать.) У меня есть (EDIT: бесплатно) конечно порожденная абелева г…
21 сен '15 в 01:48
0 ответов

Как выбрать путь случайно и равномерно?

Как случайным образом и равномерно выбрать путь от узла 1 к произвольному заданному узлу, скажем, v (1<=v<=60), на следующем графе Кейли - хотя он направлен, пожалуйста, посмотрите, что это неориентированный граф.
15 янв '17 в 01:33
2 ответа

Теория групп и Python

Как написать код Python, чтобы проверить, является ли операция ∗ на множестве {0,1,..,n−1}, определенной таблицей Кэли, ассоциативной или нет. Мой попытался код: def is_associative_cayley_table(table): if not is_cayley_table(table): return False for…
20 апр '17 в 00:32
1 ответ

Граф в мудреце

Я хочу определить новый граф в мудреце. Пусть G конечная группа. Вершины графа являются подгруппами, и две вершины смежны тогда и только тогда, когда сумма двух подгрупп равна G. У меня проблемы с определением этого графа в мудреце. Любое предложени…
16 окт '12 в 10:27
0 ответов

Как мне расположить эти наборы так, чтобы они не повторялись друг против друга?

Поэтому я собрал дерби из соснового леса и нашел электронную таблицу, которая действительно хорошо работает для <20 автомобилей, но я должен построить свою собственную, если их больше 20. Я не могу придумать простой способ упорядочить автомобили так…
02 апр '19 в 20:29