Return to Article Details Gelfand local Bezout domains are elementary divisor rings