| Autor |
  Abwandlung der Gruppenaxiome |
|
Fornax
Aktiv 
Dabei seit: 05.10.2018
Mitteilungen: 83
Aus:
 | \(\begingroup\)
Die Gruppenaxiome werde ja oft in der Form dargestellt, dass für eine Menge $G$ mit assoziativer innerer Verknüpfung und einem ausgezeichneten Element $e\in G$ die folgenden Eigenschaften erfüllt sind.
1A. $\left(\forall g\in G\right)\left(ge=g\right)$
2A. $\left(\forall g\in G\right)\left(\exists g^{-1}\in G\right)\left(gg^{-1}=e\right)$
Hier wirken die Eigenschaften des neutralen Elements und Inverser Elemente bei der Verknüpfung von rechts. Was ist aber, wenn ich bei einer der beiden Eigenschaften die Reihenfolge tausche, so dass es etwa ein linksneutrales aber rechtsinverse Elemente gibt.
1B. $\left(\forall g\in G\right)\left(eg=g\right)$
2B. $\left(\forall g\in G\right)\left(\exists g^{-1}\in G\right)\left(gg^{-1}=e\right)$
Ist das immer noch eine Gruppe. Um zu beweisen, dass rechtsinverse Elemente auch linksinvers sind, benötigt man doch, dass das neutrale und die inversen Elemente von der selben Seite ihre Eigenschaften entfalten.
Wenn durch die Eigenschaften 1B und 2B das Verknüpfungsgebilde nicht zu einer Gruppe wird, was kann es dann sein? Gibt es so etwas?
Gruß
Fornax\(\endgroup\)
|
 Für Fornax bei den Matheplanet-Awards stimmen
 Profil
 Quote
 Link |
AnnaKath
Senior 
Dabei seit: 18.12.2006
Mitteilungen: 3005
Aus: hier und dort (s. Beruf)
 |      Beitrag No.1, eingetragen 2018-10-17
|
Huhu Fornax,
linksneutrale/-inverse Elemente sind auch rechtsneutral/-invers; auch das "neue" Ding ist also lediglich eine Gruppe.
lg, AK.
//EDIT: Ich lese erst jetzt, dass Du nur eines der beiden Axiome ausgetauscht hast. Dann funktioniert der Standardbeweis natürlich nicht. Damit nehme ich erst einmal alles zurück.
|
Für AnnaKath bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
Fornax
Aktiv
Dabei seit: 05.10.2018
Mitteilungen: 83
Aus:
| Beitrag No.2, vom Themenstarter, eingetragen 2018-10-17
|
Kannst du mir den Beweis dafür, dass linksneutrale/-inverse Elemente sind auch rechtsneutral/-invers sind, aus meinen beiden Eigenschaften 1B und 2B zeigen? Mir ist der Beweis nicht mehr gelungen. Bitte die Frage nicht unterschätzen.
LG, Fornax
|
Für Fornax bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
Fornax
Aktiv
Dabei seit: 05.10.2018
Mitteilungen: 83
Aus:
| Beitrag No.3, vom Themenstarter, eingetragen 2018-10-17
|
\(\begingroup\)
Ich glaube, ich sehe Gespenster.
Ich habe eben in diesem Thread eine Antwort gelesen, in der jemand meinte, dass man aus $gg^{⁻1}=e$ durch Multiplikation von rechts mit $g$ die Gleichung $ge=eg$ erhält und deshalb $e$ von beiden Seiten neutral sein müsse, oder so ähnlich.
Ein paar Sekunden später war die Antwort verschwunden. Habe ich das nur geträumt? Ich muss mich auf meinen Geisteszustand untersuchen lassen.
Aber antworten kann ich darauf ja trotzdem. Hier wird nämlich angenommen, dass $g^{-1}g=e$ ist. Das muss aber nicht sein, weil in meiner Eigenschaft 2B nur die Rechtsinversheit von $g^{-1}$ gefordert wird, nicht anders herum.\(\endgroup\)
|
Für Fornax bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
AnnaKath
Senior
Dabei seit: 18.12.2006
Mitteilungen: 3005
Aus: hier und dort (s. Beruf)
| Beitrag No.4, eingetragen 2018-10-17
|
Entschuldigung, ich habe nicht genau gelesen - siehe Edit.
[Die Antwort wurde nach Beitrag No.2 begonnen.]
|
Für AnnaKath bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
Fornax
Aktiv
Dabei seit: 05.10.2018
Mitteilungen: 83
Aus:
| Beitrag No.5, vom Themenstarter, eingetragen 2018-10-17
|
Kein Problem. Aber, war es deine Antwort, die ich gesehen hatte?
|
Für Fornax bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
PrinzessinEinhorn
Senior
Dabei seit: 23.01.2017
Mitteilungen: 1853
Aus:
 | Beitrag No.6, eingetragen 2018-10-17
