www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenGruppe, Ring, KörperRing, aber auch Körper?
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Philosophie • Religion • Kunst • Musik • Sport • Pädagogik
Forum "Gruppe, Ring, Körper" - Ring, aber auch Körper?
Ring, aber auch Körper? < Gruppe, Ring, Körper < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Ring, aber auch Körper?: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 13:44 Do 05.01.2012
Autor: opia

Aufgabe
i) [mm] \mathbb [/mm] Z [X] / [mm] (3,X^2+1) \\ [/mm]
ii) [mm] S^{-1}(\mathbb [/mm] Q[X]) [mm] \text{ mit } [/mm] S:= [mm] \mathbb [/mm] Q [X] - X [mm] \mathbb [/mm] Q [X] [mm] \\ [/mm]
iii) [mm] S^{-1} \mathbb [/mm] Q [mm] \text{ für eine beliebige multiplikative Menge } [/mm] S [mm] \subseteq \mathbb [/mm] Q [mm] -\{0\} [/mm]

Hallo Matheraum,

diese Teilaufgaben machen mir zu schaffen.
zu i) Mir ist bekannt, dass der Faktorring [mm] \mathbb [/mm] R [X] / [mm] (X^2+1) [/mm] isomorph zum Körper der Komplexen Zahlen ist. Ist das der Gegebene auch?
Tendiere zu: ist Körper.

zu ii) Ist S in der Form überhaupt multiplikativ? Tendiere zu: kein Körper.

zu iii) [mm] \mathbb [/mm] Q ist Integritätsbereich, S [mm] \subseteq \mathbb [/mm] Q - [mm] \{0\} [/mm] ist [mm] S^{-1} \mathbb [/mm] Q  Quotientenkörper von [mm] \mathbb [/mm] Q


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

        
Bezug
Ring, aber auch Körper?: Antwort
Status: (Antwort) fertig Status 
Datum: 15:08 Do 05.01.2012
Autor: felixf

Moin!

> i) [mm]\mathbb[/mm] Z [X] / [mm](3,X^2+1) \\[/mm]
>  ii) [mm]S^{-1}(\mathbb[/mm] Q[X])
> [mm]\text{ mit }[/mm] S:= [mm]\mathbb[/mm] Q [X] - X [mm]\mathbb[/mm] Q [X] [mm]\\[/mm]
>  iii) [mm]S^{-1} \mathbb[/mm] Q [mm]\text{ für eine beliebige multiplikative Menge }[/mm]
> S [mm]\subseteq \mathbb[/mm] Q [mm]-\{0\}[/mm]

Hier stehen ein Haufen kommutative Ringe mit Eins. Was genau ist denn hier die Frage? Ob diese Koerper sind?

Und ist $Q = [mm] \IQ$? [/mm] Oder was soll $Q$ sein?

> diese Teilaufgaben machen mir zu schaffen.
> zu i) Mir ist bekannt, dass der Faktorring [mm]\mathbb[/mm] R [X] /
> [mm](X^2+1)[/mm] isomorph zum Körper der Komplexen Zahlen ist. Ist
> das der Gegebene auch?

Nein, der gegebene Ring ist nicht isomorph zum Koerper der komplexen Zahlen.

>  Tendiere zu: ist Körper.

Ja, es ist ein Koerper. Du kannst ihn erstmal einfacher schreiben, als Koerpererweiterung vom Koerper [mm] $\IZ/3\IZ$. [/mm] (Dazu brauchst du einen Isomorphiesatz.)

> zu ii) Ist S in der Form überhaupt multiplikativ?

Ja. (Da das von $X$ erzeugte Ideal ein Primideal ist.)

> Tendiere zu: kein Körper.

Es ist auch keiner. Gib doch einfach ein Element an, welches kein Inverses hat.

> zu iii) [mm]\mathbb[/mm] Q ist Integritätsbereich, S [mm]\subseteq \mathbb[/mm]
> Q - [mm]\{0\}[/mm] ist [mm]S^{-1} \mathbb[/mm] Q  Quotientenkörper von
> [mm]\mathbb[/mm] Q

Der Code von dem was du schriebst liest sich so als redest du vom Koerper [mm] $\IQ$. [/mm] Aber warum beschraenkst du dich dann darauf, dass es ein Integritaetsbrereich ist? Es ist doch bereits ein Koerper!

Ist $R$ ein Int'bereich und $Q$ der zugehoerige Quotientenkoerper, so kannst du [mm] $S^{-1} [/mm] R$ immer als Unterring von $Q$ auffassen, der $R$ umfasst (solange $0 [mm] \not\in [/mm] S$ gilt). Was folgt daraus, wenn $R$ bereits ein Koerper ist?

LG Felix


Bezug
                
Bezug
Ring, aber auch Körper?: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 19:08 Do 05.01.2012
Autor: opia

Hallo felixf,

verzeihung, natürlich soll man nennen, welche Ringe auch Körper sind und dies begründen. Und es ist stets [mm] \IQ [/mm] gemeint.

i) als Körpererweiterung von [mm] \IZ/3\IZ? [/mm] Den Zusammenhang sehe ich nun nicht.  [mm] \IZ[X]/(3,X^2+1) [/mm] | [mm] \IZ/3\IZ [/mm] ? Weil jeder Körper einen Teilkörper enthält der zu [mm] \IQ [/mm] oder [mm] \IZ [/mm] / 3 [mm] \IZ [/mm] isomorph ist?

ii) Ich bin mir unsicher was X [mm] \IQ [/mm] [X] sein soll.
Aber Inverse müssen doch in der Einheitengruppe des Ringes sein. Und in der Einheitengruppe von [mm] \IQ [/mm] sind doch alle Elemente ungleich 0. Ich finde aber für kein [mm] \bruch{f}{g} \in (S^{-1}(\IQ [/mm] [X]))* mit [mm] \bruch{g}{f} \not\in [/mm]
[mm] S^{-1}(\IQ [/mm] [X])

iii) [mm] S^{-1}R \subseteq [/mm] R [mm] \subseteq [/mm] Quot(R) und da Quot(R) := [mm] S^{-1}R [/mm] gilt Gleichheit.

Also da [mm] S^{-1}\IQ [/mm] = [mm] \IQ [/mm] = Quot [mm] (\IQ) [/mm] und somit [mm] S^{-1}\IQ [/mm] Körper, da S  [mm] \subseteq \IQ -\{0\} [/mm]

Bezug
                        
Bezug
Ring, aber auch Körper?: Antwort
Status: (Antwort) fertig Status 
Datum: 13:19 Sa 07.01.2012
Autor: felixf

Moin!

> verzeihung, natürlich soll man nennen, welche Ringe auch
> Körper sind und dies begründen. Und es ist stets [mm]\IQ[/mm]
> gemeint.

Ok.

> i) als Körpererweiterung von [mm]\IZ/3\IZ?[/mm] Den Zusammenhang
> sehe ich nun nicht.  [mm]\IZ[X]/(3,X^2+1)[/mm] | [mm]\IZ/3\IZ[/mm] ?

Nunja, wenn du [mm] $\IZ[X]/(3,X^2+1)$ [/mm] passend umschreibst mit den Isomorphiesaetzen bekommst du etwas was eine Erweiterung von [mm] $\IZ/3\IZ$ [/mm] ist.

> Weil
> jeder Körper einen Teilkörper enthält der zu [mm]\IQ[/mm] oder
> [mm]\IZ[/mm] / 3 [mm]\IZ[/mm] isomorph ist?

Naja, [mm] $\IZ/2\IZ$ [/mm] hat keinen Teilkoerper, der isomorph zu [mm] $\IQ$ [/mm] oder [mm] $\IZ/3\IZ$ [/mm] ist :-)

Wenn du $3$ durch $p$ (prim) ersetzt, stimmt es. Und hier hast du dann den Teilkoerper [mm] $\IZ/p\IZ$ [/mm] mit $p = 3$.

> ii) Ich bin mir unsicher was X [mm]\IQ[/mm] [X] sein soll.

Das ist das von $X$ erzeugte Hauptideal.

> Aber Inverse müssen doch in der Einheitengruppe des Ringes
> sein. Und in der Einheitengruppe von [mm]\IQ[/mm] sind doch alle
> Elemente ungleich 0. Ich finde aber für kein [mm]\bruch{f}{g} \in (S^{-1}(\IQ[/mm]
> [X]))*

Es wird auch schwierig eine Einheit zu finden, die keine Einheit ist.

Du solltest lieber bei den Nicht-Einheiten schauen...

> mit [mm]\bruch{g}{f} \not\in[/mm]
>  [mm]S^{-1}(\IQ[/mm] [X])

Ueberleg dir, welche [mm] $\frac{f}{g}$ [/mm] ueberhaupt auftreten koennen, also was $g$ sein kann. Dann such ein [mm] $\frac{f}{g}$ [/mm] so dass $f$ kein Nenner sein darf (und das $f$ und $g$ teilerfremd sind); dann ist [mm] $\frac{f}{g}$ [/mm] keine Einheit.

(Und $f$ sollte natuerlich nicht 0 sein. Das waer langweilig...)

> iii) [mm]S^{-1}R \subseteq[/mm] R [mm]\subseteq[/mm] Quot(R) und da Quot(R)
> := [mm]S^{-1}R[/mm] gilt Gleichheit.

Das ist Quark.

Erstens gilt $R [mm] \subseteq S^{-1} [/mm] R [mm] \subseteq [/mm] Quot(R)$.

Zweitens gilt $Quot(R) = [mm] S^{-1} [/mm] R$ per Definition erstmal nur fuer ein bestimmtes $S$, naemlich fuer $S = R [mm] \setminus \{ 0 \}$. [/mm]

Hier hast du aber eine beliebige multiplikative Teilmenge $S [mm] \subseteq [/mm] R [mm] \setminus \{ 0 \}$. [/mm]

> Also da [mm]S^{-1}\IQ[/mm] = [mm]\IQ[/mm] = Quot [mm](\IQ)[/mm] und somit [mm]S^{-1}\IQ[/mm]
> Körper, da S  [mm]\subseteq \IQ -\{0\}[/mm]  

Wenn du das hier besser aufschreiben wuerdest waer es richtig.

LG Felix



Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Gruppe, Ring, Körper"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]