generated at
同伴
associate


例えば
#??



https://ja.wikipedia.org/wiki/整域#可除性、素元と既約元