Действие группы

Действие группы на некотором множестве объектов позволяет изучать симметрии этих объектов с помощью аппарата теории групп.

Источник: Википедия

Связанные понятия

Прямое или декартово произведение двух множеств — это множество, элементами которого являются все возможные упорядоченные пары элементов исходных множеств.

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

Гру́ппа в математике — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный. Ветвь общей алгебры, занимающаяся группами, называется теорией групп.

Изометрия — биекция между метрическими пространствами, сохраняющая расстояния между точками.

Фундамента́льная гру́ппа — определённая группа, которая сопоставляется топологическому пространству.

Упоминания в литературе

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

Дмитрий Михалевский, Пространство и Бытие. Сборник статей, 2017

Связанные понятия (продолжение)

Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.

Проективная пло́скость — двумерное проективное пространство. Важным частным случаем является вещественная проективная плоскость.

За́мкнутое мно́жество — подмножество пространства, дополнение к которому открыто.

Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.

Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно однозначным отображением (соответствием), одно-однозначным отображением.

Ве́кторное (или лине́йное) простра́нство — математическая структура, которая представляет собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трехмерное евклидово пространство, векторы которого используются, к примеру, для представления...

Норма́льная подгру́ппа (также инвариа́нтная подгру́ппа или нормальный делитель) — подгруппа особого типа, левый и правый смежные классы по которой совпадают.

Аффи́нное простра́нство — математический объект (пространство), обобщающий некоторые свойства евклидовой геометрии. В отличие от векторного пространства, аффинное пространство оперирует с объектами не одного, а двух типов: «векторами» и «точками».

Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства.

Полная линейная группа векторного пространства V — это группа обратимых линейных операторов вида C: V → V. Роль групповой операции играет обычная композиция линейных операторов.

Си́мплекс или n-мерный тетра́эдр (от лат. simplex ‘простой’) — геометрическая фигура, являющаяся n-мерным обобщением треугольника.

Гру́ппа Галуа́ — группа, ассоциированная с расширением поля. Играет важную роль при исследовании расширений полей, в частности, в теории Галуа. Это понятие (в контексте группы перестановок корней многочлена) ввёл в математику Эварист Галуа в 1832 году.

В математике свободная абелева группа (свободный Z-модуль) — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии...

Внутренний автоморфизм — это вид автоморфизма группы, определённый в терминах фиксированного элемента группы, называемого сопрягающим элементом. Формально, если G — группа, а a — элемент группы G, то внутренний автоморфизм, определённый элементом a — это отображение f из G в себя, определённое для всех x из G по формуле...

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

Коммутативное кольцо — кольцо, в котором операция умножения коммутативна (обычно также подразумевается её ассоциативность и существование единицы). Изучением свойств коммутативных колец занимается коммутативная алгебра.

Если дано топологическое пространство и группа действий на нём, образы отдельной точки под действием группы действий образуют орбиты действий. Фундаментальная область — это подмножество пространства, которое содержит в точности по одной точке из каждой орбиты. Она даёт геометрическую реализацию абстрактного множества представителей орбит.

Подробнее: Фундаментальная область

Метри́ческим простра́нством называется непустое множество, в котором между любой парой элементов, обладающих определенными свойствами, определено расстояние, называемое ме́трикой.

Подробнее: Метрическое пространство

Факторкольцо́ — общеалгебраическая конструкция, позволяющая распространить на случай колец конструкцию факторгруппы. Любое кольцо является группой по сложению, поэтому можно рассмотреть её подгруппу и взять факторгруппу. Однако для того, чтобы на этой факторгруппе можно было корректно определить умножение, необходимо, чтобы исходная подгруппа была замкнута относительно умножения на произвольные элементы кольца, то есть являлась идеалом.

Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.

Свобо́дный мо́дуль — модуль F над кольцом R (как правило, считаемым ассоциативным c единичным элементом), если он либо является нулевым, либо обладает базисом, то есть непустой системой S элементов e1,…ei…, которая является линейно независимой и порождает F. Само кольцо R, рассматриваемое как левый модуль над собой, очевидно обладает базисом, состоящим из одного единичного элемента кольца, а каждый модуль с конечным базисом из n элементов изоморфен прямой сумме Rn колец R, рассматриваемых как модули...

