Ist die reguläre Gruppenaktion von GGG auf sich selbst doppelt transitiv? [geschlossen]

Ist die Aktion von G auf sich selbst ( X = G ) über linke Multiplikation doppelt transitiv?

(Ich weiß, dass es transitiv ist, kann aber nicht herausfinden, wie ich es beweisen oder widerlegen soll 2 -Transitivität)

Bearbeiten - Doppelt transitiv - Für alle X 1 , X 2 , j 1 , j 2 X mit X 1 X 2 Und j 1 j 2 , es gibt welche G G so dass G X 1 = j 1 Und G X 2 = j 2 . Siehe: https://groupprops.subwiki.org/wiki/Double_transitive_group_action

Ja, wenn G hat genau zwei Elemente. Nein sonst. Ich lasse Sie versuchen, herauszufinden, wie Sie es beweisen können, da es ziemlich einfach ist.
Ich denke, es ist am einfachsten, diese Charakterisierung von doppelt transitiv zu verwenden: G ist transitiv an Ω , und einen Stabilisator G a ist transitiv an Ω { a } . Als Stabilisator von 1 Ist { 1 } Es ist klar, dass wir nur dann doppelte Transitivität bekommen | G | = 2 .

Antworten (2)

HINWEIS: Wenn j 1 = G X 1 , j 2 = G X 2 , Dann

j 1 1 j 2 = X 1 1 X 2

(wie die "Vektoren" X 1 X 2 Und j 1 j 2 sind gleich)

Die reguläre Aktion ist nicht nur transitiv, sie ist scharf transitiv. Das heißt, gegebenfalls X , j G es existiert ein eindeutiges Gruppenelement G G wofür j = G X . Bei der Auswahl gibt es keinen Spielraum G ! Wenn es also mehr als eine Wahl gibt, wohin wir vielleicht gleichzeitig ein zweites Element schicken möchten, werden wir nicht in der Lage sein, alle diese Ziele zu realisieren, da es nur eine Reiseoption gibt, G , arbeiten mit! Dies geschieht, wenn | G | > 2 .

Insbesondere das einzige Element von G das das Identitätselement sendet e G Zu G G Ist G selbst. Wenn wir ein zweites Element haben X G , der einzige Ort, an den es dann auch gesendet werden könnte, ist an G X , nicht zu einem anderen Element. Seit X unterscheidet sich von e , Wir können sagen G X unterscheidet sich von X , und ob es irgendein drittes Element gäbe j G , G X das würde bedeuten, dass es unmöglich ist, dies zu arrangieren e G , X j seit e G automatisch impliziert X G X in der regulären Vertretung.