关于二维模群定义关系的一点注记

命M_2为行列式为±1的全体2×2整数元素方陣所作的群,M(1/2)为行列式为1的全体2×2整数元素方陣所作成的群,B_2及B_1~+分別是m_2:及m_2~+的射影群,这些群的定义关系曾經被不同的作者用不同的方法找到并且加以証明(問題的发展情况可参看),在这篇短文中作者将用一种簡单的办法加以重新証明。