| |
| Autor |
 Z/nZ ist kein angeordneter Ring |
|
sina1357
Aktiv 
Dabei seit: 14.11.2020
Mitteilungen: 57
 |
Hallo zusammen,
ich arbeite gerade an folgender Aufgabe
Sei n ∈ N, und sei ∼ die durch x ∼ y :⇔ n teilt x − y definierte Relation auf Z; im Folgenden durfen Sie ohne Beweis verwenden, dass ¨ ∼ eine
Aquivalenrelation ist.
Ferner sei der Quotientenraum im Folgenden mit Z/nZ bezeichnet und mit den Operationen + und · definiert durch
[r] + [s] := [r + s]
und
[r] · [s] := [r · s]
versehen;
im Folgenden durfen Sie ohne Beweis verwenden, dass diese Operationen wohldefiniert sind und Z/nZ zu einem kommutativen Ring mit Eins machen.
Zeigen Sie, dass Z/nZ kein angeordneter Ring ist.
Mein Ansatz:
Z/nZ ist bezüglich der Addition und Multiplikation nicht abgeschlossen:
z.B. Sei für n=3 [0]=0, [1] Element (-P), [2] Element (P)
Dann gilt für [1]*[2]=[2*1]=[2] Widerspruch, da nicht Element (-P)
Ich freue mich über jegliche Hilfestellungen!
Danke!
|
 Für sina1357 bei den Matheplanet-Awards stimmen
 Notiz  Profil
 Quote
 Link |
PrinzessinEinhorn
Senior 
Dabei seit: 23.01.2017
Mitteilungen: 2625
 |      Beitrag No.1, eingetragen 2020-11-24
