www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Dt. Schulen im Ausland: Mathe-Seiten:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Algebra" - freie Algebra, Injektivität
freie Algebra, Injektivität < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

freie Algebra, Injektivität: Lösungsansatz gesucht
Status: (Frage) beantwortet Status 
Datum: 19:11 Fr 02.05.2014
Autor: Tipsi

Aufgabe
Hallo an alle!
Hier mein Beispiel:
Sei K eine Klasse von Algebren, die mindestens eine Algebra mit mind. 2 Elementen enthält. Sei F \in K frei über (B, i). Dann ist i Injektiv.

Mein Lösungsansatz wäre ein Widerspruchsbeweis, also, dass ich davon ausgehe, dass i nicht Injektiv, aber F frei ist. Ich habe schon versucht, mir ein konkretes Beispiel aufzuzeichnen, aber irgendetwas habe ich dabei wohl falsch gemacht. Und eigentlich soll ich es ja sowieso allgemein zeigen...

Habt ihr eine Idee, wie ich das beginnen könnte?
LG

        
Bezug
freie Algebra, Injektivität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 08:08 Sa 03.05.2014
Autor: hippias

Mir ist nicht klar, was es heisst, wenn eine Algebra frei ueber dem Paar $(B,i)$ ist. Ich nehme an, dass [mm] $B\subseteq [/mm] A$ ein Erzeugendensystem von $A$ ist, das gewisse Eindeutigkeitsbedingungen erfuellt. Aber was ist $i$?

Bezug
                
Bezug
freie Algebra, Injektivität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:14 Sa 03.05.2014
Autor: felixf

Moin,

> Mir ist nicht klar, was es heisst, wenn eine Algebra frei
> ueber dem Paar [mm](B,i)[/mm] ist. Ich nehme an, dass [mm]B\subseteq A[/mm]
> ein Erzeugendensystem von [mm]A[/mm] ist, das gewisse
> Eindeutigkeitsbedingungen erfuellt. Aber was ist [mm]i[/mm]?

ich wuerde auf die Abbildung $i : B [mm] \to [/mm] A$ tippen. Also in etwa so:

$A$ heisst frei ueber $(B, i)$, wenn es zu jeder Abbildung $f : B [mm] \to [/mm] R$ genau einen Algebrahomomorphismus $g : A [mm] \to [/mm] R$ gibt mit $f = g [mm] \circ [/mm] i$.

Damit und der Voraussetzung aus der Aufgabe kann man auch sehr leicht zeigen, dass $i$ injektiv sein muss.

LG Felix


Bezug
                        
Bezug
freie Algebra, Injektivität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:03 So 04.05.2014
Autor: hippias

Ja, so ist es schoen.

Bezug
                                
Bezug
freie Algebra, Injektivität: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:50 So 04.05.2014
Autor: Tipsi

Hallo hippias,

felixf hat deine Frage schon völlig richtig beantwortet.
Ihr hab bereits erwähnt, dass es leicht zu zeigen ist, dass i Injektiv sein muss und das glaube ich auch, aber ich komme leider nicht darauf.
Hättet ihr vielleicht einen Tipp?

Danke, LG

Bezug
                                        
Bezug
freie Algebra, Injektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 14:40 So 04.05.2014
Autor: felixf

Moin Tipsi!

> felixf hat deine Frage schon völlig richtig beantwortet.
> Ihr hab bereits erwähnt, dass es leicht zu zeigen ist,
> dass i Injektiv sein muss und das glaube ich auch, aber ich
> komme leider nicht darauf.
> Hättet ihr vielleicht einen Tipp?

Seien $x, y [mm] \in [/mm] B$ mit $x [mm] \neq [/mm] y$. Du musst jetzt zeigen, dass $i(x) [mm] \neq [/mm] i(y)$ ist. Dazu reicht es aus, einen Homomorphismus $g : A [mm] \to [/mm] R$ zu finden mit $g(i(x)) [mm] \neq [/mm] g(i(y))$.

Aber wie kommt man an ein solches $g$? Das darfst du jetzt herausfinden :-)

LG Felix


Bezug
                                                
Bezug
freie Algebra, Injektivität: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:07 So 04.05.2014
Autor: Tipsi

Danke für deine Antwort, felixf! Also ist es kein Widerspruchsbeweis, den ich brauche.

