Является ли регулярное групповое действие GGG на себя дважды транзитивным? [закрыто]

Является ли действие г на себя( Икс "=" г ) через левое умножение дважды транзитивно?

(Я знаю, что это транзитивно, но не могу понять, как доказать или опровергнуть 2 -транзитивность)

Редактировать - Дважды транзитивно - Для любого Икс 1 , Икс 2 , у 1 , у 2 е Икс с Икс 1 Икс 2 и у 1 у 2 , существует некоторое г е г такой, что г Икс 1 "=" у 1 и г Икс 2 "=" у 2 . См.: https://groupprops.subwiki.org/wiki/Double_transitive_group_action

Я бы дал ссылку или процитировал определение дважды транзитивного .
Да, если г имеет ровно два элемента gs. Нет иначе. Я позволю вам попытаться выяснить, как это доказать, так как это довольно просто.
Я думаю, что проще всего использовать эту характеристику дважды транзитивного: г является транзитивным на Ом , и стабилизатор г α является транзитивным на Ом { α } . В качестве стабилизатора 1 является { 1 } ясно, что мы получаем двойную транзитивность только тогда, когда | г | "=" 2 .

Ответы (2)

СОВЕТ: если у 1 "=" г Икс 1 , у 2 "=" г Икс 2 , затем

у 1 1 у 2 "=" Икс 1 1 Икс 2

(как "векторы" Икс 1 Икс 2 и у 1 у 2 равны)

Регулярное действие не просто транзитивно, оно резко транзитивно. Это означает, что при любом Икс , у е г существует единственный групповой элемент г е г для которого у "=" г Икс . В выборе нет места для маневра г ! И, таким образом, если есть более одного выбора того, куда мы можем захотеть одновременно отправить второй элемент, мы не сможем реализовать все эти пункты назначения, поскольку есть только один вариант путешествия, г , работать с! Это происходит, если | г | > 2 .

В частности, единственный элемент г который отправляет элемент идентификации е е г к г е г является г сам. Если у нас есть второй элемент Икс е г , то единственное место, куда его можно было бы также отправить, это г Икс , а не к любому другому элементу. С Икс отличается от е , мы можем сказать г Икс отличается от Икс , и если бы был какой-то третий элемент у г , г Икс это означало бы, что невозможно организовать е г , Икс у с е г автоматически подразумевает Икс г Икс в обычном представлении.