Good question, and I don't whether the subring is finitely generated. I want to compute examples — what's the subring in a range of degrees — to see what's going on.
On Wednesday, August 24, 2022 at 11:22:31 PM UTC-7 dim...@gmail.com wrote: > > > On Thu, 25 Aug 2022, 00:38 John H Palmieri, <jhpalm...@gmail.com> wrote: > >> I have a polynomial ring R = k[x1, x2, ..., xn] and a ring homomorphism >> f: R -> R. In case it matters, k=GF(2). I would like to find the subring of >> elements x satisfying f(x) = x: that is, I want to find the equalizer of >> the pair of maps (f, 1). Is there anything in Sage that will compute this? >> The more polynomial generators this can handle, the better. >> > > Is this subring finitely generated? Invariant theory in positive > characteristic is full of surprises... > > >> -- >> John >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-support" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-support...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-support/6b028ddf-d0b7-4156-adad-7315cc6220a1n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sage-support/6b028ddf-d0b7-4156-adad-7315cc6220a1n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/1864e476-7668-43ce-8089-ecb66b1e66e6n%40googlegroups.com.