K[[x]][y] 中的拟线性不可约性判别法
数论
2019-11-12 v1 交换代数
代数几何
摘要
我们给出了环 K[[x]][y] 中的一种不可约性判别法，其复杂度关于判别式赋值呈拟线性，假设输入多项式 F 无平方因子且 K 是特征为零或大于 deg(F) 的完美域。该算法利用近似根理论，可视为 Abhyankhar 不可约性判据向非代数闭剩余域情形的推广。
引用
@article{arxiv.1911.03551,
title = {A quasi-linear irreducibility test in K[[x]][y]},
author = {Adrien Poteaux and Martin Weimann},
journal= {arXiv preprint arXiv:1911.03551},
year = {2019}
}
备注
29 pages. arXiv admin note: substantial text overlap with arXiv:1904.00286