Skip to main content

adams_one_line

Function adams_one_line 

Source
pub fn adams_one_line(t: usize) -> usize
Expand description

dim Ext^{1,t}_๐’œ(Z/2, Z/2) โ€” the first line of the Adams Eโ‚‚ page = the indecomposables of the Steenrod algebra in degree t. Equals dim ๐’œ_t โˆ’ dim(๐’œโบยท๐’œโบ)_t. By Milnor it is 1 exactly when t is a power of 2 (the h_i = Sq^{2โฑ}), and 0 otherwise.