Math 361, Spring 2021, Assignment 5
From cartan.math.umb.edu
Revision as of 22:39, 6 March 2021 by Steven.Jackson (talk | contribs) (Created page with "__NOTOC__ ==Read:== # Section 18. # Section 19. ==Carefully define the following terms, then give one example and one non-example of each:== # The ''initial morphism'' fro...")
Read:
- Section 18.
- Section 19.
Carefully define the following terms, then give one example and one non-example of each:
- The initial morphism from $\mathbb{Z}$ to any unital ring $R$.
- $\mathrm{char}(R)$ (the characteristic of a unital ring $R$).
- The prime subring of a unital ring $R$.
- Zero-divisor (in a commutative ring $R$).
- Integral domain.
- Field.
Carefully state the following theorems (you do not need to prove them):
- Theorem relating the prime subring to the characteristic (i.e. "The prime subring of a unital ring $R$ is an isomorphic copy of...")
- Formula for $\mathrm{char}(\mathbb{Z}_a\times\mathbb{Z}_b)$.
- Chinese Remainder Theorem.
- Theorem relating units to zero-divisors.
- Theorem relating fields to integral domains.
- Theorem concerning unital subrings of integral domains ("Any unital subring of an integral domain is a...")
- Theorem concerning the characteristic of an integral domain.
Solve the following problems:
- Section 18, problems 15, 17, 18, and 40.
- Section 19, problems 1, 2, 5, 7, 9, and 11.
- (The Freshman's Dream) Suppose that $R$ is a commutative, unital ring of characteristic two, and choose any $a,b\in R$. Prove that $(a+b)^2=a^2+b^2$. (Please do not reveal this theorem to actual freshmen, who must work in rings of characteristic zero and who already have enough trouble squaring binomials correctly.)
- (The Freshman's Dream in general) Generalize the above exercise as follows: let $R$ be a commutative, unital ring of prime characteristic $p$, and let $a,b\in R$ be arbitrary. Prove that $(a+b)^p=a^p+b^p$. (Hint: use the binomial theorem, which is valid in any commutative ring.)
- Give an example to show that the Freshman's Dream does not hold in composite characteristic.