同型論
【どうけいろん】
【doukeiron】
同型论