Lattice-ordered matrix algebras over real GCD-domains

Let $ R \subset \R $ be a GCD-domain. In this paper, Weinberg's conjecture on the $ n \times n $ matrix algebra $ M_{n}(R) \ (n \geq 2) $ is proved. Moreover, all the lattice orders (up to isomorphisms) on a full $ 2 \times 2 $ matrix algebra over $ R $ are obtained.