| |
| Autor |
  Ideal |
|
Math_user
Aktiv 
Dabei seit: 04.05.2019
Mitteilungen: 392
Aus: Deutschland
 |
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
|
 Notiz  Profil
 Quote
 Link |
xiao_shi_tou_
Senior 
Dabei seit: 12.08.2014
Mitteilungen: 1248
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\)
|
Notiz Profil
Quote
Link |
Triceratops
Wenig Aktiv 
Dabei seit: 28.04.2016
Mitteilungen: 4319
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).
|
Notiz Profil
Quote
Link |
Math_user
Aktiv
Dabei seit: 04.05.2019
Mitteilungen: 392
Aus: Deutschland
| 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 ^^'
|
Notiz Profil
Quote
Link |
Triceratops
Wenig Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 4319
Aus: Berlin
| Beitrag No.4, eingetragen 2019-11-13
|
In Beitrag $0$ steht $x^2-x+1$, nicht $x^2-2x+1$.
|
Notiz Profil
Quote
Link |
Math_user
Aktiv
Dabei seit: 04.05.2019
Mitteilungen: 392
Aus: Deutschland
| 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\)
|
Notiz Profil
Quote
Link |
Triceratops
Wenig Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 4319
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).
|
Notiz Profil
Quote
Link |
Math_user
Aktiv
Dabei seit: 04.05.2019
Mitteilungen: 392
Aus: Deutschland
| 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! :)
|
Notiz Profil
Quote
Link |
Triceratops
Wenig Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 4319
Aus: Berlin
| Beitrag No.8, eingetragen 2019-11-13
|
Wieso jetzt auf einmal $(x^2-1)$?
Hast du meinen Tipp gelesen?
Primfaktorzerlegung
|
Notiz Profil
Quote
Link |
Math_user
Aktiv
Dabei seit: 04.05.2019
Mitteilungen: 392
Aus: Deutschland
| 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
|
Notiz Profil
Quote
Link |
Triceratops
Wenig Aktiv
Dabei seit: 28.04.2016
Mitteilungen: 4319
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.
|
Notiz Profil
Quote
Link |
Math_user
Aktiv
Dabei seit: 04.05.2019
Mitteilungen: 392
Aus: Deutschland
| Beitrag No.11, vom Themenstarter, eingetragen 2019-11-14
|
Notiz Profil
Quote
Link |
Math_user
Aktiv
Dabei seit: 04.05.2019
Mitteilungen: 392
Aus: Deutschland
| 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) \)?
|
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-2020 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 / Home ohne Frame
Wie unterstütze ich den Matheplaneten mit Geld?
