Let $R$ be a commutative ring with unity and $I$ an ideal of $R$. Show that ideals of $R/I$ are in bijection with ideals of $R$ containing $I$.
Let $R$ be a commutative ring with unity. Let $J \subset I$ be ideals of $R$. Let $\bar I$ denote the ideal $I / J$ of $\bar R=R/J$. Show that $\bar R/\bar I$ is isomorphic to $R/I$.
Let $R$ be a ring. Show that nilrad($R$)$=\cap\{P: P \text{ prime ideal of }R\}$.
Let $R$ be a ring and $I$ an $R$-ideal. Show that $\sqrt I=\cap \{P: I \subset P, P \text{ prime ideal of } R\}$.
Let $R$ be a finite nonzero ring. Show that every prime ideal in $R$ is maximal. Compute all the prime ideals of $(\mathbb{Z}/n\mathbb{Z})\times \mathbb{Q}$.
Let $R$ be a ring. An element $e\in R$ is called an idempotent if $e^2=e$. Show that if $R$ has an idempotent different from 0 and 1 then $R$ can be written as product of two nonzero rings.
Show that the only idempotents in $\mathbb{R}[X,Y]/(XY)$ are 0 and 1.
Show that 3 is irreducible in $\mathbb{Z}[\sqrt{-5}]$. Conclude that $\mathbb{Z}[\sqrt{-5}]$ is not a UFD.
Let $R$ be a UFD, $K$ be its fraction field and $f\in R[X]$. Show that if $f=gh$ for some $g$ and $h$ in $K[X]$ then there exist $g_1$ and $h_1$ in $R[X]$ with $f=g_1h_1$, deg$(g_1)=$deg$(g)$ and deg$(h_1)=$deg$(h)$. Show that $R[X]$ is a UFD. (Hint: use $K[X]$ is a UFD)
Let $R$ be a ring and $S$ be a multiplicative subset of $R$. Show that the binary operation '$+$' on $S^{-1}R$ "defined" in the class is well-defined.
Let $R$ be a ring and $S$ be a muliplicative subset of $R$.
(a) Show tha $S^{-1}R$ is the zero ring iff $0\in S$.
(b) Show that $\phi(s)$ is a unit in $S^{-1}R$ for all $s\in S$ where $\phi:R\to S^{-1}R$ is the natural ring homomorphism.
(c) Show that the natural map $\phi:R\to S^{-1}R$ is an isomorphism iff $S$ contains units.
Let $R$ be a commutative ring with identity, $x\in R$ and $S=\{1,x,x^2,\ldots \}$. Show that $S^{-1}R\cong R[Y]/(xY-1)$.
Let $R=\mathbb{Z}/6\mathbb{Z}$ and $S=\{\bar 1,\bar 2,\bar 4\}$. Show that $S$ is a multiplicative set. Compute the ring $S^{-1}R$. How many elements does it have?
Let $R$ be a ring and $S$ a multiplicative subset. Let $I$ be an ideal in $R$. $IS^{-1}R$ is a proper ideal iff $S\cap I=\emptyset$.
Give examples of distinct proper ideals $I$ and $J$ of a ring $R$ and a multiplicative subset $S$ of $R$ such that $S^{-1}I=S^{-1}J$ is a proper ideal of $S^{-1}R$.
Write all $\mathbb{Z}$-module homomorphism from $\mathbb{Z}/30\mathbb{Z}$ to $\mathbb{Z}/21\mathbb{Z}$.
Let $M$ be an $R$-module and $I$ an ideal of $R$. Show that $M/IM$ has a natural $R/I$-module structure.
Let $R=\mathbb{C}[X,Y]$. Show that the ideal $I=(X,Y)$ is not a free $R$-module.
Let $R$ be a ring and $S$ be a multiplicative subset of $R$. Let $M$ be an $R$-module. Show that $S^{-1}M$ with the natural addition and scalar multiplication (as defined in class) is an $R$-module.
Let $R$ be a ring, $M$ a finitely generated $R$-module and $S$ amultiplicative subset of $R$. Show that $S^{-1}M$ is a finitely genrated $S^{-1}R$-module.
Let $R$ be a ring, $M$ an $R$-module and $S$ a multiplicative subset of $R$. Show that the natural map $M\to S^{-1}M$ sending $m\in M$ to $[\frac{m}{1}]$ is an $R$-module homomorphism. Show that this homomorphism is injective iff for all $s\in S$ and $m\in M$ $sm=0$ implies $m=0$.
Let $R$ be a UFD and $S$ be a multiplicative subset of $R$ containing a nonzero nonunit element and $0\notin S$. Show that $S^{-1}R$ is not a finitely generated $R$-module.
Let $M$ be an $R$-module and $\mu:R\to End_R(M)$ be the induced ring homomorphism. Show that $M$ is a faithful $R/ker(\mu)$-module.
Let $(R,m)$ be a local ring and $M$ be a finitely generated $R$-module. Let the dimension of $M/mM$ as an $R/m$ vector space be $n$. Show that $M$ is generated by $n$ elements. Moreover if $M$ is a free $R$-module show that $M$ has a basis of length $n$.
Let $0\to A\to B \to C\to 0$ be a short exact sequence of $R$-modules. Show that if $A$ and $C$ are finitely generated then so is $B$.
Show that every short exact sequence of vector spaces splits.
Show that for a module $M$, $Tor(M)$ the subset of torsion elements of $M$, need not be a submodule of $M$.
Let $f:A\to B$ and $g:B\to C$ be $R$-module homomorphism. Let $M$ be an $R$-module. Show that $g\circ f$ and $Hom_R(M,f):Hom_R(M,B)\to Hom_R(M,A)$ are $R$-module homomorphisms.
Let $R$ be a ring and $A$, $B$ and $C$ be $R$-modules. Show that $Hom_R(A\oplus B,C)$ is isomorphic to $Hom_R(A,C)\oplus Hom_R(B,C)$ as $R$-modules.
Let $\mathscr{C}$ be an abelian category and let $f\in Mor(A,B)$ for some objects $A$ and $B$ of $\mathscr{C}$. Show that kernel($f$) is a monomorphism. Write down the universal property an object $I$ together with $i\in Mor(I,B)$ should satisfy for it to be image of $f$. Show that kernel(cokernel($f$)) satisfy this universal property.
Let $R$ be a ring and $M$ an $R$-module. Let $$A\to B\to C\to 0$$ be an exact sequence of $R$-modules. Show that the following sequence is exact. $$0\to Hom_R(C,M)\to Hom_R(B,M)\to Hom_R(A,M)$$ Show that $Hom(M,-)$ need not be an exact functor.
Let $R$ be a ring and $S$ be a multiplicative subset. Let $0\to A\to B\to C\to 0$ be a short exact sequence of $R$-modules. Show that induced sequence $0\to S^{-1}A\to S^{-1}B\to S^{-1}C\to 0$ is exact.
Let $q:R\to \bar R$ be surjective ring homomorphism and $S$ be a multiplicative subset of $R$ then $q(S)$ is a multiplicative subset of $\bar R$ and $q(S)^{-1}\bar R$ is isomorphic to $S^{-1}R/S^{-1}\text{ker}(q)$.
Show that tensor product of two $R$-modules is unique upto unique isomorphism.
Show that $\mathbb{Z}/n\mathbb{Z}\otimes_{\mathbb{Z}}\mathbb{Z}/m\mathbb{Z}=0$ iff $(n,m)=1$.
Let $A$, $B$ and $C$ be $R$-modules. Show that $A\otimes(B\otimes C)\cong (A\otimes B)\otimes C$.
Let $R$, $A$ and $B$ be rings. Let $i:R\to A$ and $j:R\to B$ be ring homomorphisms. Show that there exist an $R$-bilinear map $\mu:(A\otimes_R B) \times (A\otimes_R B) \to A\otimes_R B$ which sends $(a\otimes b, a'\otimes b')$ to $aa'\otimes bb'$. Show that this makes $A\otimes_R B$ into a ring.
Let $M$ be an $R$-module. Show that the following are equivalent.
(i) $M=0$.
(ii) $M_P=0$ for all prime ideals $P$ in $R$.
(iii) $M_m=0$ for all maximal ideals $m$ in $R$.
Let $A$ be a ring, $B$ be an $A$-algebra and $M$ a finitely generated $B$-module. Show that $M$ is a finitely generated $A$-module if $B$ is a finitely generated $A$-module.
Let $A$ be a ring, $B$ an $A$-algebra and $C$ a $B$-algebra. Let $M$ be an $A$-module. Show that $M\otimes_A B\otimes_B C\cong M\otimes_A C$.
Show that if $M$ is a flat $R$-module and $S$ is a multiplicative subset of $R$ then $S^{-1}M$ is a flat $S^{-1}R$-module.
Let $R$ be a ring and $S$ be a multiplicative subset. Let $M$ be a finitely generated $R$-module. Show that $S^{-1}Ann(M)=Ann(S^{-1}M)$ as ideals of $S^{-1}R$.
Let $B$ be an $A$-algebra such that $B$ is a flat $A$-module and let $M$ be a flat $B$-module then $M$ is a flat $A$-module.
Let $R$ be a ring and $S$ a multiplicative subset. Let $M$ be a noetherian $R$-module. Show that $S^{-1}M$ is a noetherian $S^{-1}R$-module.
Let $0\to A\to B\to C\to 0$ be an exact sequence of $R$-modules. Show that if $A$ and $C$ are noetherian $R$-module then so is $B$.