Convex subgroup of an ordered group

ID: convex-subgroup-of-an-ordered-group

A subgroup is convex if with implies . In a linearly ordered group, convex subgroups form a chain under inclusion: positive elements witnessing incomparability would be comparable and force the smaller one into the other subgroup by convexity.

New to topics? Read the docs here!