www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

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
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Uni-Sonstiges" - Sowas wie der Tangentialraum
Sowas wie der Tangentialraum < Sonstiges < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Sowas wie der Tangentialraum: Frage (überfällig)
Status: (Frage) überfällig Status 
Datum: 18:24 Fr 10.05.2013
Autor: Salamence

Aufgabe
Seien R eine kommutative Algebra mit Eins über einem Körper K und e ein Homomorphismus von R nach K mit dem Kern I. Zeigen Sie, dass dann
[mm] \{ d \in A^{\*}| d(ab)=d(a)e(b)+e(a)d(b) \ \forall a,b \} [/mm] isomorph ist zu [mm] (I/I^{2})^{\*} [/mm]

Hallo!

Das ganze ist wohl eine Verallgemeinerung der Isomorphie zweier Darstellungen des Tangentialraumes. e wäre dabei einfach der Einsetzungshomomorphismus. Wie man das in dem Fall macht, ist mir auch bekannt. Der eine Homomorphismus sieht hier genau so aus, wie im speziellen, nämlich der von dieser Menge (nenn ich sie mal X) in den Dualraum. Man bildet einfach ein d [mm] \in [/mm] X auf auf die Abbildung, die das gleiche tut wie d, diese ist offenbar wohldefiniert. Wie aber stellt man das ganze andersherum an? Im Falle des Tangentialraumes würde man ein [mm] a\in [/mm] R jetzt ins Ideal I "verfrachten", indem man einfach [mm] const_{f(p)} [/mm] abzieht, sodass man dann ein Element des Dualraumes [mm] (I/I^{2})^{\*} [/mm] drauf anwenden kann.
Was aber soll ich hier abziehen, damit ich mit a-... im Kern von e lande?
Natürlich könnte man sich die Bijektivität sicherlich auch direkt überlegen, anstatt eine Inversion anzugeben und nachzurechnen, aber bei der Surjektivität kommt man dann ja auf das gleiche Problem. Und Injektivität seh ich jetzt auch so leicht nicht ein...
Sei [mm] d\in [/mm] X mit [mm] d(a+I^{2})=0 [/mm] für alle [mm] a\in [/mm] I. Warum sollte dann d schon überall verschwinden?

        
Bezug
Sowas wie der Tangentialraum: Fälligkeit abgelaufen
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 19:20 Fr 17.05.2013
Autor: matux

$MATUXTEXT(ueberfaellige_frage)
Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]