14_1100-{ 141214-165700: Invertible polynomials. 141214-152209: Surjectivity of $\iota$. 141214-144831: gcd and lcm. 141214-141653: Extension of scalars. 141124-155102: The definition of $M\oplus N$. 141121-135027: Proof of the main theorem (2). 141121-133553: Proof of the main theorem. 140924-155521: Gaussian elimination done right. }