<div class="csl-bib-body">
<div class="csl-entry">Behrisch, M., & Renkin, L. (2023). Computing Witnesses for Centralising Monoids on a Three-Element Set. In D. Dürrschnabel & D. López Rodríguez (Eds.), <i>Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings</i> (pp. 109–126). Springer. https://doi.org/10.1007/978-3-031-35949-1_8</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/187745
-
dc.description.abstract
We use a formal concept theoretic approach to computationally validate the classification of all 192 centralising monoids on three-element sets by Machida and Rosenberg. We determine a manageable finite (and row-reduced) context the intents of which are exactly all centralising monoids on {0, 1, 2}. As an advantage of our method, we are able to compute a list with a witness for each of the 192 monoids, which has not been available to date and allows for an immediate verification of the figure 192 as a lower bound for the number of centralising monoids. We also confirm that the 192 centralising monoids split into 48 conjugacy classes and we provide a list of all conjugacy types including witnesses.
en
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
centralising monoid
en
dc.subject
witness
en
dc.subject
context reduction
en
dc.title
Computing Witnesses for Centralising Monoids on a Three-Element Set
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
978-3-031-35949-1
-
dc.relation.doi
10.1007/978-3-031-35949-1
-
dc.relation.issn
0302-9743
-
dc.description.startpage
109
-
dc.description.endpage
126
-
dcterms.dateSubmitted
2023-02-15
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings
-
tuw.container.volume
13934
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Artificial Intelligence
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
A3
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Fundamental Mathematics Research
-
tuw.researchTopic.value
35
-
tuw.researchTopic.value
65
-
tuw.linking
https://doi.org/10.5281/zenodo.7641814
-
tuw.publication.orgunit
E104-01 - Forschungsbereich Algebra
-
tuw.publication.orgunit
E104 - Institut für Diskrete Mathematik und Geometrie
-
tuw.publisher.doi
10.1007/978-3-031-35949-1_8
-
dc.description.numberOfPages
18
-
tuw.author.orcid
0000-0003-0050-8085
-
tuw.author.orcid
0000-0003-3343-7869
-
tuw.event.name
17th International Conference on Formal Concept Analysis (ICFCA 2023)
en
dc.description.sponsorshipexternal
FWF
-
dc.relation.grantnoexternal
P 33878
-
tuw.event.startdate
17-07-2023
-
tuw.event.enddate
21-07-2023
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Kassel
-
tuw.event.country
DE
-
tuw.event.institution
University of Kassel
-
tuw.event.presenter
Behrisch, Mike
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
35
-
wb.sciencebranch.value
65
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E104-01 - Forschungsbereich Algebra
-
crisitem.author.orcid
0000-0003-0050-8085
-
crisitem.author.orcid
0000-0003-3343-7869
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