|
@Fornax: Mitglieder können hier ihre Beiträge eigenständig löschen, solange darauf nicht reagiert wurde.
Der Beitrag wurde also zurückgezogen.
|
Für PrinzessinEinhorn bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
AnnaKath
Senior
Dabei seit: 18.12.2006
Mitteilungen: 3005
Aus: hier und dort (s. Beruf)
| Beitrag No.7, eingetragen 2018-10-17
|
\(\begingroup\)
Huhu Fornax,
nein, es war nicht meine Antwort.
Nun, trotzdem denke ich, dass meine (zu) rasche Aussage richtig ist, denn es gilt:
(3) $e^{-1}=e$, wegen $ee=e$.
(4) $(ab)^{-1}=b^{-1}a^{-1}$, wegen $(ab)b^{-1}a^{-1}=aea^{-1}=aa^{-1}=e$
Somit: $a^{-1}a=ea^{-1}ea=e^{-1}a^{-1}ae=(ae)^{-1}ae=e$
Rechtinverse sind also auch Linksinvers.
//EDIT: Oder auch nicht. Ich sehe nun auch, dass das Blödsinn ist!
lg, AK.
[Die Antwort wurde nach Beitrag No.5 begonnen.]\(\endgroup\)
|
Für AnnaKath bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
ligning
Senior
Dabei seit: 07.12.2014
Mitteilungen: 2458
Aus: Berlin
 | Beitrag No.8, eingetragen 2018-10-17
|
@AnnaKath: Du gehst von der Eindeutigkeit des inversen Elements aus.
Es wurde nicht explizit gesagt, aber diese Axiome scheinen ein eindeutiges linkes Neutralelement e zu fordern, aber kein eindeutiges rechtes inverses. Ist das so beabsichtigt? Für Gruppen fordert man das nicht, die Eindeutigkeit ist ein Theorem. Wie es hier ist, ist mir a priori nicht so klar.
-----------------
⊗ ⊗ ⊗
|
Für ligning bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
ligning
Senior
Dabei seit: 07.12.2014
Mitteilungen: 2458
Aus: Berlin
| Beitrag No.9, eingetragen 2018-10-17
|
Für ligning bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
Fornax
Aktiv
Dabei seit: 05.10.2018
Mitteilungen: 83
Aus:
| Beitrag No.10, vom Themenstarter, eingetragen 2018-10-17
|
\(\begingroup\)
@ligning
Ich will nicht die Eindeutigkeit von $e$ fordern. Es mag noch andere Elemente mit dieser Eigenschaft geben. Woraus schließt du die Eindeutigkeit von $e$?
[Die Antwort wurde nach Beitrag No.8 begonnen.]\(\endgroup\)
|
Für Fornax bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
Fornax
Aktiv
Dabei seit: 05.10.2018
Mitteilungen: 83
Aus:
| Beitrag No.11, vom Themenstarter, eingetragen 2018-10-17
|
@ligning
Danke für den Link. Ich habe mir gedacht, dass es keine Gruppe sein muss. Ich hatte nur kein Beispiel gefunden. Damit ist das Thema ja schon erledigt.
Gruß
Fornax
|
Für Fornax bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
ligning
Senior
Dabei seit: 07.12.2014
Mitteilungen: 2458
Aus: Berlin
| Beitrag No.12, eingetragen 2018-10-17
|
\(\begingroup\)
@Fornax: Das schließe ich daraus, dass $e$ in deiner Formel nicht gebunden ist. Es ist also ein festes Element namens $e$ gemeint.
OK, es könnte noch andere geben, die die gleiche Eigenschaft haben, aber in dem Inversen-Axiom ist schon dieses $e$ gemeint und nicht irgendein neutrales.
Das ist auch nur eine kleine Sache.
[Die Antwort wurde nach Beitrag No.10 begonnen.]\(\endgroup\)
|
Für ligning bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
Fornax
Aktiv
Dabei seit: 05.10.2018
Mitteilungen: 83
Aus:
| Beitrag No.13, vom Themenstarter, eingetragen 2018-10-17
|
\(\begingroup\)
Ja, die Inversen sind bezüglich des erwähnten $e$ invers. Wenn es noch andere neutrale Elemente gibt, kommen vielleicht noch mehr inverse Elemente dazu, die aber ein Element nicht zu $e$ anullieren, sondern zu dem erwähnten anderen Neutralen.\(\endgroup\)
|
Für Fornax bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
tactac
Senior
Dabei seit: 15.10.2014
Mitteilungen: 1468
Aus:
 | Beitrag No.14, eingetragen 2018-10-17
