\documentclass[12pt]{amsart} \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsthm} \usepackage[all]{xy} \voffset=-1in \hoffset=-1in \textheight=10in \textwidth=6in \begin{document} \author{} \title{Math 724\\Summer 2009\\Homework 3} \date{} \maketitle \thispagestyle{empty} \pagestyle{empty} \centerline{\it Yesterday.} \centerline{} \noindent 1. (5 pt) Show that $\text{Tor}_n^R(A,B)$ is well-defined. That is, show that $\text{Tor}_n^R(-,B)$ acts on $A$ equivalently to the way that $\text{Tor}_n^R(A,-)$ acts on $B$. \centerline{} \noindent 2. (5 pt) Let $R$ be a domain. Show that if $I\subseteq R$ is an ideal then $I$ is a projective $R-$module, and use this to conclude that if $R$ is Dedekind then every ideal is projective. \end{document}