|
Hallo,
Z/nZ ist bezüglich der Addition und Multiplikation nicht abgeschlossen
Du darfst annehmen (oder weißt), dass $(\mathbb{Z}/n\mathbb{Z}, +,\cdot)$ einen kommutativen Ring bildet. Das bedeutet auch, dass die Operationen abgeschlossen sind, also nicht aus dem Ring herausführen.
Vielleicht meinst du aber das richtige.
Jedenfalls reicht es nicht, wenn du es an einem Beispiel vormachst, auch wenn du damit auf eine richtige Idee kommen kannst.
Ich weiß aber auch nicht, was du mit diesem "Element (-P)" meinst.
Du brauchst hier die Eigenschaften einer Ordnung. Welche wären das?
Angenommen der Ring lässt sich ordnen.
Dann gilt doch sicherlich 0<1 oder 1<0. (Warum?)
Was dann?
|
Für PrinzessinEinhorn bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 57
| Beitrag No.2, vom Themenstarter, eingetragen 2020-11-25
|
Hallo, vielen Dank für deine Hilfe!
Angenommen der Ring lässt sich ordnen.
Dann gilt doch sicherlich 0<1 oder 1<0. (Warum?)
Was dann?
Der Ring ließe sich zum Beispiel durch 1>0 ordnen.
Jedoch gibt es in der Äquivalenzklasse von 0, Zahlen die größer als 1 sind
|
Für sina1357 bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
sina1357
Aktiv 
Dabei seit: 14.11.2020
Mitteilungen: 57
| Beitrag No.3, vom Themenstarter, eingetragen 2020-11-25
|
Mit (-P) meinte ich sozusagen den negativen Positivitätsbereich, also -x Element P
|
Für sina1357 bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
Vercassivelaunos
Senior
Dabei seit: 28.02.2019
Mitteilungen: 1174
| Beitrag No.4, eingetragen 2020-11-25
|
\(\begingroup\)\(\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\K}{\mathbb{K}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\H}{\mathbb{H}}
\newcommand{\D}{\mathrm{D}}
\newcommand{\d}{\mathrm{d}}
\newcommand{\i}{\mathrm{i}}
\newcommand{\e}{\mathrm{e}}
\newcommand{\diag}{\operatorname{diag}}
\newcommand{\span}{\operatorname{span}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\grad}{\operatorname{grad}}
\newcommand{\zyk}[1]{\Z/#1\Z}
\newcommand{\matrix}[1]{\left(\begin{matrix}#1\end{matrix}\right)}
\newcommand{\vector}[1]{\left(\begin{array}{c}#1\end{array}\right)}
\newcommand{\align}[1]{\begin{align*}#1\end{align*}}
\newcommand{\ket}[1]{\left\vert#1\right>}
\newcommand{\bra}[1]{\left<#1\right\vert}
\newcommand{\braket}[2]{\left<#1\middle\vert#2\right>}
\newcommand{\braketop}[3]{\left<#1\middle\vert#2\middle\vert#3\right>}
\newcommand{\mean}[1]{\left<#1\right>}
\newcommand{\lvert}{\left\vert}
\newcommand{\rvert}{\right\vert}
\newcommand{\lVert}{\left\Vert}
\newcommand{\rVert}{\right\Vert}
\newcommand{\Abb}{\operatorname{Abb}}\)
Hallo sina1357,
ignoriere am besten, wie die Elemente des Rings genau aussehen, und achte nur darauf, wie sie miteinander interagieren. Ganz wesentlich ist, dass jedes Element durch wiederholte Addition des Elements $[1]$ darstellbar ist, also $[r]=[1]+\dots+[1]$ für alle $r\in\Z$.
Nun ist $[1]$ entweder positiv oder negativ. Kannst du zeigen, dass dann entweder alle Elemente positiv, oder alle Elemente negativ sind? Kann das in einem geordneten Ring sein?
Viele Grüße
Vercassivelaunos\(\endgroup\)
|
Für Vercassivelaunos bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link |
sina1357
Aktiv
Dabei seit: 14.11.2020
Mitteilungen: 57
| Beitrag No.5, vom Themenstarter, eingetragen 2020-11-25
|
Hallo,
danke für deine Hilfe!
Mein Ansatz:
[0],[1] sind in jedem Z/nZ enthalten, da n mod n = 0 und n+1 mod n = 1 gilt. (n=1 behandele ich vorher als Sonderfall).
Es gilt [1]>[0].
Annahme [0]<[1]: Nach Addition von [-1] folgt: [0-1]<[1-1] -> [-1]<[0].
Also gilt [1]>[0].
Es gilt [1]+[1]+....+[1]>[0], also n[1]>[0], also [n]>[0].
Jedoch: [0]=[n]=[n*1]=n*[1]>[0]
|
Für sina1357 bei den Matheplanet-Awards stimmen
Notiz Profil
Quote
Link | | Folgende Antworten hat der Fragesteller vermutlich noch nicht gesehen. |
Triceratops
Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 5242
Herkunft: Berlin
 |  Beitrag No.6, eingetragen 2020-11-27
|
Auch hier gilt: Restklassen lenken nur vom Wesentlichen ab. Die "innere Struktur" der Elemente einer algebraischen Struktur hat keine Auswirkung auf die algebraische Struktur selbst. Diese innere Struktur sollte daher allenfalls einmalig für die Konstruktion herangezogen werden, kann danach aber problemlos für immer vergessen werden. Was $\IZ/n\IZ$ ausmacht, ist dass es ein Ring ist, dessen Elemente alle Vielfache des Einselementes $n$ sind, und indem zusätzlich die Relation $n \cdot 1 = 0$ gilt. Mehr muss man nicht wissen. Insbesondere ist $\IZ/n\IZ$ ein endlicher Ring. Und was die Aufgabe angeht, kann man auch gleich allgemeiner zeigen: Jeder angeordnete Ring ist unendlich. Denn es gilt $0 < 1$ (wenn das nicht in der Definition eines angeordneten Ringes steht, kann man es aus jeder sinnvollen Definition sofort folgern). Daraus folgt $1 < 1 + 1 = 2 \cdot 1$, usw. also dass die $k \cdot 1$ mit $k \in \IN$ paarweise verschieden sind.
|
Notiz Profil
Quote
Link |
|
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die
Nutzungsbedingungen,
die Distanzierung,
die Datenschutzerklärung und das Impressum.
[Seitenanfang]
|
Home / Seite ohne Frame
Wie unterstütze ich den Matheplaneten mit Geld?