|
\(\begingroup\)
\(\newcommand{\sem}[1]{[\![#1]\!]}\newcommand{\name}[1]{\ulcorner#1\urcorner}\)
Vielleicht interessanter Fakt: um zu prüfen, ob Halbgruppen mit irgendwelchen Zusatzforderungen schon Gruppen sind, bietet sich oft das einfache Beispiel an, wo die Verknüpfung einfach immer eins der Argumente produziert. Konkret hier: $x\cdot y := y$. Das ist offensichtlich assoziativ, also braucht man sich darum nicht mehr zu kümmern.
Nun ist damit *jedes* Element offenkundig linksneutral. Wählen wir eins davon aus und nennen es $e$.
Dieses $e$ ist dann aber auch Rechtsinverses für jedes Element.
Außer im Fall, dass die Grundmenge weniger als 2 Elemente hat, haben wir also etwas gefunden, was den Axiomen gehorcht aber keine Gruppe ist.
[Die Antwort wurde nach Beitrag No.12 begonnen.]
Ergänzung: Das Beispiel funktioniert natürlich auch, wenn das Axiom über die Rechtsinversen nicht fordert, dass das gewählte linksneutrale Element zurückgeliefert wird, sondern irgendeins; formuliert etwa $$\forall x.\ \exists y. \forall z.\ x\cdot y \cdot z = z,$$ was in dem Beispiel noch viel offensichtlicher stimmt  \(\endgroup\)
|
Für tactac bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
np_complete
Aktiv 
Dabei seit: 24.03.2015
Mitteilungen: 250
Aus:
 |  Beitrag No.15, eingetragen 2018-10-17
|
\(\begingroup\)
Nach Voraussetzung existiert ein Element e aus der Gruppe, so dass für alle Elemente g aus der Gruppe $eg=g$ gilt. Also auch für das inverse Element eines Elementes h aus G. Es gilt also $eh^{-1}=h^{-1}$. Durch Linksmultiplikation mit h erhält man (1) $heh^{-1}=hh^{-1}=e$. Nun nehme man an dass $he\neq h$ gelte. Dann folgt durch Rechtsmultiplikation mit $h^{-1}$ die Ungleichung $heh^{-1}\neq hh^{-1}=e$. Setzt man nun für e die linke Seite von Gleichung (1) ein, erhält man $heh^{-1}\neq heh^{-1}$. Also ist die Annahme falsch, und für jedes h aus G gilt $he=e$
[Die Antwort wurde nach Beitrag No.8 begonnen.]
Nachtrag: Danke für den Hinweis in Beitrag 16. Ich lasse das mal so stehen, und ersetze das jetzt nicht durch "Hier stand Unsinn", weil es ein "schönes Beispiel" für einen typischen Denkfehler ist. Also naiver Umgang mit einem Ungleichheitszeichen in diesem Fall.\(\endgroup\)
|
Für np_complete bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
tactac
Senior
Dabei seit: 15.10.2014
Mitteilungen: 1468
Aus:
| Beitrag No.16, eingetragen 2018-10-17
|
@np_complete
dein Beweis ist fehlerhaft. Du gehst von der Injektivität der Rechtsmultiplikation mit einem festen Element aus, die durch nichts gerechtfertigt ist.
|
Für tactac bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
weird
Senior
Dabei seit: 16.10.2009
Mitteilungen: 4422
Aus:
 | Beitrag No.17, eingetragen 2018-10-18
|
\(\begingroup\)
Der Beweis geht unter den gegebenen Vorausetzungen (mit den auszufüllenden Lücken) natürlich so:
1. Es gibt nur ein Idempotent in $G$, nämlich $e$.
2. $g^{-1}g$ ist für alle $g\in G$ ein Idempotent, also dann $e$.
3. $e$ ist auch Linkseinselement (unter Verwendung von 2.).
PS: Ich habe diese Aufgabe schon gefühlt 20 mal in meinem Leben gesehen, aber obwohl es natürlich auch andere Beweismöglichkeiten gibt, ist die obige m.E. strukturell am einfachsten.\(\endgroup\)
|
Für weird bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
DerEinfaeltige
Senior
Dabei seit: 11.02.2015
Mitteilungen: 1970
Aus:
 | Beitrag No.18, eingetragen 2018-10-18
|
\(\begingroup\)
2018-10-18 00:08 - weird in Beitrag No. 17 schreibt:
Der Beweis geht unter den gegebenen Vorausetzungen (mit den auszufüllenden Lücken) natürlich so:
1. Es gibt nur ein Idempotent in $G$, nämlich $e$.
2. $g^{-1}g$ ist für alle $g\in G$ ein Idempotent, also dann $e$.
3. $e$ ist auch Linkseinselement (unter Verwendung von 2.).
Wie begründest du 2.?
Es gilt $g^{-1}(g^{-1})^{-1} = e$.
Außerdem gilt bspw.
$ge = (g^{-1})^{-1}$
und für alle $h,g,(g^{-1})^{-1}$ gilt
$gh = (g^{-1})^{-1} h$
Daraus folgt jedoch nicht $g = (g^{-1})^{-1}$, da wir nicht rechts kürzen können.
Eine etwas verzerrte Modulare Addition bietet ein potentiell nichttriviales Beispiel für die Struktur:
$p \in \mathbb{N}, p \geq 2$
Elemente:
$a_p = (q_a,r_a), q_a \in \mathbb{Z}, r_a \in \mathbb{Z}_p$
Verknüpfung:
$a_p \bigoplus b_p = (q_b, r_a + r_b \mod p)$
Rechtsneutrales Element:
$0_p = (0,0)$
Inverses Element:
$-a_p = (0, -r_a)$
Das Grundprinzip entspricht natürlich dem von tactac.
-----------------
Why waste time learning when ignorance is instantaneous?
- Bill Watterson -\(\endgroup\)
|
Für DerEinfaeltige bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
weird
Senior
Dabei seit: 16.10.2009
Mitteilungen: 4422
Aus:
| Beitrag No.19, eingetragen 2018-10-18
|
\(\begingroup\)
2018-10-18 10:21 - DerEinfaeltige in Beitrag No. 18 schreibt:
2018-10-18 00:08 - weird in Beitrag No. 17 schreibt:
Der Beweis geht unter den gegebenen Vorausetzungen (mit den auszufüllenden Lücken) natürlich so:
1. Es gibt nur ein Idempotent in $G$, nämlich $e$.
2. $g^{-1}g$ ist für alle $g\in G$ ein Idempotent, also dann $e$.
3. $e$ ist auch Linkseinselement (unter Verwendung von 2.).
Wie begründest du 2.?
Einfach durch stures Ausrechnen:
$(g^{-1}g)(g^{-1}g)=g^{-1}(gg^{-1})g=g^{-1}eg=g^{-1}g$
Oder hast du was anderes gemeint?\(\endgroup\)
|
Für weird bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
DerEinfaeltige
Senior
Dabei seit: 11.02.2015
Mitteilungen: 1970
Aus:
| Beitrag No.20, eingetragen 2018-10-18
|
Ich hatte deinen Punkt 1. nicht genau gelesen.
Dieser ist im Allgemeinen ja nicht axiomatisch und hier auch nicht gegeben.
Es soll nur gelten:
1. Es gibt eine innere, assoziative Verknüpfung.
2. Es existiert bzgl. dieser ein linksneutrales Element.
3. Zu jedem Element existiert ein rechtsinverses Element.
Edit:
Vergleiche mit den Gruppenaxiomen
1. Es gibt eine innere, assoziative Verknüpfung.
2. Es existiert bzgl. dieser ein linksneutrales Element.
3. Zu jedem Element existiert ein linksinverses Element.
-----------------
Why waste time learning when ignorance is instantaneous?
- Bill Watterson -
|
Für DerEinfaeltige bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
weird
Senior
Dabei seit: 16.10.2009
Mitteilungen: 4422
Aus:
| Beitrag No.21, eingetragen 2018-10-18
|
2018-10-18 11:13 - DerEinfaeltige in Beitrag No. 20 schreibt:
Es soll nur gelten:
1. Es gibt eine innere, assoziative Verknüpfung.
2. Es existiert bzgl. dieser ein linksneutrales Element.
3. Zu jedem Element existiert ein rechtsinverses Element.
Ja, tut mir echt leid. Ich habe da im Startposting nach den Eigenschaften 1A und 2A zu lesen aufgehört, mein Fehler! 
Und ja, die obigen Eigenschaften 1.-3. reichen natürlich klarerweise nicht aus für eine Gruppe.
|
Für weird bei den Matheplanet-Awards stimmen
Profil
Quote
Link |
Home
2019-01-20 06:35 U <
Wie unterstütze ich den Matheplaneten mit Geld?
[Neues Thema]