Inter-universal geometry と ABC予想 (応援スレ) 80

[360 １３２人目の素数さん 2025/12/25(木) 13:11:51.36 ID:ZCHXd3Tz]

>>358
n個の体R上のn次の行列全体からなる環 M_n(R) 上の加群 GL_n(R) の系を考えればよい
単純に
>GL_n(R) は体R上のn次の行列全体からなる環 M_n(R) 上の加群になる
としてもよい