User Tools

Site Tools


people:fer:402ws:spring2019:previous_homework

Math 402 - 01 Previous Homework (Spring 2019)


$\newcommand{\aut}{\textrm{Aut}} \newcommand{\inn}{\textrm{Inn}} \newcommand{\sub}{\textrm{Sub}} \newcommand{\cl}{\textrm{cl}} \newcommand{\join}{\vee} \newcommand{\bigjoin}{\bigvee} \newcommand{\meet}{\wedge} \newcommand{\bigmeet}{\bigwedge} \newcommand{\normaleq}{\unlhd} \newcommand{\normal}{\lhd} \newcommand{\union}{\cup} \newcommand{\intersection}{\cap} \newcommand{\bigunion}{\bigcup} \newcommand{\bigintersection}{\bigcap} \newcommand{\sq}[2][\ ]{\sqrt[#1]{#2\,}} \newcommand{\pbr}[1]{\langle #1\rangle} \newcommand{\ds}{\displaystyle} \newcommand{\C}{\mathbb{C}} \newcommand{\R}{\mathbb{R}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\N}{\mathbb{N}} \newcommand{\A}{\mathbb{A}} \newcommand{\F}{\mathbb{F}} \newcommand{\T}{\mathbb{T}} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\imp}{\Rightarrow} \newcommand{\rimp}{\Leftarrow} \newcommand{\pinfty}{1/p^\infty} \newcommand{\power}{\mathcal{P}} \newcommand{\calL}{\mathcal{L}} \newcommand{\calC}{\mathcal{C}} \newcommand{\calN}{\mathcal{N}} \newcommand{\calB}{\mathcal{B}} \newcommand{\calF}{\mathcal{F}} \newcommand{\calR}{\mathcal{R}} \newcommand{\calS}{\mathcal{S}} \newcommand{\calU}{\mathcal{U}} \newcommand{\calT}{\mathcal{T}} \newcommand{\gal}{\textrm{Gal}} \newcommand{\isom}{\approx} \newcommand{\idl}{\textrm{Idl}} \newcommand{\lub}{\textrm{lub}} \newcommand{\glb}{\textrm{glb}} $

Problem Set 01 (complete) Due: 02/01/2019 Board presentation: 02/08/2019

  1. Let $D$ be an integral domain. Consider the following two properties that $D$ and a function $\delta:D-\{0\}\to\N_0$ may have:
    1. For any $a,d\in D$ with $d\neq 0$, there are $q,r\in D$ such that
      $a=qd+r$ and ( $r=0$ or $\delta(r) < \delta(d))$
    2. For any $a,b\in D-\{0\}$, $\delta(a)\leq\delta(ab)$.
      Prove that if there is a function $\delta$ satisfying the first condition, then there is a function $\gamma$ satisfying both of them. Hint: consider $\gamma$ defined by: \[ \gamma(a):= \min_{x\in D-\{0\}}\delta(ax)\]
  2. Chapter 18, problem 22.
  3. Chapter 16, problem 24. Can you weaken the assumption “infinitely many”?
  4. Show that an integral domain $D$ satisfies the ascending chain condition ACC iff every ideal of $D$ is finitely generated. (Hint: one direction is similar to the proof that every PID satisfies the ACC).

Home

people/fer/402ws/spring2019/previous_homework.txt · Last modified: 2019/02/15 15:22 by fer