1
$\begingroup$

I've noticed that while there are tags ordered-groups and ordered-fields, there is no tag ordered-rings. The issue is that there was a little amount of questions with this tag. So it got deleted.

I propose the following solutions:

Rename ordered-groups to ordered-groups-and-rings, or rename ordered-fields to ordered-fields-and-rings.

$\endgroup$
1

1 Answer 1

3
$\begingroup$

Certainly renaming into would be counterproductive, because a large part of the research on ordered groups concerns 1-dimensional dynamics and unrelated to ring/field theory.

On the other hand, I tend to think that replacing with would be natural and fine. Probably it would be fine to encompass semirings too. In a sense, the main default of would be its length but this is not a major obstruction.

$\endgroup$
2
  • 1
    $\begingroup$ I don't think such an unwieldy name is necessary. Just make it ordered-rings. This would include ordered fields as a special case, and ordered semirings by analogy. $\endgroup$ Mar 29 at 16:53
  • $\begingroup$ @EmilJeĊ™ábek yes I agree $\endgroup$
    – YCor
    Mar 29 at 17:04

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .