Soy nuevo en el tema de la teoría de invariantes, pero el operador de Reynolds apareció, así que he intentado calculados algunos ejemplos para mí. Yo calcula los polinomios invariantes bajo la cylic grupo $C_3$ orden $3$, dado por $120°$ rotaciones en el plano.
Estos polinomios, como
$$\frac 1 4 (x^3-3xy^2), \frac 1 4 (3x^2y-y^3), x^2+y^2, ...$$
y sus combinaciones dan lugar a la agradable temperatura de 120°-simétrica de las curvas planas. Sin embargo, de lo que puedo juzgar por mirar el trazan las imágenes en Wolframalpha, no siempre parece ser un reflejo de simetría a lo largo de algún eje.
Podemos deshacernos de eso? Hay una curva algebraica con sólo 120°-simetría de rotación, pero sin mayor reflexión de los ejes?
Por supuesto que puede tomar una unión de por ejemplo, adecuadamente dispuestas círculos expresada en una sola ecuación, entonces, debemos hablar de curvas irreducibles. Es mi observación correcta? Tal vez hay algunos obvios contraejemplo. Gracias