摘要：有限牧场是一个满足总逆运算符且0^{-1}=0的可交换环。我们证明有限牧场的类是有限伽罗华域在有限乘积下的闭包。作为推论，我们得到了有限素域表示下最小有限牧场的唯一表示。
作者：Inge Bethke, Piet Rodenburg and Arjen Sevenster
论文ID：0903.1196
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2009-03-09
PDF 下载： 英文版 中文版pdf翻译中