入力されたワードを説明してください。
テイト・シャファレヴィッチ群
数論幾何学のとは、代数体
上定義されたアーベル多様体
（もしくはもっと一般の）に対して定まる群
のことである。これはヴェイユ・シャトレ群
の元で
のすべての完備化（ から得られる 進体と実または複素の完備化）において自明となるものの集まりとして定義される。これは、ガロアコホモロジーを使うと
と書くことができる。この群はサージ・ラングとジョン・テイトとイゴール・シャファレヴィッチによって考え出された。キリル文字のШ（シャファレヴィッチのシャー）を使う
という表記はによりはじめられた。それまでは
という記号が使われていた。