Jabarkan Pernyataan dari Konjektur Birch–Tate

Dalam teori-K aljabar, grup  didefinisikan sebagai pusat dari grup Steinberg dari gelanggang bilangan bulat dari medan bilangan .  juga dikenal sebagai kernel jinak . Konjektur Birch–Tate menghubungkan tingkat grup tersebut (bilangan unsurnya) ke nilai dari fungsi zeta Dedekind . Pernyataan yang lebih spesifiknya, misalkan  adalah medan bilangan real total dan misalkan  adalah bilangan asli terbesar sehingga perluasan  dengan akar persatuan ke- memiliki sebuah grup-2 Abel elementer sebagai grup Galoisnya. Maka konjektur Birch–Tate mengatakan bahwa