同伴
associate
例えば
#??
https://ja.wikipedia.org/wiki/整域#可除性、素元と既約元