Du meinst mit g: A-> R aber schon g: F->H, wobei H eine beliebige Algebra der Klasse ist, oder?

Benötige ich den Kern, um einen Homomorphismus zu finden?
Bringt es uns weiter, g(i(e_B))=e_H (also neutrales Element wird auf neutrales Element abgebildet) zu fordern?

LG

Bezug
                                                        
Bezug
freie Algebra, Injektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 16:18 So 04.05.2014
Autor: felixf

Moin!

> Du meinst mit g: A-> R aber schon g: F->H, wobei H eine
> beliebige Algebra der Klasse ist, oder?

Wenn deine freie Algebra $H$ heisst, ja, dann $F$. In den Beitraegen von hippias und mir hiess sie immer $A$ ;-)

Und $R$ ist irgendeine passende Algebra. Jede beliebige tut es nicht umbedingt.

> Benötige ich den Kern, um einen Homomorphismus zu finden?

Nein. Du brauchst einfach die universelle Eigenschaft.

>  Bringt es uns weiter, g(i(e_B))=e_H (also neutrales
> Element wird auf neutrales Element abgebildet) zu fordern?

Nein, nicht direkt.

(Mal abgesehen davon: was soll [mm] $e_B$ [/mm] sein? $B$ ist irgendeine Menge ohne Struktur, es gibt also kein neutrales Element.)

LG Felix


Bezug
                                                                
Bezug
freie Algebra, Injektivität: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:44 So 04.05.2014
Autor: Tipsi

Hallo felixf,

also nennen wir unsere freie Algebra auch weiterhin A (;

> (Mal abgesehen davon: was soll [mm]e_B[/mm] sein? [mm]B[/mm] ist irgendeine
> Menge ohne Struktur, es gibt also kein neutrales Element.)

Ja, das hast du Recht...

Du hast geschrieben, wir brauchen die universelle Eigenschaft.
Unter "universelle Eigenschaft" haben wir im Skript nur die der Produktgruppe stehen:
Die Produktgruppe [mm]G_1 \times G_2 [/mm] hat, zusammen mit den Projektionen [mm]\pi_i: G_1 \times G_2 \rightarrow G_i (i=1,2), \pi_1(x,y)=x, \pi_2(x,y)=y[/mm] folgende universelle Eigenschaft:
Für jede Gruppe A und beliebige Homomorphismen [mm]\phi_i: A \rightarrow G_i, (i=1,2) [/mm]gibt es genau einen Homomorphismus f: [mm]A \rightarrow G_1 \times G_2 [/mm] mit [mm]\phi_i = \pi_i \circ f [/mm] für i=1,2.

Das hast du aber wahrscheinlich nicht gemeint? Könntest du mir bitte herschreiben oder verlinken, was du genau unter universeller Eigenschaft verstehst (denn die Definition von Wikipedia haben wir nicht gelernt)?

Danke


Bezug
                                                                        
Bezug
freie Algebra, Injektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 21:39 So 04.05.2014
Autor: felixf

Moin Tipsi,

> also nennen wir unsere freie Algebra auch weiterhin A (;

von mir aus auch $F$ ;-)

> > (Mal abgesehen davon: was soll [mm]e_B[/mm] sein? [mm]B[/mm] ist irgendeine
> > Menge ohne Struktur, es gibt also kein neutrales Element.)
>  Ja, das hast du Recht...
>
> Du hast geschrieben, wir brauchen die universelle
> Eigenschaft.
> Unter "universelle Eigenschaft" haben wir im Skript nur die
> der Produktgruppe stehen:

Mit "universeller Eigenschaft" meint man allgemein Eigenschaften, die ein Objekt (bis auf Isomorphie) eindeutig klassifizieren. Die universelle Eigenschaft einer freien Algebra $F$ ueber $(B, i)$ ist:

Zu jeder Abbildung $f : B [mm] \to [/mm] R$ fuer eine Algebra $R$ gibt es genau einen Algebrenhomomorphismus $g : F [mm] \to [/mm] R$ mit $f = g [mm] \circ [/mm] i$.

Die Eigenschaft hier:

> Die Produktgruppe [mm]G_1 \times G_2[/mm] hat, zusammen mit den
> Projektionen [mm]\pi_i: G_1 \times G_2 \rightarrow G_i (i=1,2), \pi_1(x,y)=x, \pi_2(x,y)=y[/mm]
> folgende universelle Eigenschaft:
>  Für jede Gruppe A und beliebige Homomorphismen [mm]\phi_i: A \rightarrow G_i, (i=1,2) [/mm]gibt
> es genau einen Homomorphismus f: [mm]A \rightarrow G_1 \times G_2[/mm]
> mit [mm]\phi_i = \pi_i \circ f[/mm] für i=1,2.

ist die universelle Eigenschaft der Produktgruppe. Ist $H$ eine andere Gruppe, die die gleiche universelle Eigenschaft erfuellt wie [mm] $G_1 \times G_2$, [/mm] so gibt es einen (sogar eindeutig bestimmten, auf eine gewisse Art und Weise) Isomorphismus $H [mm] \to H_1 \times H_2$. [/mm]

Die Eigenschaft definiert das Produkt [mm] $G_1 \times G_2$ [/mm] also eindeutig. Deswegen heisst sie "universelle Eigenschaft" (des Produktes).

LG Felix


Bezug
                                                                                
Bezug
freie Algebra, Injektivität: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 02:08 Mo 05.05.2014
Autor: Tipsi

Danke für deine Erklärung, felixf!

Wenn wir wüssten, dass f bijektiv ist, dann hätte ich die Lösung vmtl., denn dann würde gelten:
[mm]f(x)=g \circ i(x), f(y)=g \circ i(y), x\neq y <--> f^{-1} \circ g \circ i(x) \neq f^{-1} \circ g \circ i(y) <--> g \circ i(x) \neq g \circ i(y) [/mm].
Darf man annehmen, dass es so eine bijektive Abbildung f gibt?

Wenn - wie ich vermute - nicht, dann sehe ich leider noch nicht, wie genau wir die universelle Eigenschaft nutzen können.

Danke auch für deine bisherigen Antworten!
LG

Bezug
                                                                                        
Bezug
freie Algebra, Injektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 09:36 Mo 05.05.2014
Autor: hippias

Wir haben noch gar nicht die mindestens $2$-elementige Algebra der Klasse benutzt: Nimm mal an $i$ sei nicht injektiv und bilde die beiden Uebeltaeter mittels eines $f$ auf zwei verschiedene Elemente  ab. Daraus ergibt sich ein Widerspruch.

Bezug
                                                                                                
Bezug
freie Algebra, Injektivität: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 02:50 Di 06.05.2014
Autor: Tipsi

Danke für eure Antworten, hippias, felixf und universelles Objekt!

Okay um hippias' Ansatz aufzugreifen: wenn i nicht injektiv ist, dann gibt es x,y in B, [mm]x \neq y[/mm] mit i(x)=i(y).
Außerdem enthält R a,b, [mm]a \neq [/mm].
Sei j: B--> R: j(x)=a, j(y)=b.
Wäre [mm]\phi[/mm] eine homomorphe Fortsetzung von j, dann würde gelten:
[mm]a = j(x) = \phi \circ i(x) = \phi \circ i(y) = j(y) = b[/mm], also ein Widerspruch.
So hätte ich den Widerspruchsbeweis geführt, aber kann ich denn davon ausgehen, dass es ein j gibt mit j(x)=a, j(y)=b? Das gilt doch nur, wenn j surjektiv ist, aber j ist doch beliebig?


Bezug
                                                                                                        
Bezug
freie Algebra, Injektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 09:40 Di 06.05.2014
Autor: hippias

Diese Fortsetzung existiert nach Voraussetzung fuer alle entsprechenden Funktionen; insbesondere auch fuer die, die du definiert hast.

Bezug
                                                                                                                
Bezug
freie Algebra, Injektivität: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:08 Fr 09.05.2014
Autor: Tipsi

Danke für deine Antwort, hippias!

Und danke euch dreien für eure Hilfe! :)

LG

Bezug
        
Bezug
freie Algebra, Injektivität: Antwort
Status: (Antwort) fertig Status 
Datum: 07:54 Mo 05.05.2014
Autor: UniversellesObjekt

Übrigens folgt die Behauptung aus folgendem nützlichen


Satz: Ein linksadjungierter Funktor ist genau dann treu, wenn jede Komponente der Einheit ein Monomorphismus ist.


Für einen (einfachen) Beweis siehe etwa Mac Lane, III.3.1 .

Liebe Grüße,
UniversellesObjekt

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Algebra"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorhilfe.de