836. A Bold Proposition

Let A be an affine plane over a radically integral local field F with residual characteristic p.

We consider an open oriented line section U of A with normalized Haar measure m.

Define f(m,p) as the maximal possible discriminant of the jacobian associated to the orthogonal kernel embedding of U into A.

Find f(20230401,57). Give as your answer the concatenation of the first letters of each bolded word.

836. 一个大胆的提议1

A 为一个仿射平面 (affine plane),其定义在某余数特征值为 p根式-整数局部域 (radically integral local field) F 上。

我们考虑一个开有向直线截面 (open oriented line section),其归一化 Haar 测度为 m

f(m,p)雅可比矩阵 (jacobian) 的最大可能判别式之值,该矩阵与 UA正交核嵌入 (orthogonal kernel embedding) 有关。

f(20230401,57)2。将所有加粗词语的首字母串接作为你的答案。


这个链接 回到源站。

这个链接 回到详细版题目目录。


1 这是一个双关,bold 可以指“大胆的”,也可以指“被加粗的(字)”。proposition 在数学中也有“命题”一义。把这题作为 Project Euler 的正式题目的确是一个大胆的提议 (笑)。另外,应该是考虑到愚人,本题中的术语搭配几乎没有对的——Haar 测度并不是一个数、域的特征必须是 0 或一个质数、目前没有数学家给出过所谓根式-整数局部域、有向直线截面等概念。
2 57 大概率是使用了数学界的一个梗——Grothendieck 质数。著名数学家 Alexander Grothendieck 曾在一次演讲中口误,在举例子时把 57 错认为是质数。