Math 361, Spring 2014, Assignment 13
From cartan.math.umb.edu
Carefully define the following terms, then give one example and one non-example of each:[edit]
- Group presentation.
- Generators (of a given presentation).
- Relators (of a presentation).
- Finitely presented group.
- Isomorphic presentations.
- Irreducible element (of a domain $D$).
- Prime element (of a domain $D$).
Carefully state the following theorems (you need not prove them):[edit]
- Theorem relating unique factorization to divisor chains and primeness.
- Theorem relating unique factorization in $D$ to unique factorization in $D[x]$.
- Theorem concerning factorization in principal ideal domains.
Solve the following problems:[edit]
- Section 40, problems 1, 3, and 5.
- Section 45, problems 1, 3, 5, 7, and 9.
Questions:[edit]
- I am not entirely sure, but I think the first theorem was essentially stated in two parts in lecture. We showed that if we fix an integral domain $D$, and $D$ satisfies the DCC, then any element can be expressed as the product of irreducibles (i.e. existence of factorization). Also, if $D$ satisfies the primeness condition, I believe it then admits unique factorization. So then the theorem would be that any integral domain satisfying the DCC and the primeness condition is a UFD. I am not sure whether this goes both ways (i.e. if being a UFD implies DCC and primeness condition). --Robert.Moray (talk) 10:11, 5 May 2014 (EDT)
- We only proved it in one direction, but it does in fact go both ways: a domain $D$ is a UFD if and only if it satisfies the divisor chain condition (every divisor chain eventually stabilizes) and the primeness condition (every irreducible element is prime). --Steven.Jackson (talk) 16:14, 7 May 2014 (EDT)
- I am not entirely sure, but I think the first theorem was essentially stated in two parts in lecture. We showed that if we fix an integral domain $D$, and $D$ satisfies the DCC, then any element can be expressed as the product of irreducibles (i.e. existence of factorization). Also, if $D$ satisfies the primeness condition, I believe it then admits unique factorization. So then the theorem would be that any integral domain satisfying the DCC and the primeness condition is a UFD. I am not sure whether this goes both ways (i.e. if being a UFD implies DCC and primeness condition). --Robert.Moray (talk) 10:11, 5 May 2014 (EDT)