「群」「環」「体」を現在の視点から適切な用語に変えるいいアイデアが提案されたことってありますか?
この三つって重要度のわりに名前と内容があまりにかけ離れてますよね?