Nagatas förmodan

Inom matematiken är Nagatas förmodan en förmodan som säger att Nagatas automorfism, definierad nedan, av en polynomring k[x,y,z] är vild. Förmodan framlades av Mall:Harvs och bevisades av Mall:Harvs.

Nagatas automorfism definieras som

$(x,y,z)\mapsto (x-2(xz+y^2)y-(xz+y^2{)}^{2}z,y+(xz+y^2)z,z).$

Källor

• Mall:Citation
• Mall:Citation