[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Shapes as types, to define extension types... I do not believe in algebra anymore... \section{Bézout GCD rings} Are $\gcd$ and $\lcm$ distributive over each other? $\lcm$ is particularly problematic because there is no single minimum element with respect to $\lcm$; the minimum elements are given by the group of units. category: redirected to nlab