Elementary equivalence of the semigroup of invertible matrices with nonnegative elements
/ Authors
/ Abstract
In this paper, we prove that the semigroups of invertible matrices with nonnegative elements over linearly ordered associative rings are elementarily equivalent if and only if the matrices have the same dimension and the rings are elementarily equivalent as ordered rings.
Journal: Journal of Mathematical Sciences