Partially Defined Algebraic Structures

演算が部分的にしか定義されていない代数的構造の内, 最も基本的なのは, partial monoid (semigroup) だろう。

  • partial monoid

Partial monoid は, \(C^*\)-algebra に関連して, Burgstaller [1111.4160] などによっても調べられている。そこでは, semimultiplicative set と呼ばれているが。[Bur09] では, partial monoid の \(C^*\)-algebra や equivariant \(KK\)-theory が考えられている。

ホモトピー論では, [Shi01; Tam13] など。 位相を持ったものであるが。

他にも, 様々な場面で異なる名前で登場する。例えば, Bessis の [Bes03] では pre-monoid という名前で呼ばれている。

更に弱めて, 積が部分的にしか定義されていない magma を, Jonsson [Jon] は partial magma と呼んでいる。関連して semigroupoid や poloid といった構造も調べている。

  • partial magma
  • semigroupoid
  • poloid

他の partial monoid の一般化としては, Bianchi [Bia] が Hurwitz space の一般化のために導入した parially multiplicative quandle がある。名前の通り, quandle の一般化にもなっている。

  • partially multiplicative quandle

Partial semigroup は, [DE18] や [Gho23] などで登場する。

  • partial semigroup

Partial monoid で逆元を持つものは, partial group と呼ばれるが, あまり調べられていないようである。Chermak [Che22] で定義されたのが最初なのだろうか。

  • partial group

Fusion system と関係あるため, ホモトピー論の人が中心になって調べているようである。 Broto と Gonzalez [BG] は, 拡大の理論を展開している。 Salati [Sal] は, partial group の category での limit や colimit を調べている。

Díaz Ramos と Molinier と Viruel [RMV] は, どんな群も partial group の automorphism group として表せることを示している。 つまり, partial group の category は universal category である, ということである。

更に和を持つものを partial ring という。van den Berg と Heunen の [BH12; BH13] などで登場する。 Gillibert の [Gil14] では, partial algebra の圏について, 考えられている。

  • partial ring and partial algebra

部分的に定義された作用も考えられている。 Exel [Exe94] は, \(C^*\)-algebra の文脈で, 群の partial action を考えている。 Hopf algebra の partial action は, Caenepeel と Jansen [CJ08] により定義された。 これらについては, Batista の survey [Bat17] がある。Dokuchaev の survey [Dok11; Dok19] もある。

Partial monoid の many-objectification として partial category, つまり morphism の合成が部分的にしか定義されていないものが考えられるが, このようなものは, 何人もの人が独立に定義していて, しかも全て違う名前で呼んでいるので困る。例えば, Bessis [Bes] は germ, R. Milner [Mil06] は precategory と呼んでいる。Andersen と Kashaev [AK14] は categroid という名前を使っている。

  • partial category あるいは germ あるいは precategory あるいは categroid

\(2\)-category の partial 版は, Cazassus の [Caz] に登場する。



Jørgen Ellegaard Andersen and Rinat Kashaev. “A TQFT from quantum Teichmüller theory”. In: Comm. Math. Phys. 330.3 (2014), pp. 887–934. arXiv: 1109.6295. url:


Eliezer Batista. “Partial actions: what they are and why we care”. In: Bull. Belg. Math. Soc. Simon Stevin 24.1 (2017), pp. 35–71. arXiv: 1604.06393. url:


David Bessis. Garside categories, periodic loops and cyclic sets. arXiv: math/0610778.


David Bessis. “The dual braid monoid”. In: Ann. Sci. École Norm. Sup. (4) 36.5 (2003), pp. 647–683. arXiv: math / 0101158. url:


Carles Broto and Alex Gonzalez. An extension theory for partial groups. arXiv: 2105.03457.


Benno van den Berg and Chris Heunen. “Noncommutativity as a colimit”. In: Appl. Categ. Structures 20.4 (2012), pp. 393–414. arXiv: 1003.3618. url:


Benno van den Berg and Chris Heunen. “Erratum to: Noncommutativity as a colimit”. In: Appl. Categ. Structures 21.1 (2013), pp. 103–104. url:


Andrea Bianchi. Partially multiplicative quandles and simplicial Hurwitz spaces. arXiv: 2106.09425.


Bernhard Burgstaller. “Equivariant \(KK\)-theory for semimultiplicative sets”. In: New York J. Math. 15 (2009), pp. 505–531. url:


Guillem Cazassus. A two-category of Hamiltonian manifolds, and a \((1+1+1)\) field theory. arXiv: 1903.10686.


Andrew Chermak. “Finite localities I”. In: Forum Math. Sigma 10 (2022), Paper No. e43. arXiv: 1505.07786. url:


S. Caenepeel and K. Janssen. “Partial (co)actions of Hopf algebras and partial Hopf-Galois theory”. In: Comm. Algebra 36.8 (2008), pp. 2923–2946. arXiv: math/0610524. url:


Igor Dolinka and James East. “Semigroups of rectangular matrices under a sandwich operation”. In: Semigroup Forum 96.2 (2018), pp. 253–300. arXiv: 1503.03139. url:


M. Dokuchaev. “Partial actions: a survey”. In: Groups, algebras and applications. Vol. 537. Contemp. Math. Amer. Math. Soc., Providence, RI, 2011, pp. 173–184. url:


M. Dokuchaev. “Recent developments around partial actions”. In: São Paulo J. Math. Sci. 13.1 (2019), pp. 195–247. url:


Ruy Exel. “Circle actions on \(C^{*}\)-algebras, partial automorphisms, and a generalized Pimsner-Voiculescu exact sequence”. In: J. Funct. Anal. 122.2 (1994), pp. 361–401. arXiv: funct-an/9211001. url:


Arpita Ghosh. “A study on some combinatorial sets in partial semigroups”. In: Asian-Eur. J. Math. 16.2 (2023), Paper No. 2350028, 12. arXiv: 1901.01858. url:


Pierre Gillibert. “Categories of partial algebras for critical points between varieties of algebras”. In: Algebra Universalis 71.4 (2014), pp. 299–357. arXiv: 1012.1949. url:


Dan Jonsson. Poloids from the Points of View of Partial Transformations and Category Theory. arXiv: 1710.04634.


Robin Milner. “Pure bigraphs: structure and dynamics”. In: Inform. and Comput. 204.1 (2006), pp. 60–122. url:


Antonio Díaz Ramos, Rémi Molinier, and Antonio Viruel. Path partial groups. arXiv: 2107.14084.


Edoardo Salati. Limits and colimits, generators and relations of partial groups. arXiv: 2109.12410.


Kazuhisa Shimakawa. “Configuration spaces with partially summable labels and homology theories”. In: Math. J. Okayama Univ. 43 (2001), pp. 43–72.


Dai Tamaki. “Two-sided bar constructions for partial monoids and applications to \(K\)-homology theory”. In: Noncommutative geometry and physics. 3. Vol. 1. Keio COE Lect. Ser. Math. Sci. World Sci. Publ., Hackensack, NJ, 2013, pp. 177–195. url: