¿La acción regular de grupo de GGG sobre sí misma es doblemente transitiva? [cerrado]

es la acción de GRAMO en sí mismo ( X = GRAMO ) a través de la multiplicación por la izquierda doblemente transitiva?

(Sé que es transitivo, pero no puedo averiguar cómo probar o refutar 2 -transitividad)

Editar - Doblemente transitivo - Para cualquier X 1 , X 2 , y 1 , y 2 X con X 1 X 2 y y 1 y 2 , existe alguna gramo GRAMO tal que gramo X 1 = y 1 y gramo X 2 = y 2 . Ver: https://groupprops.subwiki.org/wiki/Doubly_transitive_group_action

Enlazaría o citaría una definición de doblemente transitiva .
Si si GRAMO tiene exactamente dos elementos. No de otra manera. Te dejaré intentar averiguar cómo probarlo, ya que es bastante sencillo.
Creo que es más fácil usar esta caracterización de doblemente transitiva: GRAMO es transitivo en Ω y un estabilizador GRAMO α es transitivo en Ω { α } . como estabilizador de 1 es { 1 } está claro que obtenemos doble transitividad solo cuando | GRAMO | = 2 .

Respuestas (2)

SUGERENCIA: Si y 1 = gramo X 1 , y 2 = gramo X 2 , entonces

y 1 1 y 2 = X 1 1 X 2

(como los "vectores" X 1 X 2 y y 1 y 2 son iguales)

La acción regular no es solo transitiva, es marcadamente transitiva. Eso significa que, dado cualquier X , y GRAMO existe un elemento de grupo único gramo GRAMO para cual y = gramo X . No hay margen de maniobra en la elección de gramo ! Y por lo tanto, si hay más de una opción de donde queremos enviar simultáneamente un segundo elemento, no podremos realizar todos estos destinos ya que solo hay una opción de viaje, gramo , ¡trabajar con! Esto ocurre si | GRAMO | > 2 .

En particular, el único elemento de GRAMO que envía el elemento de identidad mi GRAMO a gramo GRAMO es gramo sí mismo. Si tenemos un segundo elemento X GRAMO , el único lugar al que también podría enviarse es a gramo X , no a ningún otro elemento. Desde X es distinto de mi , podemos decir gramo X es distinto de X , y si hubiera algún tercer elemento y gramo , gramo X eso significaría que es imposible hacer arreglos para mi gramo , X y desde mi gramo automáticamente implica X gramo X en la representación ordinaria.