The Haskell Road to Logic, Math and Programming (Doets, van Eijck) Chapter 8
https://www.cs.yale.edu/homes/aspnes/classes/202/notes.pdf Chapter 4, 8, 14
https://www.cs.carleton.edu/faculty/dln/book/ch07_number-theory_2021_September_08.pdf
https://runestone.academy/ns/books/published/dmoi-4/sec_addtops-numbth.html
https://runestone.academy/ns/books/published/ads/chapter_15.html
https://runestone.academy/ns/books/published/ads/s-cyclic-groups.html
https://runestone.academy/ns/books/published/ads/s-cosets-and-factor-groups.html
https://runestone.academy/ns/books/published/ads/s-permutation-groups.html
https://runestone.academy/ns/books/published/ads/s-normal-subgroups-homomorphisms.html
https://runestone.academy/ns/books/published/ads/s-coding-theory-groups.html
https://runestone.academy/ns/books/published/ads/chapter_16.html
https://runestone.academy/ns/books/published/ads/s-rings-basic.html
https://runestone.academy/ns/books/published/ads/s-fields.html
https://runestone.academy/ns/books/published/ads/s-polynomial-rings.html
https://runestone.academy/ns/books/published/ads/s-field-extensions.html
https://runestone.academy/ns/books/published/ads/s-power-series.html
https://en.wikipedia.org/wiki/Group_theory
https://en.wikipedia.org/wiki/Group_(mathematics)
https://en.wikipedia.org/wiki/Ring_(mathematics)
https://en.wikipedia.org/wiki/Field_(mathematics)