Auswahl Schwarzes Brett Aktion im Forum Suche Kontakt Für Mitglieder Mathematisch für Anfänger Wer ist Online | |
Autor |
Ideal |
|
Math_user
Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 123
 |
Guten Abend
Ich soll das Radikal im Ring R=\(\mathbb{C}\)[x] berechnen des Ideals \(I=(x^2-2x+1)\). Dabei verstehe ich aber nur schon die Struktur/Form meines Ideals nicht, wenn ich sage \(x\in I\) dann ist \(x=(x^2-2x+1)*y\), wobei \(y\in \mathbb{C}\)?
Kann mir jemand da weiterhelfen?
Vielen Dank und gruss
Math_user
|
Profil
Quote
Link |
xiao_shi_tou_
Senior  Dabei seit: 12.08.2014 Mitteilungen: 1164
Aus: Bonn
 |     Beitrag No.1, eingetragen 2019-11-12
|
\(\begingroup\)\(
\DeclareMathOperator{\mer}{mer}
\DeclareMathOperator{\Sht}{Sht}
\DeclareMathOperator{\Ann}{Ann}
\DeclareMathOperator{\Et}{\acute{E}t}
\DeclareMathOperator{\et}{\acute{e}t}
\DeclareMathOperator{\etaleness}{\acute{e}taleness}
\newcommand{\h}{\o{h}}
\newcommand{\unr}[1]{#1^{\o{un}}}
\DeclareMathOperator{\H}{H}
\DeclareMathOperator{\ind}{ind}
\DeclareMathOperator{\etale}{\acute{e}tale}
\DeclareMathOperator{\Coker}{Coker}
\DeclareMathOperator{\Div}{Div}
\DeclareMathOperator{\Gl}{GL}
\DeclareMathOperator{\PGL}{PGL}
\DeclareMathOperator{\dom}{dom}
\DeclareMathOperator{\PSL}{PSL}
\DeclareMathOperator{\SL}{SL}
\DeclareMathOperator{\Res}{Res}
\DeclareMathOperator{\equi}{equi}
\DeclareMathOperator{\Hecke}{Hecke}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Jac}{Jac}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\HF}{HF}
\DeclareMathOperator{\HS}{HS}
\DeclareMathOperator{\Ker}{Ker}
\DeclareMathOperator{\trdeg}{trdeg}
\DeclareMathOperator{\mod}{mod}
\DeclareMathOperator{\codim}{codim}
\DeclareMathOperator{\log}{log}
\DeclareMathOperator{\Log}{Log}
\DeclareMathOperator{\Nm}{Nm}
\DeclareMathOperator{\Con}{Con}
\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\Ob}{Ob}
\DeclareMathOperator{\Emb}{Emb}
\DeclareMathOperator{\Tr}{Tr}
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\scale}{scale}
\DeclareMathOperator{\Sper}{Sper}
\DeclareMathOperator{\Sp}{Sp}
\DeclareMathOperator{\vol}{vol}
\DeclareMathOperator{\Cl}{Cl}
\DeclareMathOperator{\Ét}{Ét}
\DeclareMathOperator{\Zar}{Zar}
\DeclareMathOperator{\lcm}{lcm}
\DeclareMathOperator{\ord}{ord}
\newcommand{\End}{\mathop{\mathrm{End}}\nolimits}
\newcommand{\cEnd}{\mathop{\mathcal{E}\!\mathit{nd}}\nolimits}
\DeclareMathOperator{\supp}{supp}
\DeclareMathOperator{\rad}{rad}
\DeclareMathOperator{\lim}{lim}
\DeclareMathOperator{\char}{char}
\DeclareMathOperator{\Proj}{Proj}
\DeclareMathOperator{\proj}{proj}
\DeclareMathOperator{\length}{length}
\DeclareMathOperator{\locArt}{locArt}
\DeclareMathOperator{\Ass}{Ass}
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\Pic}{Pic}
\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\Gal}{Gal}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\ker}{ker}
\DeclareMathOperator{\ht}{ht}
\DeclareMathOperator{\Frob}{Frob}
\DeclareMathOperator{\Frac}{Frac}
\DeclareMathOperator{\det}{det}
\newcommand{\AA}{\sc{A}}
\newcommand{\Rem}{\gudl{\sc{R}\!emark}}
\newcommand{\Def}{\color{orange}{\underline{\color{black}{\sc{D}\!efinition}}}}
\newcommand{\Defn}[1]{\color{orange}{\underline{\color{black}{\sc{D}\!efinition\tx{}#1}}}}
\newcommand{\Prop}{\color{orange}{\underline{\color{black}{\sc{P}\!roposition}}}}
\newcommand{\Propn}[1]{\color{orange}{\underline{\color{black}{\sc{P}\!roposition\tx{}#1}}}}
\newcommand{\Claim}{\gudl{\sc{C}\!laim\colon}}
\newcommand{\Claimn}[1]{\gudl{\sc{C}\!laim \tx{}#1}}
\newcommand{\Thm}{\color{orange}{\underline{\color{black}{\sc{T}\!heorem}}}}
\newcommand{\Thmn}[1]{\gudl{\sc{T}\!heorem\tx{}#1}}
\newcommand{\O}{\c{O}}
\DeclareMathOperator{\Ouv}{Ouv}
\newcommand{\Cor}{\color{orange}{\underline{\color{black}{\sc{C}\!orollary}}}}
\newcommand{\Corn}[1]{\color{orange}{\underline{\color{black}{\sc{C}\!orollary\tx{}#1}}}}
\newcommand{\Fct}{\color{orange}{\underline{\color{black}{\sc{F}\!act}}}}
\newcommand{\Fctn}[1]{\color{orange}{\underline{\color{black}{\sc{F}\!act\tx{}#1}}}}
\newcommand{\Lem}{\color{orange}{\underline{\color{black}{\sc{L}\!emma}}}}
\newcommand{\Lemn}[1]{\color{orange}{\underline{\color{black}{\sc{L}\!emma\tx{}#1}}}}
\newcommand{\Exp}{\color{orange}{\underline{\color{black}{\sc{E}\!xample}}}}
\newcommand{\Expn}[1]{\color{orange}{\underline{\color{black}{\sc{E}\!xample\tx{}#1}}}}
\newcommand{\Rem}{\gudl{\sc{R}\!emark\colon}}
\newcommand{\Remn}[1]{\gudl{\sc{R}\!emark #1\colon}}
\newcommand{\brc}[1]{[\![#1]\!]}
\newcommand{\qst}{{}^{\color{red}{[?]}}}
\newcommand{\qstn}[1]{{}^{\color{red}{[?,#1]}}}
\newcommand{\sto}{\overset{\sim}{\to}}
\newcommand{\srj}{\twoheadrightarrow}
\newcommand{\Ga}{\mathbb{G}_a}
\newcommand{\G}{\mathbb{G}}
\newcommand{\B}{\mathbb{B}}
\newcommand{\Gm}{\G_m}
\newcommand{\d}[1]{_{#1}}
\newcommand{\nz}{\not=0}
\newcommand{\x}{(x)}
\newcommand{\y}{(y)}
\newcommand{\r}[1]{\mid_{#1}}
\newcommand{\ij}{(i,j)}
\newcommand{\o}[1]{\operatorname{#1}}
\newcommand{\ne}{\not=\emptyset}
\newcommand{\ISLn}{\mathbb{S}\mathbb{L}_n}
\newcommand{\tfae}{\textbf{T.F.A.E.}}
\newcommand{\ndownlong}[2]{#1\ -\!\!\!\rightharpoonup\!\leftharpoondown\!\to\! #2}
\newcommand{\OC}{\c{O}_C}
\newcommand{\OF}{\c{O}_F}
\newcommand{\gsp}[1]{\udl{\Spec}_S(#1)}
\newcommand{\shso}{\udl{\text{Sheaves on}}}
\newcommand{\shs}{\udl{\text{Sheaves}}}
\newcommand{\ush}[1]{\udl{\text{Sheaf}}(#1)}
\newcommand{\sh}{\udl{\text{Sheaf}}}
\newcommand{\rr}{/\!\!/}
\newcommand{\EE}{\mathscr{E}}
\newcommand{\V}{\mathbb{V}}
\newcommand{\ddd}{(d,d_1,d_2)}
\newcommand{\Vd}{V_{d,d_1,d_2}}
\newcommand{\xy}{(x,y)}
\newcommand{\OX}{\c{O}_X}
\newcommand{\Ox}{\c{O}_{X,x}}
\newcommand{\KK}{\mathbb{K}}
\newcommand{\lims}{\limsup_{n\to \infty}}
\newcommand{\proof}{\gudl{\mathscr{P}\!roof}\colon}
\newcommand{\proofofprop}[1]{\underline{\color{orange}{\mathscr{P}\!roof\tx{}of\tx{}\sc{P}\!roposition\tx{}#1}\colon}}
\newcommand{\proofofcor}[1]{\underline{\color{orange}{\mathscr{P}\!roof\tx{}of\tx{}\sc{C}\!orollary\tx{}#1}\colon}}
\newcommand{\proofofthm}{\gudl{\sc{P}\!roof\tx{}of\tx{}\sc{T}\!heorem\colon}}
\newcommand{\proofofthmn}[1]{\gudl{\sc{P}\!roof\tx{}of\tx{}\sc{T}\!heorem\tx{}#1\colon}}
\newcommand{\Bew}{\underline{\color{orange}{\mathscr{B}\!eweis}\colon}}
\newcommand{\defeq}{\overset{\mathscr{D}\mathscr{e}\mathscr{f}.}{=\!=}}
\newcommand{\set}[2]{\{#1\mid #2\}}
\newcommand{\SS}{\mathscr{S}}
\newcommand{\FF}{\mathscr{F}}
\newcommand{\dyadksum}[1]{\sum_{I\in \DD_k,I\sube J}#1}
\newcommand{\noem}{\not=\emptyset}
\newcommand{\DD}{\sc{D}}
\newcommand{\BB}{\mathscr{B}}
\newcommand{\KK}{\sc{K}}
\newcommand{\Pr}{\ff{P}}
\newcommand{\exact}[3]{0\to #1\to #2\to#3\to 0}
\newcommand{\qed}{\gudl{\ff{Q}.\ff{E}.\ff{D}.}}
\newcommand{\wt}[1]{\widetilde{#1}}
\newcommand{\wh}[1]{\widehat{#1}}
\newcommand{\spr}[1]{\Sper(#1)}
\newcommand{\LL}{\mathscr{L}}
\newcommand{\sp}[1]{\Spec(#1)}
\newcommand{\nuplong}[2]{#1\ -\!\!\!\rightharpoondown\!\leftharpoonup\!\to\! #2}
\newcommand{\ndownloong}[2]{#1 -\!\!\!-\!\!\!\rightharpoonup\!\leftharpoondown\!\!\!\longrightarrow \!#2}
\newcommand{\bop}{\bigoplus}
\newcommand{\eps}{\epsilon}
\newcommand{\K}{\mathbb{K}}
\newcommand{\lxen}{\langle x_1\cos x_n\rangle}
\newcommand{\Xen}{[X_1\cos X_n]}
\newcommand{\xen}{[x_1\cos x_n]}
\newcommand{\ip}{\langle -,- \rangle}
\newcommand{\ipr}[2]{\langle #1,#2 \rangle}
\newcommand{\vth}{\vartheta}
\newcommand{\pprod}{\prod_{v\in\ff{M}_\K}}
\newcommand{\pfam}[1]{(#1)_{v\in\ff{M}_\K}}
\newcommand{\pl}[1]{\ff{S}(#1)}
\newcommand{\plf}[1]{\ff{S}_{\o{fin}}(#1)}
\newcommand{\pli}[1]{\ff{S}_{\infty}(#1)}
\newcommand{\finfam}[1]{(#1)_{i=1}^n}
\newcommand{\fam}[1]{(#1)_{i\in I}}
\newcommand{\jfam}[1]{(#1)_{j\in J}}
\newcommand{\kfam}[1]{(#1)_{k\in K}}
\newcommand{\nfam}[1]{(#1)_{i=1}^n}
\newcommand{\nifam}[1]{(#1)_{n=0}^\infty}
\newcommand{\udl}[1]{\underline{#1}}
\newcommand{\Uij}{U_i\cap U_j}
\newcommand{\vpi}{\varphi_i}
\newcommand{\vpj}{\varphi_j}
\newcommand{\vph}{\varphi}
\newcommand{\psij}{\psi_{i,j}}
\newcommand{\CC}{\c{C}}
\newcommand{\nsum}{\sum_{n\in\N}}
\newcommand{\twist}[1]{\c{O}_{\mathbb{P}_k^n}(#1)}
\newcommand{\prj}[1]{\Proj (#1)}
\newcommand{\part}[2]{\frac{\partial #1}{\partial #2}}
\newcommand{\kxn}{k[x_0,\pts,x_n]}
\newcommand{\ques}{\gudl{\c{Q}\!uestion\colon}}
\newcommand{\quesn}[1]{\gudl{\c{Q}\!uestion\tx{}#1\colon}}
\newcommand{\answ}{\gudl{\sc{A}\!nswer\colon}}
\newcommand{\cons}{\color{orange}{\udl{\color{black}{\sc{C}\!onsiderations:}}}}
\newcommand{\ka}{\kappa}
\newcommand{\pr}{\mathfrak{p}}
\newcommand{\abs}[1]{\left| #1\right|}
\newcommand{\ab}{\left|-\right|}
\newcommand{\eps}{\epsilon}
\newcommand{\N}{\mathbb{N}}
\newcommand{\KX}{K[X]}
\newcommand{\cov}{\c{U}}
\newcommand{\ff}[1]{\mathfrak{#1}}
\newcommand{\legendre}[2]{\left(\frac{#1}{#2}\right)}
\newcommand{\half}{\frac{1}{2}}
\newcommand{\ANF}{K/\Q}
\newcommand{\GFF}{F/{\F_p(t)}}
\newcommand{\Os}{\mathcal{O}_{S,s}}
\newcommand{\lineb}{\sc{L}}
\newcommand{\cyclm}{\Q(\sqrt[m]{1})}
\newcommand{\cyclmK}{K(\sqrt[m]{1})}
\newcommand{\LX}{L[X]}
\newcommand{\GG}{\sc{G}}
\newcommand{\OS}{\mathcal{O}_S}
\newcommand{\OK}{\c{O}_K}
\newcommand{\OF}{\c{O}_F}
\newcommand{\OL}{\c{O}_L}
\newcommand{\Ok}{\c{O}_k}
\newcommand{\OZ}{\c{O}_Z}
\newcommand{\O}{\c{O}}
\newcommand{\bb}[1]{\textbf{#1}}
\newcommand{\OY}{\mathcal{O}_Y}
\newcommand{\vdp}{\sc{V}\!an\text{ }der\text{ }\sc{P}\!ut}
\newcommand{\weierstrass}{\sc{W}\!eierstraß}
\newcommand{\runge}{\sc{R}\!unge}
\newcommand{\laurent}{\sc{L}\!aurent}
\newcommand{\grothendieck}{\sc{G}\!rothendieck}
\newcommand{\noether}{\sc{N}\!oether}
\newcommand{\glX}{\Gamma(X,\mathcal{O}_X)}
\newcommand{\glY}{\Gamma(Y,\mathcal{O}_Y)}
\newcommand{\finKX}{f\in K[X]}
\newcommand{\ser}[1]{\sm{n=0}{\infty}{#1}}
\newcommand{\sm}[3]{\underset{#1}{\overset{#2}{\sum}} #3}
\newcommand{\cl}[1]{\overline{#1}}
\newcommand{\sube}{\subseteq}
\newcommand{\hk}{\hookrightarrow}
\newcommand{\OYy}{\mathcal{O}_{Y,y}}
\newcommand{\supe}{\supseteq}
\newcommand{\resy}{\kappa(y)}
\newcommand{\LK}{L/K}
\newcommand{\isom}[3]{#1\overset{#2}{\iso}#3}
\newcommand{\kn}{k^n}
\newcommand{\kvec}{\textbf{vect}(k)}
\newcommand{\fkvec}{\textbf{vect}_{<\infty}(k)}
\newcommand{\fz}{f(X)=0}
\newcommand{\KIsom}{L\underset{K}{\overset{\sim}{\to}} L}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\L}{\mathbb{L}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\A}{\mathbb{A}}
\newcommand{\ad}{\A_k}
\newcommand{\qgal}[1]{\Gal(#1/\Q)}
\newcommand{\P}{\mathbb{P}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Zp}{\mathbb{Z}_p}
\newcommand{\Qp}{\mathbb{Q}_p}
\newcommand{\Qq}{\mathbb{Q}_q}
\newcommand{\Fp}{\mathbb{F}_p}
\newcommand{\I}{[0,1]}
\newcommand{\In}{[0,1]^n}
\newcommand{\Fpn}{\mathbb{F}_{p^n}}
\newcommand{\Fpm}{\mathbb{F}_{p^m}}
\newcommand{\Zn}{\mathbb{Z}/{n\mathbb{Z}}}
\newcommand{\Zx}[1]{\mathbb{Z}/{#1\mathbb{Z}}}
\newcommand{\md}[3]{#1\equiv #2\pmod{#3}}
\newcommand{\ga}{\Gal(L/K)}
\newcommand{\aga}[1]{\Gal(\overline{#1}/#1)}
\newcommand{\sga}[1]{\Gal(#1^{sep}/{#1})}
\newcommand{\gal}[2]{\Gal(#1/{#2})}
\newcommand{\c}[1]{\mathcal{#1}}
\newcommand{\skw}{\{\tau\}}
\newcommand{\limes}[1]{\underset{i\in I}{\varprojlim{#1_i}}}
\newcommand{\IGLn}{\mathbb{G}\mathbb{L}_n}
\newcommand{\IGL}{\mathbb{G}\mathbb{L}}
\newcommand{\Co}[2]{H^p(#1,#2)}
\newcommand{\OK}{\mathcal{O}_K}
\newcommand{\OL}{\mathcal{O}_L}
\newcommand{\res}[1]{\kappa(#1)}
\newcommand{\resx}{\kappa(x)}
\newcommand{\lTen}{\langle T_1\cos T_n\rangle}
\newcommand{\lXen}{\langle X_1\cos X_n\rangle}
\newcommand{\Te}{[T]}
\newcommand{\Tee}{[T_1,T_2]}
\newcommand{\Teee}{[T_1,T_2,T_3]}
\newcommand{\Ten}{[T_1\cos T_n]}
\newcommand{\Tem}{[T_1\cos T_m]}
\newcommand{\pts}{\cdots}
\newcommand{\pt}{\cdot}
\newcommand{\hm}[3]{\Hom_{#1}(#2,#3)}
\newcommand{\hom}{\Hom}
\newcommand{\dash}{\dashrightarrow}
\newcommand{\schemes}{\bb{(Sch)}}
\newcommand{\groups}{\bb{(Grp)}}
\newcommand{\rings}{\bb{(Ring)}}
\newcommand{\tx}[1]{\text{ #1 }}
\newcommand{\mm}{\ff{m}}
\newcommand{\zkinfsum}{\sum_{k=0}^\infty}
\newcommand{\ziinfsum}{\sum_{i=0}^\infty}
\newcommand{\zjinfsum}{\sum_{j=0}^\infty}
\newcommand{\asum}[1]{\sum_{\a\in\N^n}#1 X^\a}
\newcommand{\arr}[3]{#1\overset{#2}{\to} #3}
\newcommand{\nrm}[1]{\left\|#1\right\|}
\newcommand{\nr}{\nrm{-}}
\newcommand{\ext}[2]{#1/{#2}}
\newcommand{\lam}{\lambda}
\newcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\g}{\gamma}
\newcommand{\de}{\delta}
\newcommand{\vp}{\varphi}
\newcommand{\p}{\phi}
\newcommand{\bul}{\bullet}
\newcommand{\t}{\tau}
\newcommand{\s}{\sigma}
\newcommand{\ze}{\zeta}
\newcommand{\T}{\mathbb{T}}
\newcommand{\tm}{\times}
\newcommand{\tms}{\times\pts\times}
\newcommand{\ot}{\otimes}
\newcommand{\ots}{\otimes\pts\otimes}
\newcommand{\pls}{+\pts +}
\newcommand{\cos}{,\pts,}
\newcommand{\op}{\oplus}
\newcommand{\ops}{\oplus\pts\oplus}
\newcommand{\cr}{\circ}
\newcommand{\crs}{\circ\pts\circ}
\newcommand{\sc}[1]{\mathscr{#1}}
\newcommand{\scal}[2]{\sc{#1}{\!#2}}
\newcommand{\ov}[2]{\begin{matrix}#1 \\ #2\end{matrix}}
\newcommand{\viele}{\color{orange}{\udl{\color{black}{\sc{V}\!iele\tx{}\sc{G}\!r\overset{{}_{,,\!}}{u}\textit{ß}e}}}}
\newcommand{\xst}{\color{orange}{\udl{\color{black}{X.S.T.\sim 小石头}}}}
\newcommand{\gudl}[1]{\color{orange}{\udl{\color{black}{#1}}}}
\newcommand{\Task}{\gudl{\sc{T}\!ask:}}
\newcommand{\Exer}{\gudl{\sc{E}\!exercise:}}
\newcommand{\Drinfeld}{\gudl{\sc{D}\!rinfeld:}}
\newcommand{\Goss}{\gudl{\sc{G}\!oss}}
\newcommand{\CK}{C/K}
\newcommand{\CS}{C/S}
\newcommand{\Ck}{C/k}
\newcommand{\Om}{\Omega}
\newcommand{\J}{\Jac_{\CS}^{g-1}}
\newcommand{\Fact}{\gudl{\sc{F}\!act\colon}}
\newcommand{\Factn}[1]{\gudl{\sc{F}\!act\tx{}#1\colon}}
\newcommand{\sep}[1]{#1^{\o{sep}}}
\newcommand{\abel}[1]{#1^{\o{ab}}}
\newcommand{\corres}[2]{\{#1\}\leftrightarrows\{#2\}}
\newcommand{\units}[1]{#1^{\tm}}
\newcommand{\line}{\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!\sim\!\!}
\newcommand{\fin}[1]{#1^{\o{fin}}}
\newcommand{\infin}[1]{#1^{\infty}}
\newcommand{\Ql}{\Q_{\ell}}
\newcommand{\dbquot}[3]{{}_{#2}\backslash#1/_{#3}}
\)
2019-11-12 21:43 - Math_user im Themenstart schreibt:
Guten Abend
Ich soll das Radikal im Ring R=\(\mathbb{C}\)[x] berechnen des Ideals \(I=(x^2-x+1)\). Dabei verstehe ich aber nur schon die Struktur/Form meines Ideals nicht, wenn ich sage \(x\in I\) dann ist \(x=(x^2-x+1)*y\), wobei \(y\in \mathbb{C}\)?
Kann mir jemand da weiterhelfen?
Vielen Dank und gruss
Math_user Hi Math_user.
Sei $R$ ein kommutativer Ring mit $1$ und $(x)\sube R$ das von $x$ erzeugte Ideal. Dann gilt $(x)=\set{y\in R}{y=rx\tx{für ein}r\in R}$.
Ist es jetzt klar?
----------------- ”己所不欲,勿施于人“(Konfuzius)
PS: Falls ich plötzlich aufhöre in einem Thread zu antworten, dann kann es sein, dass ich es vergessen habe. Ihr könnt mir in diesem Fall eine Private Nachricht schicken.\(\endgroup\)
|
Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 4163
Aus: Berlin
 |     Beitrag No.2, eingetragen 2019-11-12
|
$I$ besteht aus den Polynomen der Form $(x^2 - x + 1) \cdot f$ mit $f \in \IC[x]$. Das sind also die Polynome, die durch $x^2-x+1$ teilbar sind. Sicherlich ist $x$ nicht durch $x^2-x+1$ teilbar (das geht schon aus Gradgründen nicht).
Das Radikalideal eines Hauptideals in einem faktoriellen Ring $R$ lässt sich allgemein bestimmen: Ist $0 \neq a \in R$ mit Primfaktorzerlegung $a = u \cdot p_1^{k_1} \dotsc p_n^{k_n}$, wobei $k_i \geq 1$, so gilt
$\mathrm{rad}(\langle a \rangle) = \langle p_1 \cdots p_n \rangle.$
Mache dir das am besten einmal allgemein klar. Der Beweis ist nicht schwierig.
Man wendet das hier dann auf $R = \IC[x]$ und $a = x^2-x+1$ an. Man muss sich also nur noch überlegen, was hier die Primfaktorzerlegung ist. Weil das Polynom Grad $2$ hat, muss man dazu nur die Nullstellen bestimmen, und schauen ob die beiden Nullstellen zusammenfallen (was dann die Primfaktorzerlegung $(x-r)^2$, $r \in \IC$, wäre) oder nicht (was dann die Primfaktorzerlegung $(x-r)(x-s)$ mit $r,s \in \IC$, $r \neq s$ wäre).
|
Profil
Quote
Link |
Math_user
Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 123
 |     Beitrag No.3, vom Themenstarter, eingetragen 2019-11-13
|
Guten Morgen
Vielen Dank Triceratops und xiao_shi_tou_ für eure Antworten! Nun kann ich die Aufgabe angehen. Ich habe mir mal mein Ideal \((x^2-2x+1)\) genauer angeschaut und bemerkt, dass dieser sehr schön in Linearfaktoren zerfällt, sprich \((x^2-2x+1)=(x-1)^2\) (wie Triceratops schon geschrieben hat). Nun kommt aber laut der Definition des Radikals (\(rad(I)=\{r\in R :\exists \:n \in \mathbb{C}[x] \:s.d. r^n \in I \}\)) nur \((x-1)\) in Frage, da diese die kleinste Menge ist, die diese Eigenschaft erfüllt. Stimmt meine Überlegung?
@Triceratops da in der Aufgabenstellung steht berechnen, denke ich nicht dass ein allgemeiner Beweis nötig ist. Aber bei Gelegenheit werde ich gerne darüber nachdenken. Jedoch nimmt mich wirklich wunder, wieso du stets \((*)\) vermeidest ^^'
|
Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 4163
Aus: Berlin
 |     Beitrag No.4, eingetragen 2019-11-13
|
In Beitrag $0$ steht $x^2-x+1$, nicht $x^2-2x+1$.
|
Profil
Quote
Link |
Math_user
Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 123
 |     Beitrag No.5, vom Themenstarter, eingetragen 2019-11-13
|
2019-11-13 08:50 - Triceratops in Beitrag No. 4 schreibt:
In Beitrag $0$ steht $x^2-x+1$, nicht $x^2-2x+1$.
Korrekt, vielen Dank für den Hinweis. Dies ist ein Fehler! Ich meine \(x^2-2x+1\)
|
Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 4163
Aus: Berlin
 |     Beitrag No.6, eingetragen 2019-11-13
|
Ok. Du möchtest also $\mathrm{rad}((x-1)^2) = (x-1)$ zeigen.
Was du dazu in Beitrag 3 gesagt hast, reicht nicht als Beweis aus.
Es muss ja gezeigt werden: Für $f \in \IC[x]$ gilt genau dann $x-1 \mid f $, wenn es ein $k \geq 0$ gibt mit $(x-1)^2 \mid f^k$.
Benutze die Primfaktorzerlegung (man kommt also um das Argument, was ich in Beitrag 2 angedeutet habe, nicht herum).
|
Profil
Quote
Link |
Math_user
Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 123
 |     Beitrag No.7, vom Themenstarter, eingetragen 2019-11-13
|
Ich ehrlicherweise sagen, ich bin noch ein wenig verwirrt mit deinem Argument aus Beitrag 2. Ich versuche aber $\mathrm{rad}((x-1)^2) = (x-1)$ zeigen durch doppelte Inklusion. Jedoch komme ich gerade bei \(rad((x-1)^2)\subset (x-1)\) nicht weiter. Soweit bin ich:
Sei \(x\in rad((x-1)^2)\Rightarrow \exists\: n \in \mathbb{N}\:s.d.\:x^n\in(x-1)\Rightarrow\exists\ k \in \mathbb{C}[x]\:s.d.\:x^n=(x-1)*k)\) aber nun komme ich nicht weiter... Ich möchte ja gerne erhalten: \(x\in(x-1)\)
Kann mir jemand helfen? Vielen Dank! :)
|
Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 4163
Aus: Berlin
 |     Beitrag No.8, eingetragen 2019-11-13
|
Wieso jetzt auf einmal $(x^2-1)$?
Hast du meinen Tipp gelesen?
Primfaktorzerlegung
|
Profil
Quote
Link |
Math_user
Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 123
 |     Beitrag No.9, vom Themenstarter, eingetragen 2019-11-13
|
Guten Abend Triceratops
Erstmals, vielen Dank für deine Mühe und Geduld. Ich habe dein Tipp mit Primfaktorzerlegung gelesen, nur sehe ich nicht inwiefern mir das weiter hilft. Also ich versuche es mal ganz langsam: Primfaktorzerlegung heisst man kann eine natürliche Zahl als Produkt von Primzahlen schreiben. Aber ich weiss nicht wie dies mir weiter hilft, tut mir leid :/
PS: Habe meinen Fehler oben korrigiert, danke für den Hinweis
|
Profil
Quote
Link |
Triceratops
Aktiv  Dabei seit: 28.04.2016 Mitteilungen: 4163
Aus: Berlin
 |     Beitrag No.10, eingetragen 2019-11-14
|
In $\IC[x]$ gibt es eine Primfaktorzerlegung (weil dieser Ring faktoriell ist). Zum Beispiel ist $x-1$ irreduzibel also prim.
|
Profil
Quote
Link |
Math_user
Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 123
 |     Beitrag No.11, vom Themenstarter, eingetragen 2019-11-14
|
Profil
Quote
Link |
Math_user
Aktiv  Dabei seit: 04.05.2019 Mitteilungen: 123
 |     Beitrag No.12, vom Themenstarter, eingetragen 2019-11-14
|
Wenn ich also meine Beitrag 7 wieder aufnehme, folgt: \(\Rightarrow\exists\ k \in \mathbb{C}[x]\:s.d.\:x^n=(x-1)*k)\Rightarrow (x-1)\mid x^n \Rightarrow (x-1)\mid x\:oder\:(x-1)\mid x^{n-1}\Rightarrow ... \) man kommt so oder so schlussendlich auf \((x-1)\mid x\) aber wie komme ich nun zu \(x\in (x-1) \)?
|
Profil
Quote
Link |
|