Question

Let $k$ be a field with the property that $k(t)$ (the rational function field in one variable over $k$ ) is isomorphic to $k$. (For instance, $\mathbb{Q}\left(x_1, x_2, \ldots\right)$ is such a field $k$.) Let $\theta: k(t) \rightarrow k$ be a fixed isomorphism. Let $p(t)$ be a fixed irreducible polynomial in $k[t]$, and let $A$ be the discrete valuation ring obtained by localizing $k[t]$ at the prime ideal $(p(t))$. On $R=A \oplus A$, define a multiplication by $(a, b)\left(a^{\prime}, b^{\prime}\right)=\left(a a^{\prime}, b a^{\prime}+\theta(a) b^{\prime}\right)$. Then $R$ is a ring with identity $(1,0)$. (1) Show that $R$ is a local ring with $\mathrm{rad} R=A \cdot p(t) \oplus A$. (2) Show that $\bigcap_{i=1}^{\infty}(\mathrm{rad} R)^i=(0) \oplus A$, and that this is the prime radical of $R$. (3) Show that every right ideal of $R$ is an ideal. (4) Show that $R$ is right noetherian but not left noetherian. (This exercise is to be contrasted with Krull's Theorem in commutative algebra which states that, for any commutative noetherian local ring $S, \bigcap_{i=1}^{\infty}(\operatorname{rad} S)^i=(0)$.)

   Let $k$ be a field with the property that $k(t)$ (the rational function field in one variable over $k$ ) is isomorphic to $k$. (For instance, $\mathbb{Q}\left(x_1, x_2, \ldots\right)$ is such a field $k$.) Let $\theta: k(t) \rightarrow k$ be a fixed isomorphism. Let $p(t)$ be a fixed irreducible polynomial in $k[t]$, and let $A$ be the discrete valuation ring obtained by localizing $k[t]$ at the prime ideal $(p(t))$. On $R=A \oplus A$, define a multiplication by $(a, b)\left(a^{\prime}, b^{\prime}\right)=\left(a a^{\prime}, b a^{\prime}+\theta(a) b^{\prime}\right)$. Then $R$ is a ring with identity $(1,0)$. (1) Show that $R$ is a local ring with $\mathrm{rad} R=A \cdot p(t) \oplus A$. (2) Show that $\bigcap_{i=1}^{\infty}(\mathrm{rad} R)^i=(0) \oplus A$, and that this is the prime radical of $R$. (3) Show that every right ideal of $R$ is an ideal. (4) Show that $R$ is right noetherian but not left noetherian. (This exercise is to be contrasted with Krull's Theorem in commutative algebra which states that, for any commutative noetherian local ring $S, \bigcap_{i=1}^{\infty}(\operatorname{rad} S)^i=(0)$.)
 
Show more…
A First Course in Noncommutative Rings
A First Course in Noncommutative Rings
Tsit-Yuen Lam 1st Edition
Chapter 7, Problem 12 ↓
AceChat toggle button
Close icon
Ace pointing down

Please give Ace some feedback

Your feedback will help us improve your experience

Thumb up icon Thumb down icon
Thanks for your feedback!
Profile picture
Let $k$ be a field with the property that $k(t)$ (the rational function field in one variable over $k$ ) is isomorphic to $k$. (For instance, $\mathbb{Q}\left(x_1, x_2, \ldots\right)$ is such a field $k$.) Let $\theta: k(t) \rightarrow k$ be a fixed isomorphism. Let $p(t)$ be a fixed irreducible polynomial in $k[t]$, and let $A$ be the discrete valuation ring obtained by localizing $k[t]$ at the prime ideal $(p(t))$. On $R=A \oplus A$, define a multiplication by $(a, b)\left(a^{\prime}, b^{\prime}\right)=\left(a a^{\prime}, b a^{\prime}+\theta(a) b^{\prime}\right)$. Then $R$ is a ring with identity $(1,0)$. (1) Show that $R$ is a local ring with $\mathrm{rad} R=A \cdot p(t) \oplus A$. (2) Show that $\bigcap_{i=1}^{\infty}(\mathrm{rad} R)^i=(0) \oplus A$, and that this is the prime radical of $R$. (3) Show that every right ideal of $R$ is an ideal. (4) Show that $R$ is right noetherian but not left noetherian. (This exercise is to be contrasted with Krull's Theorem in commutative algebra which states that, for any commutative noetherian local ring $S, \bigcap_{i=1}^{\infty}(\operatorname{rad} S)^i=(0)$.)
Close icon
Play audio
Feedback
Powered by NumerAI
Need help? Use Ace
Ace is your personal tutor. It breaks down any question with clear steps so you can learn.
Start Using Ace
Ace is your personal tutor for learning
Step-by-step explanations
Instant summaries
Summarize YouTube videos
Understand textbook images or PDFs
Study tools like quizzes and flashcards
Listen to your notes as a podcast
Continue solving this problem
Create a free account to:
  • View full step-by-step solution
  • Ask follow-up questions with Ace AI
  • Save progress and study later
Continue Free
Join the community

18,000,000+

Students on Numerade


Trusted by students at 8,000+ universities

Numerade

Get step-by-step video solution
from top educators

Continue with Clever
or



By creating an account, you agree to the Terms of Service and Privacy Policy
Already have an account? Log In

A free answer
just for you

Watch the video solution with this free unlock.

Numerade

Log in to watch this video
...and 100,000,000 more!


EMAIL

PASSWORD

OR
Continue with Clever