Привет! Как поставщик коммутаторов, я много думал о том, как эти маленькие компоненты можно использовать в разных областях обучения. Один действительно интересный вопрос, который возникает: можно ли использовать коммутатор для изучения разрешения группы?
Давайте начнем с понимания того, что такое коммутатор. В мире теории группы, если у вас есть группа (G) и два элемента (A) и (b) в этой группе, коммутатор (a) и (b), написанный как ([a, b]), определяется как (a^{-1} b^{-1} ab). Это может показаться простой маленькой формулой, но она накладывает удар с точки зрения того, что она может рассказать нам о группе.
Теперь, что это значит, чтобы группа была решаемой? Группа (g) разрешается, если есть последовательность подгрупп (g = g_0 \ geq g_1 \ geq \ cdots \ geq g_n = {e}), где (e) является элементом идентификации группы, и каждый (g_ {i + 1}) является нормальной подгруппой (G_i) и котирующей группой (g_i/g_ {i + 1). В более простых терминах мы можем разбить группу на более мелкие, более хорошо - поведенные (абелианские) части.
Итак, как коммутаторы вписываются в эту картину? Что ж, подгруппа коммутатора, часто обозначаемая как (G ') или ([G, G]), является подгруппой, генерируемой всеми коммутаторами в группе (G). То есть (g '= \ langle [a, b]: a, b \ in g \ rangle).
Подгруппа коммутатора очень важна, когда дело доходит до изучения разрешения. Одним из ключевых свойств является то, что группа (G) является абелианской, когда и только тогда, когда ее подгруппа коммутатора (g '= {e}). Это связано с тем, что если (g) является авелевским, то для любого (a, b \ in g), (ab = ba). Итак, ([a, b] = a^{-1} b^{-1} ab = a^{-1} ab^{-1} b = e). Наоборот, if (g '= {e}), тогда для All (a, b \ in g), ([a, b] = e), что означает (a^{-1} b^{-1} ab = e). Умножьте обе стороны слева на (AB), и вы получите (ab = ba), поэтому (g) является авелевским.
Теперь давайте подумаем об отношениях между подгруппой коммутатора и разрешением. Мы можем сформировать последовательность подгрупп коммутатора. Начните с (g_0 = g), тогда (g_1 = [g_0, g_0] = g '), (g_2 = [g_1, g_1]) и в целом, (g_ {i+1} = [g_i, g_i]). Эта последовательность называется производной серии группы (G).
Группа (G) разрешается тогда и только тогда, когда производная серия в конечном итоге достигает тривиальной группы ({e}). То есть существует не -отрицательное целое число (n), такое, что (g_n = {e}). Чтобы увидеть, почему это так, сначала предположим, что (g) разрешается с помощью решаемой серии (g = h_0 \ geq h_1 \ geq \ cdots \ geq h_n = {e}), где (h_ {i}/h_ {i + 1}) является Abelian. Мы можем показать путем индукции, что (g_i \ leq h_i) для всех (i). Для (i = 0), (g_0 = g = h_0). Предположим (g_i \ leq h_i). Поскольку (h_ {i}/h_ {i + 1}) является абелианским, ([h_i, h_i] \ leq h_ {i + 1}). И, поскольку (g_ {i+1} = [g_i, g_i]) и (g_i \ leq h_i), у нас есть (g_ {i+1} \ leq [h_i, h_i] \ leq h_ {i+1}). В конце концов, когда (h_n = {e}, g_n = {e}).
Наоборот, если производная серия (g = g_0 \ geq g_1 \ geq \ cdots \ geq g_n = {e}), то каждый (g_i/g_ {i+1}) является абелятором, потому что (g_ {i+1} = [g_i, g_i]), и подложка Commutator (g_i/g_ {i+1), и TRIV Is TRIV Докажите это, используя свойства родственных групп и коммутаторов). Таким образом, сама производная серия представляет собой решаемую серию для (g).
С практической точки зрения, когда мы смотрим на группу, мы можем рассчитать шаг подгрупп коммутатора - на шаг. Мы начинаем с поиска всех коммутаторов в группе, чтобы сформировать первую подгруппу коммутатора (G '). Тогда мы делаем то же самое, чтобы (G ') чтобы получить (G' '') и так далее. Если в какой -то момент мы получим только элемент идентификации, мы знаем, что группа разрешается.
Как поставщик коммутатора, я нахожу эту связь между коммутаторами и групповой решаемостью. Это показывает, что эти маленькие компоненты, о которых в основном рассматриваются в контексте электротехники и машиностроения, где я их поставляю, имеют это глубокое математическое применение.
Если вы увлекаетесь абстрактной алгеброй и проводите исследования по теории групп, концепция коммутаторов и их использование в изучении устранения может открыть совершенно новую область исследования. Вы можете использовать вычислительные инструменты для расчета подгрупп коммутатора для больших и сложных групп. Есть также много теоретических результатов, которые могут помочь вам проанализировать структуру групп на основе их подгрупп коммутатора.
Что действительно круто, так это то, что изучение групповой решаемости также имеет реальные мировые приложения. Например, в теории Галуа, растворимость группы Галуа полиномиального уравнения связана с тем, может ли уравнение быть решено с помощью радикалов. Таким образом, используя коммутаторы для изучения разрешения группы Galois, мы можем получить представление о полиномиальных уравнениях.
Теперь, если вы находитесь на рынке для высоких - качественных коммутаторов для ваших электрических или механических проектов, вы попали в нужное место. Мы предлагаем широкий спектр коммутаторов вКоммутаторыАнкет Независимо от того, нуждаются ли вам небольшие коммутаторы для точных инструментов или крупные масштабные для промышленных приложений, мы предоставим вас.
Если вы заинтересованы в обсуждении ваших конкретных требований или хотите получить цитату, не стесняйтесь обратиться. Мы всегда рады поговорить и посмотреть, как мы можем помочь вам с вашими потребностями коммутатора. Независимо от того, являетесь ли вы инженером, исследователем или кем -то, кто просто ищет надежные компоненты, мы здесь, чтобы поддержать вас.
Ссылки
- Dummit, DS, & Foote, RM (2004). Абстрактная алгебра. Уайли.
- Лонг С. (2002). Алгебра. Спрингер.