www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Englisch
  Status Grammatik
  Status Lektüre
  Status Korrekturlesen
  Status Übersetzung
  Status Sonstiges (Englisch)

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 "Algebraische Geometrie" - rang <-> dimension
rang <-> dimension < Algebraische Geometrie < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Algebraische Geometrie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

rang <-> dimension: Verständnisfrage
Status: (Frage) beantwortet Status 
Datum: 18:34 Di 15.02.2011
Autor: Oberspacko

Guten Abend,

ich habe eine Verständnisfrage zum Zusammenhang zwischen dem Rang eines freien Moduls und der Dimension von Vektorräumen.

Ich habe gehört, dass "freie Moduln praktisch wie Vektorräume sind", aber gelten auch die üblichen Dimensionsformeln aus der Linearen Algebra?  Also insbesondere:
1. Die Dimensionsformel für Faktorräume ([mm]\dim V/U = \dim V - \dim U[/mm])
2. Die Kern-Bild Formel ([mm]\dim V = \dim \Kern f + \dim \Bild f[/mm])
3. Die Dimensionsformel für die Summe von Untervektorräumen:
  ([mm]\dim V = \dim U_1 + \dim U_2[/mm])
4. etc...

Bleiben die Formeln richtig, wenn man statt einem Vektorraum V "nur" noch einen freien R-Modul V hat und "dim" durch "rang" ersetzt? Ich hoffe mir kann jemand helfen.

Vielen Dank schonmal im Voraus.


Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.


        
Bezug
rang <-> dimension: Antwort
Status: (Antwort) fertig Status 
Datum: 20:17 Di 15.02.2011
Autor: Leopold_Gast

Wie ist das? Sind nicht [mm]M = \mathbb{Z}[/mm] und [mm]N = 2 \mathbb{Z}[/mm] freie [mm]\mathbb{Z}[/mm]-Moduln vom Rang 1? [mm]N[/mm] wäre also ein echter Untermodul und hätte trotzdem denselben Rang. Und [mm]M/N[/mm] wäre nicht einmal mehr frei.

Bezug
                
Bezug
rang <-> dimension: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:35 Di 15.02.2011
Autor: Oberspacko


Danke erstmal für die schnelle Antwort.

Bei M und N würde ich dir vorsichtig zustimmen, bei [mm]M/N[/mm] habe ich gerade ein paar Zweifel. Der ist doch frei mit Basis 1 + 2Z, oder?


Bezug
                        
Bezug
rang <-> dimension: Antwort
Status: (Antwort) fertig Status 
Datum: 21:08 Di 15.02.2011
Autor: Leopold_Gast

Als [mm]\mathbb{Z}[/mm]-Modul ist [mm]M/N[/mm] nicht frei. Denn dann müßte ja [mm]M/N[/mm] isomorph zu [mm]\mathbb{Z}[/mm] sein, was allein schon wegen der Anzahlen nicht geht. Oder anders: [mm]M/N[/mm] wird zwar von [mm]a = 1 + 2 \mathbb{Z}[/mm] erzeugt, aber es bestehen Relationen zwischen den Elementen [mm]na, \, n \in \mathbb{Z}[/mm]:

[mm]a = 3a = 5a = 7a = \ldots[/mm]

[mm]0 = 2a = 4a = 6a = \ldots[/mm]

Bei einem freien [mm]\mathbb{Z}[/mm]-Modul müßten alle diese Elemente aber verschieden sein.

Bezug
                                
Bezug
rang <-> dimension: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 00:04 Mi 16.02.2011
Autor: Oberspacko

Danke nochmal für dieses Gegenbeispiel. Jetzt ist alles klar. [daumenhoch]


Bezug
        
Bezug
rang <-> dimension: Antwort
Status: (Antwort) fertig Status 
Datum: 21:29 Di 19.04.2011
Autor: felixf

Moin!

> ich habe eine Verständnisfrage zum Zusammenhang zwischen
> dem Rang eines freien Moduls und der Dimension von
> Vektorräumen.
>
> Ich habe gehört, dass "freie Moduln praktisch wie
> Vektorräume sind", aber gelten auch die üblichen
> Dimensionsformeln aus der Linearen Algebra?  Also
> insbesondere:
>  1. Die Dimensionsformel für Faktorräume ([mm]\dim V/U = \dim V - \dim U[/mm])
>  
> 2. Die Kern-Bild Formel ([mm]\dim V = \dim \Kern f + \dim \Bild f[/mm])
>  
> 3. Die Dimensionsformel für die Summe von
> Untervektorräumen:
>    ([mm]\dim V = \dim U_1 + \dim U_2[/mm])
>  4. etc...
>  
> Bleiben die Formeln richtig, wenn man statt einem
> Vektorraum V "nur" noch einen freien R-Modul V hat und
> "dim" durch "rang" ersetzt? Ich hoffe mir kann jemand
> helfen.

Wenn man "schoene" (endlich erzeugte) Moduln ueber "schoenen" Ringen (z.B. Hauptidealringen) anschaut, teilweise ja. Fuer endlich erzeugte Moduln ueber Hauptidealringen kann man wie bei endlich erzeugten abelschen Gruppen (diese sind ja gerade die endlich erzeugten [mm] $\IZ$-Moduln) [/mm] eine schoene Normalform bekommen, und mit dieser laesst sich der Rang eines jeden endlich erzeugten Moduls definieren. Dieser verhaelt sich dann additiv: hat man eine kurze exakte Sequenz $0 [mm] \to [/mm] A [mm] \to [/mm] B [mm] \to [/mm] C [mm] \to [/mm] 0$, so gilt $rang(A) + rang(C) = rang(B)$. Dies entspricht gerade den Formeln 1. und 2. von dir.
(Und im Beispiel von Leopold_Gast ist auch alles in Ordnung: [mm] $\IZ/2\IZ$ [/mm] hat Rang 0.)

Und falls $R$ ein beliebiger Ring ist und du eine kurze exakte Sequenz von freien Moduln $0 [mm] \to [/mm] A [mm] \to [/mm] B [mm] \to [/mm] C [mm] \to [/mm] 0$ hast, dann ist der Rang fuer $A, B, C$ wohldefiniert und dieser sollte eigentlich auch additiv sein, wenn ich gerade nicht irgendwelche pathologischen Faelle uebersehe ;-) Daraus folgen auch die Formeln 1. und 2. bei dir, wenn halt [mm] $Bild\; [/mm] f$ bzw. $V/U$ ebenfalls wieder frei sind. (Das Beispiel von Leopold_Gast ist ja gerade eins, wo der Quotient bzw. das Bild nicht frei ist.)

LG Felix


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


^ Seitenanfang ^
www.englischraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]