” 群の作用 “が推移的（可移的）であることを4次交代群を用いて解説。その内容から4次対称群の可解性を証明。