Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Equivalent Expressions of Direct Sum Decomposition of Groups1
Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari
Free ℤ-module
Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari