 CoCalc Public Fileswww / wiki / ant07(2f)homework(2f)hw2.html
Author: William A. Stein
Compute Environment: Ubuntu 18.04 (Deprecated)
ant07/homework/hw2 [top] [TitleIndex] [WordIndex]

# ANT 07 Homework 2

\documentclass{article}
\include{macros}

\begin{document}
\begin{center}
\Large\bf Homework 2 for Math 581F, Due FRIDAY October 12, 2007\end{center}

Each problem has equal weight, and parts of problems are worth the
same amount as each other.

\begin{enumerate}

\item Let $\vphi:R\to S$ be a homomorphism of (commutative) rings.
\begin{enumerate}
\item Prove that if $I\subset S$ is an ideal, then $\vphi^{-1}(I)$
is an ideal of~$R$.
\item Prove moreover that if $I$ is prime, then $\vphi^{-1}(I)$ is
also prime.
\end{enumerate}

\item Let $\O_K$ be the ring of integers of a number field.
The Zariski topology on the set $X=\Spec(\O_K)$ of all prime ideals
of $\O_K$ has closed sets the sets of the form
$$V(I) = \{ \p\in X : \p \mid I\},$$
where~$I$ varies through {\em all} ideals of $\O_K$, and $\p\mid I$
means that $I \subset \p$.
\begin{enumerate}
\item Prove that the collection of closed sets of the
form $V(I)$ is a topology on $X$.
\item Prove that the conclusion of (a) is still true if $\O_K$ is replaced
by an order in $\O_K$, i.e., a subring that has finite
index in $\O_K$ as a $\Z$-module.
\end{enumerate}

\item Let $\alpha = \sqrt{2} + \frac{1+\sqrt{5}}{2}$.
\begin{enumerate}
\item Is $\alpha$ an algebraic integer?
\item Explicitly write down the minimal polynomial of $\alpha$
as an element of $\QQ[x]$.
\end{enumerate}

\item Which are the following rings are orders in the given
number field.
\begin{enumerate}
\item The ring $R = \ZZ[i]$ in the number field $\QQ(i)$.
\item The ring $R = \ZZ[i/2]$ in the number field $\QQ(i)$.
\item The ring $R = \ZZ[17i]$ in the number field $\QQ(i)$.
\item The ring $R = \ZZ[i]$ in the number field $\QQ(\sqrt{-1})$.
\end{enumerate}

\item Give an example of each of the following, with proof:
\begin{enumerate}
\item A non-principal ideal in a ring.
\item A module that is not finitely generated.
\item The ring of integers of a number field of degree~$3$.
\item An order in the ring of integers of a number field of degree~$5$.
\item A non-diagonal matrix of left multiplication by an element
of~$K$, where~$K$ is a degree~$3$ number field.
\item An integral domain that is not integrally closed in its field of fractions.
\item A Dedekind domain with finite cardinality.
\item A fractional ideal of the ring of integers of a number
field that is not an integral ideal.
\end{enumerate}

\end{enumerate}
\end{document}


2013-05-11 18:33