Matroids Matheplanet Forum Index
Moderiert von Buri Gockel
Strukturen und Algebra » Gruppen » Gruppe der Ordnung 5
Autor
Kein bestimmter Bereich J Gruppe der Ordnung 5
dbrust_2000
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.01.2007
Mitteilungen: 302
  Themenstart: 2023-02-08

Hallo zusammen, wie kann ich herausfinden, ob eine Verknüpfungstafel zu einer Gruppe gehört? Ich habe hier folgende Verknüpfungstafel, die nicht zu \mathbb{Z}_{5} gehört: https://matheplanet.com/matheplanet/nuke/html/uploads/c/16731_Gruppe5.png -Verknüpfung ist abgeschlossen -es gibt neutrales Element -zu jedem Element gibt es ein Inverses also muss die Verknüpfung doch irgendwo nicht assoziativ sein. Aber da finde ich kein Beispiel. könnt ihr mir helfen? Liebe Grüße dbrust_2000


   Profil
Diophant
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 18.01.2019
Mitteilungen: 10522
Wohnort: Rosenfeld, BW
  Beitrag No.1, eingetragen 2023-02-08

\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}} \newcommand{\ea}{\end{aligned}} \newcommand{\bc}{\begin{cases}} \newcommand{\ec}{\end{cases}} \newcommand{\bpm}{\begin{pmatrix}} \newcommand{\epm}{\end{pmatrix}} \newcommand{\bvm}{\begin{vmatrix}} \newcommand{\evm}{\end{vmatrix}} \newcommand{\mb}[1]{\mathbb{#1}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mf}[1]{\mathfrak{#1}} \newcommand{\ms}[1]{\mathscr{#1}} \newcommand{\on}{\operatorname} \newcommand{\ds}{\displaystyle}\) Hallo, man hat hier tatsächlich Assoziativität und muss einfach die Elemente umbenennen (mit Ausnahme des neutralen Elements), denn mit der Assoziativität ist klar, dass das Ding isomorph zu \(\IZ_5\) sein muss. Vertausche einmal die Bezeichnungen der Elemente 2 und 3, dann solltest du eine Verknüpfungstafel von \(\IZ_5\) erhalten... Gruß, Diophant\(\endgroup\)


   Profil
StrgAltEntf
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 19.01.2013
Mitteilungen: 8197
Wohnort: Milchstraße
  Beitrag No.2, eingetragen 2023-02-08

\quoteon(2023-02-08 20:50 - dbrust_2000 im Themenstart) also muss die Verknüpfung doch irgendwo nicht assoziativ sein. Aber da finde ich kein Beispiel. \quoteoff Hallo, wieso soll denn die Verknüpfung nicht assoziativ sein? Vielleicht handelt es sich ja doch um eine Gruppe- [Die Antwort wurde vor Beitrag No.1 begonnen.]


   Profil
dbrust_2000
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.01.2007
Mitteilungen: 302
  Beitrag No.3, vom Themenstarter, eingetragen 2023-02-09

Dann habe ich das hoffentlich so richtig gemacht: https://matheplanet.com/matheplanet/nuke/html/uploads/c/16731_Gruppe5neu.png @Diophant: Wie hast Du so schnell erkannt, dass 2 und 3 die Rollen tauschen


   Profil
Diophant
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 18.01.2019
Mitteilungen: 10522
Wohnort: Rosenfeld, BW
  Beitrag No.4, eingetragen 2023-02-09

\(\begingroup\)\(\newcommand{\ba}{\begin{aligned}} \newcommand{\ea}{\end{aligned}} \newcommand{\bc}{\begin{cases}} \newcommand{\ec}{\end{cases}} \newcommand{\bpm}{\begin{pmatrix}} \newcommand{\epm}{\end{pmatrix}} \newcommand{\bvm}{\begin{vmatrix}} \newcommand{\evm}{\end{vmatrix}} \newcommand{\mb}[1]{\mathbb{#1}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mf}[1]{\mathfrak{#1}} \newcommand{\ms}[1]{\mathscr{#1}} \newcommand{\on}{\operatorname} \newcommand{\ds}{\displaystyle}\) \quoteon(2023-02-09 12:19 - dbrust_2000 in Beitrag No. 3) @Diophant: Wie hast Du so schnell erkannt, dass 2 und 3 die Rollen tauschen \quoteoff Um ehrlich zu sein: der Gedanke, dass die Struktur bis auf die Benennung ihrer Elemente zu \(\IZ_5\) isomorph ist, lag ja nahe, da ich auch kein Gegenbeispiel für die Assoziativität entdecken konnte. Wenn man genau hinsieht, dann fällt auf, dass die Verknüpfungen der 1 und der 4 mit sich selbst, aber auch untereinander passen. Auch alle, an denen das Element e beteiligt ist, das man ja unschwer als neutrales Element erkennt. Also lag diese Vertauschung nahe. Ich habe sie dann noch mit Hilfe einer Tabellenkalkulation überprüft. Also: Glück, scharfes Hinsehen und das passende Tool. Von allem ein bisschen. 😉 Gruß, Diophant \(\endgroup\)


   Profil
thureduehrsen
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 13.11.2007
Mitteilungen: 1418
Wohnort: Kiel, Deutschland
  Beitrag No.5, eingetragen 2023-02-09

Etwas off-topic: \showon \quoteon(2023-02-09 12:32 - Diophant in Beitrag No. 4) Also lag diese Vertauschung nahe. Ich habe sie dann noch mit Hilfe einer Tabellenkalkulation überprüft. \quoteoff Gruppentafeln per Tabellenkalkulation? Mit völlig allgemein benannten Elementen? Wie kriegt man das halbwegs elegant hin, ohne dass die Formeln kilometerlang werden? \showoff mfg thureduehrsen


   Profil
Diophant
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 18.01.2019
Mitteilungen: 10522
Wohnort: Rosenfeld, BW
  Beitrag No.6, eingetragen 2023-02-09

@thureduehrsen: \quoteon(2023-02-09 12:39 - thureduehrsen in Beitrag No. 5) Gruppentafeln per Tabellenkalkulation? Mit völlig allgemein benannten Elementen? Wie kriegt man das halbwegs elegant hin, ohne dass die Formeln kilometerlang werden? \quoteoff Eine Liste mit den Elementen in fünf Zellen, dann alle Einträge der Verknüpfungstabelle per Formel aus dieser Liste holen. Dann braucht man nur die Elemente in der ursprünglichen Liste umbenennen und alle Einträge der Tabelle machen das automatisch mit. Das geht bei einer kleinen Tabelle so wie hier per Copy&Paste sehr schnell, für größere Tabellen wäre es sicherlich nicht praktikabel. Ich war zu faul, es handschriftlich zu überprüfen, das ist der ganze Hintergrund. 😁 Gruß, Diophant


   Profil
StrgAltEntf
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 19.01.2013
Mitteilungen: 8197
Wohnort: Milchstraße
  Beitrag No.7, eingetragen 2023-02-09

\quoteon(2023-02-09 12:19 - dbrust_2000 in Beitrag No. 3) @Diophant: Wie hast Du so schnell erkannt, dass 2 und 3 die Rollen tauschen \quoteoff Ich hatte mir den Zyklus der 1 angeschaut: 1°1 = 3 1°3 = 2 1°2 = 4 1°4 = e Also (1, 3, 2, 4, e) Das legt dann nahe, (1, 3, 2, 4, e) durch (1, 2, 3, 4, 0) zu ersetzen. Folgendes wäre auch gegangen: 2°2 = 1 2°1 = 4 2°4 = 3 2°3 = e Man könnte also auch (2, 1, 4, 3, e) durch (1, 2, 3, 4, 0) ersetzen und müsste dann ebenfalls auf die bekannte Verknüpfungstafel kommen. [Die Antwort wurde nach Beitrag No.5 begonnen.]


   Profil
dbrust_2000
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 22.01.2007
Mitteilungen: 302
  Beitrag No.8, vom Themenstarter, eingetragen 2023-02-09

Ah, ok, man sieht es also nicht sofort. Man muss sich da schon was überlegen. Vielen Dank


   Profil
dbrust_2000 hat die Antworten auf ihre/seine Frage gesehen.
dbrust_2000 hat selbst das Ok-Häkchen gesetzt.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]