A(2) is steenrod algebra generated by sq1, sq2,sq4 with Adem relations, we knew A(2) has dimension 64, how to calculate the basis like quotient algebra A(2)/A(2){sq1} and A(2)/A(2){sq1,sq2sq3} and A(2)/A(2){sq1, sq7,sq3sq7+sq4sq6} in Sage? Thanks !
1 | initial version |
A(2) is steenrod algebra generated by sq1, sq2,sq4 with Adem relations, we knew A(2) has dimension 64, how to calculate the basis like quotient algebra A(2)/A(2){sq1} and A(2)/A(2){sq1,sq2sq3} and A(2)/A(2){sq1, sq7,sq3sq7+sq4sq6} in Sage? Thanks !