最終更新日:2022/12/24
A standard theorem about finitely generated abelian groups tells us that E(ℚ) looks like qquad E(ℚ)≅( mbox FiniteGroup)⨯ underbrace {ℤ⨯ℤ⨯...⨯{Z_(r mbox copies) qquad E(ℚ)≅E(ℚ)(mbox tors)⨯ underbrace ℤ⨯ℤ⨯...⨯ℤ(r mbox copies) The finite subgroup E(ℚ)_(mbox tors) is called the qquad color red mbox TorsionSubgroupofE(ℚ).}}
編集履歴(0)
元となった例文