環の準同型の核はイデアルであり、逆にイデアルはある環準同型の核になる.
環の準同型の核はイデアルであり、