After consuming several hours of #sagemath documentation, I still have no idea how to construct a group ring. I can construct an ideal isomorphic to it, but I need it coerced back to the relevant finite module over the galois group because I need to apply a galois action from it.

@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

Kim Reece@kimreece@mathstodon.xyzSo 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)