体

乗法の0元以外で0を作れないのか、と。すなわち、0以外の元同士を作用させてx･y=0の結論を得られないのかと。 背理法を用います。 x≠0∧y≠0⇔x･y=0 x≠0∧y≠0⇒x･y=0(前提) x(仮定) x･1(乗法単位元) x･y･y...