• Abstract 主要观点：许多不同程序是同一算法的实现，程序集合可按所实现算法分区为不同类，使算法集合成为程序集合的商；同理，许多不同算法实现同一可计算函数，算法集合可按所实现函数分区，使可计算函数集合成为算法集合的商，算法介于程序和函数之间，通过研究程序的伽罗瓦群来研究可能的中间类型算法及这些算法可具有的结构。
• 关键信息：25 页，1 幅图；修正错误、纠正拼写错误并添加同伦理论部分；涉及多个学科领域如环与代数、离散数学等；有不同版本 v1 和 v2，包含提交历史等信息。
• 重要细节：从 Noson S. Yanofsky 提交，v1 于 2010 年 10 月 29 日 20:49:04 UTC，53KB；v2 于 2014 年 12 月 25 日 13:44:39 UTC，69KB；可通过不同链接如 https://arxiv.org/pdf/1011.0014 等获取；引用为arXiv:1011.0014 [math.RA]等。