"linearly ordered abelian group" . "Linearly ordered group" . "ordered group" . . "linearly ordered group" . . . . . . "totally ordered abelian group" . . "linearly ordered" . "positive elements" . "Linearly ordered group" . "ordered groups" . "linearly ordered groups" .