Semiring と semimodule

Semiring とは, 環の定義で加法に関する逆元の存在を仮定しないものである。 Abelian monoid の圏の monoid object と思ってもよい。

Semiring があれば, その上のmoduleも考えられる。 Abuhlail [Abu14a; Abu14b] によると, semimodules の理論は, 主に M. Takahashi [Tak79; Tak81; Tak82a; Tak82b; Tak82c; Tak85] により基礎付けがされたようである。

参考になる文献としては, [CGQ], [Gła02], [Isé58] などがある。

例としては, 次のようなものがある。

Abuhlail [Abu14a; Abu] は, semiring 上の semimodule に対し, homological algebra を展開しようとしている。 Projective semimodule については Macpherson [Mac] が, injective semimodule については Abuhlail と Noegraha [AN] が調べている。

Abuhlail と Al-Sulaiman [AA15] は, bialgebra や Hopf algebra の類似として, bisemialgebra や Hopf-semialgebra を導入し調べている。

Banagl [Ban15] は semiring や semimodule, そして Eilenberg [Eil74] により導入されたそれらの complete 版を使って, topological field theory を定式化することを考えている。

References

[AA15]

Jawad Y. Abuhlail and Nabeela Al-Sulaiman. “Hopf semialgebras”. In: Comm. Algebra 43.3 (2015), pp. 1241–1278. arXiv: 1304.6042. url: https://doi.org/10.1080/00927872.2013.851205.

[Abu]

Jawad Abuhlail. Uniformly Flat Semimodules. arXiv: 1201.0591.

[Abu14a]

Jawad Y. Abuhlail. “Exact sequences of commutative monoids and semimodules”. In: Homology Homotopy Appl. 16.1 (2014), pp. 199–214. arXiv: 1111.0330. url: https://doi.org/10.4310/HHA.2014.v16.n1.a12.

[Abu14b]

Jawad Y. Abuhlail. “Exact sequences of commutative monoids and semimodules”. In: Homology Homotopy Appl. 16.1 (2014), pp. 199–214. url: https://doi.org/10.4310/HHA.2014.v16.n1.a12.

[Ald]

Marco Aldi. Arithmetical Semirings. arXiv: 1605.08640.

[AN]

Jawad Abuhlail and Rangga Ganzar Noegraha. Injective Semimodules - Revisited. arXiv: 1904.07708.

[Ban15]

Markus Banagl. “Positive topological quantum field theories”. In: Quantum Topol. 6.4 (2015), pp. 609–706. arXiv: 1303.4276. url: https://doi.org/10.4171/QT/71.

[CGQ]

Guy Cohen, Stephane Gaubert, and Jean-Pierre Quadrat. Duality and separation theorems in idempotent semimodules. arXiv: math/0212294.

[DHN]

Maël Denys, Márton Hablicsek, and Giacomo Negrisolo. Non-Noetherian representation categories of generalized fields. arXiv: 2006.05157.

[Eil74]

Samuel Eilenberg. Automata, languages, and machines. Vol. A. Pure and Applied Mathematics, Vol. 58. Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], New York, 1974, pp. xvi+451.

[Gła02]

Kazimierz Głazek. A guide to the literature on semirings and their applications in mathematics and information sciences. With complete bibliography. Kluwer Academic Publishers, Dordrecht, 2002, pp. viii+392. isbn: 1-4020-0717-5. url: http://dx.doi.org/10.1007/978-94-015-9964-1.

[Isé58]

Kiyoshi Iséki. “On ideals in semiring”. In: Proc. Japan Acad. 34 (1958), pp. 507–509.

[Mac]

Andrew W. Macpherson. Projective modules over polyhedral semirings. arXiv: 1507.07213.

[Par]

Brett Parker. Holomorphic curves in Exploded Torus Fibrations: Compactness. arXiv: 0706.3917.

[Tak79]

Michihiro Takahashi. “A bordism category for the ordinary homology theory”. In: Math. Sem. Notes Kobe Univ. 7.3 (1979), pp. 547–572.

[Tak81]

Michihiro Takahashi. “On the bordism categories. II. Elementary properties of semimodules”. In: Math. Sem. Notes Kobe Univ. 9.2 (1981), pp. 495–530.

[Tak82a]

Michihiro Takahashi. “Completeness and \(C\)-cocompleteness of the category of semimodules”. In: Math. Sem. Notes Kobe Univ. 10.2 (1982), pp. 551–562.

[Tak82b]

Michihiro Takahashi. “Extensions of semimodules. I”. In: Math. Sem. Notes Kobe Univ. 10.2 (1982), pp. 563–592.

[Tak82c]

Michihiro Takahashi. “On the bordism categories. III. Functors Hom and \(\otimes \) for semimodules”. In: Math. Sem. Notes Kobe Univ. 10.1 (1982), pp. 211–236.

[Tak85]

Michihiro Takahashi. “On semimodules. III. Cyclic semimodules”. In: Kobe J. Math. 2.2 (1985), pp. 131–141.