search

dcernst / IBL-AbstractAlgebra

IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
http://dcernst.github.io/IBL-AbstractAlgebra/
68 stars 11 forks source link

Add proof that U_n is a group #98

Open dcernst opened 6 years ago

dcernst commented 6 years ago

I think including the whole proof or a sketch of the proof would be a good idea. Also, the proof uses Bezout's Lemma, which I didn't include a mention of until later.

dcernst commented 6 years ago

U_n gets introduced in Chapter 4.