Read: Continue with Section 5.5.1.
Turn in: 5.91, 5.92, 5.96
- For 5.91 and 5.92, you’re showing two sets are equal, and you’ll probably want to argue the containments separately much like when we were working with subfields and showing things like \(\mathbb{Q}(i) = \{a+bi\mid a,b\in \mathbb{Q}\}\). Use Fact 3.53 (Bézout’s Lemma) for 5.92.
- Please pay special attention to Fact 5.95; it’s important.
Extra practice: 5.94
- Fact 5.54 is key to 5.94.