По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления (кроме деления на нуль), причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Хотя названия операций поля взяты из арифметики, следует иметь в виду, что элементы поля не обязательно являются числами, и определения операций могут быть далеки от арифметических.

Непреры́вное отображе́ние (непрерывная функция) — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.

Расшире́ние Галуа́ — алгебраическое расширение поля E/K, являющееся нормальным и сепарабельным. При этих условиях E будет иметь наибольшее количество автоморфизмов над K (если E конечно, то количество автоморфизмов также конечно и равно степени расширения ).

Полное метрическое пространство — метрическое пространство, в котором каждая фундаментальная последовательность сходится (к элементу этого же пространства).

Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.

Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...

Характеристический многочлен матрицы — многочлен, определяющий её собственные значения.

Коне́чноме́рное простра́нство — это векторное пространство, в котором имеется конечный базис — порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система векторов, линейной комбинацией которых можно представить любой вектор данного пространства.

Диэдральная группа (группа диэдра) — группа симметрии правильного многоугольника, включающая как вращения, так и осевые симметрии. Диэдральные группы являются простейшими примерами конечных групп и играют важную роль в теории групп, геометрии и химии. Хорошо известно и совершенно тривиально проверяется, что группа, образованная двумя инволюциями с конечным числом элементов в области определения является диэдральной группой.

Простая группа — группа, не имеющая нормальных подгрупп, отличных от всей группы и единичной подгруппы.

Хаусдорфово пространство — топологическое пространство, удовлетворяющее сильной аксиоме отделимости T2.

Откры́тое мно́жество — это множество, каждый элемент которого входит в него вместе с некоторой окрестностью (в метрических пространствах и, в частности, на числовой прямой). Например, внутренность шара (без границы) является открытым множеством, а шар вместе с границей - не является открытым.

Граф Кэли — граф, который строится по группе с выделенной системой образующих. Назван в честь Артура Кэли.

Представле́ние гру́ппы (точнее, линейное представление группы) — гомоморфизм заданной группы в группу невырожденных линейных преобразований векторного пространства.

Проекти́вный мо́дуль — одно из основных понятий гомологической алгебры. С точки зрения теории категорий, проективные модули являются частным случаем проективных объектов.

Изоморфизм групп — взаимно-однозначное соответствие между элементами двух групп, сохраняющее групповые операции.

Разрешимая группа — группа, ряд коммутантов которой заканчивается на тривиальной группе.

В общей алгебре, дедекиндово кольцо — это целостное кольцо, в котором каждый ненулевой собственный идеал раскладывается в произведение простых идеалов. Можно показать, что в этом случае разложение единственно с точностью до порядка сомножителей. Ниже приведено несколько других описаний дедекиндовых колец, которые можно принять за определение.

В линейной алгебре линейная зависимость — это свойство, которое может иметь подмножество линейного пространства. При линейной зависимости существует нетривиальная линейная комбинация элементов этого множества, равная нулевому элементу. При отсутствии такой комбинации, то есть, когда коэффициенты единственной такой линейной комбинации равны нулю, множество называется линейно независимым.

Плоскость Фано — конечная проективная плоскость порядка 2, имеющая наименьшее возможное число точек и прямых (7 точек и 7 прямых), с тремя точками на каждой прямой и с тремя прямыми, проходящими через каждую точку. Названа по имени итальянского математика Джино Фано.

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

Ба́зис (др.-греч. βασις «основа») — упорядоченный (конечный или бесконечный) набор векторов в векторном пространстве, такой, что любой вектор этого пространства может быть единственным образом представлен в виде линейной комбинации векторов из этого набора. Векторы базиса называются базисными векторами.

Инволюция (от лат. involutio — свёртывание, завиток) — преобразование, которое является обратным самому себе.

Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом (или собственным значением) линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная...

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я