So what I have is something like
R = PolynomialRing(GF(2),'x')
Where in place of 'x' I want tau, with
K.<z> = CyclotomicField(29)
z = K.gen()
G = K.galois_group()
Gh = G.subgroup([g for g in G if g.order().divides(7)])
tau = Gh.gen(1)
@kimreece would Gh.algebra(GF(2)) be useful at all ?
this looks promising, but who knows
@swl Oh yes! this looks like exactly what I wanted... :) It's so hard to remember when things are called modules or algebras or... thanks!
@kimreece yay!! :) honestly, I had to read the wikipedia page for group rings to get up to speed, and the subsection 'group algebra over a finite group' was the real scoop on keywords
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!