代数写像の同型と合同解析