暇つぶし2chat MATH

- 暇つぶし2ch788:-不変などという。このようなものは例えば有限群の指標論などで見かけることができる。また、このような写像の性質を可換三角図式として書き表すことができる（不変量なども参照）。文献によっては、不変という代わりに、～に関する準同型 (morphism; 射) であるとか～と両立する (compatible with ～) とか適合する ("respects ～") などのように言うこともある。より一般に、（ある関係～A に関して）同値なものを（べつの関係～B に関して）同値なものへ写す写像を考えることができて、そのような写像を～A から～B への準同型（あるいは射）などと呼ぶ。つづく