I thought that tag synonyms were meant simply to be proposed and left to survive or die on their own, but I see another question in HNQ about tag synonyms, so maybe one is supposed to raise a corresponding Meta question. I think that characteristic-p and positive-characteristic should be synonyms.

I thought that tag synonyms were meant simply to be proposed and left to survive or die on their own, but I see another question in HNQ about tag synonyms, so maybe one is supposed to raise a corresponding Meta question. I think that positive-characteristic and characteristic-p are synonyms.

EDIT: As @MartinSleziak points out, I perhaps stated this a bit vaguely. Concretely, I already proposed the synonym, and it awaits the necessary votes.