Source: https://www.math.univ-toulouse.fr/~jgillibe/CPP/cours_algebre_CPP.pdf