{"entities":{"Q2877674":{"pageid":2888394,"ns":120,"title":"Item:Q2877674","lastrevid":79577759,"modified":"2026-05-06T14:14:46Z","type":"item","id":"Q2877674","labels":{"en":{"language":"en","value":"A Galois theory for monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6334025"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877674$344D8B28-2CCC-4770-A766-FA31D731DDE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66837dbfe431cfcb137cbb26b116de4d64408270","datavalue":{"value":"1311.18013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$EE67FCDC-877E-4195-87E4-8061456BCA1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f28ece543e9f7cd29e87f07eb46eabb20ffb8af","datavalue":{"value":{"entity-type":"item","numeric-id":303918,"id":"Q303918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877674$B21CE883-B209-4E6B-997E-B3B13CE2155F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35836c57d48a33992315052fbf2ffdb81ec400fd","datavalue":{"value":{"entity-type":"item","numeric-id":418913,"id":"Q418913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877674$F78ABA57-48BA-4A65-8892-3D6BB297B8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb138edf8b5ae958e174d9e9f5a870607d314ff","datavalue":{"value":{"entity-type":"item","numeric-id":453592,"id":"Q453592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877674$623FEE89-A6B3-457A-A674-FBAB74098097","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d4a4738ec62af7e7741733ce8dec84c6c327f7e","datavalue":{"value":{"time":"+2014-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2877674$D2D7FB6B-483C-4D5D-ADD6-1CA97877BCF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de61ee882a4bcc0bf0812a004c875760ae16a44c","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/29/7/29-07abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2877674$4036C11C-0638-4A12-ADB4-C4ACAD6374D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee1256ba871822e93d38bf96bdff5bb48bec6d00","datavalue":{"value":"18F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$DDC2CD8E-42BF-4D42-A7E5-6047AD4511BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$5CF58CB9-D0E0-478B-9283-B47FB45C8040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$78D961A8-D9E8-43EA-BFF4-DB094B1D3533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6dd9f5fb5fff41ccc4c8765ffad859ff706dcb","datavalue":{"value":"20M32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$DCCAA255-84BE-48F8-94DC-93513F3927D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e04eab59f74e9570ed57de19d86300ca286a53ef","datavalue":{"value":"18A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$7C1B0352-ACAD-48C8-9B45-EF18CF1814BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75484c80d9d7796f91ec4ecc61de5292e9b71a14","datavalue":{"value":"18A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$E9F67893-FD60-4765-8B04-9E625E85C4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$76504AF9-9A1D-4939-AA52-129B14D69941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$02878F12-0DE5-4A33-A064-A371B7F9884A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c76ee1efbf11e7ffd6a58c3be05780c4c1da94dc","datavalue":{"value":"6334025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$48ED214B-1D6B-4AE0-A6F3-E7A2D151A0B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83caaa7616bbb2f2ac50a1d216c535fcf88de880","datavalue":{"value":"Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877674$510906F2-5791-464C-B630-E7DDA6C0982E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef23eca485d4406ba22b1553d154f0247ab251d","datavalue":{"value":"extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877674$E42C4C1C-7F1F-406C-8648-8C5C442D9111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde9ad31f50d20edfbdfd9754155979ef3f6888a","datavalue":{"value":"split epimorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877674$8FAE55CD-C0D3-415A-9C64-5EEBDFFD2CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e357004fe0e24d3a64b9e0db2c237d9eeb995a4","datavalue":{"value":"group completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877674$1843248B-F064-49FB-A802-8FC85B674AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551f6f80c2f822b2da86699d45caba402bd77106","datavalue":{"value":"Grothendieck group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877674$198A7A55-CD08-4A11-8323-87A5D5B81FBA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877674$6AC118E4-FF02-45CC-81E9-B85774902B82","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"e7c67f0ea4c774f69a12d95b057ab67564a88370","datavalue":{"value":"bafkreiagjdgu534aruv2jkf3eo77abnns2yzbowhfhqmkrt2vrvep7v3re","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877674$2BFD5E38-2A9E-4205-8BDB-CA20EA883326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"524fd58a7fde7198719bde08725903a06c686731","datavalue":{"value":{"text":"A Galois theory for monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2877674$1D156872-45A3-4A5A-8DA7-3EE898C170F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877674$6FA952A4-3C34-4F27-82AE-EBF19F3D9F3A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5a24c68cf162a633d727aaa4ee247f145ae8634","datavalue":{"value":"A Galois theory is \\(<\\mathcal C,\\mathcal K,H,I,\\eta ,\\epsilon ,\\mathcal E,\\mathcal F >\\) where \\(\\mathcal C\\) and \\(\\mathcal K\\) are categories, \\(I:\\mathcal C\\to \\mathcal K\\), \\(H:\\mathcal K\\to \\mathcal C\\), \\(\\eta :\\mathrm{Id}_{ \\mathcal C}\\to HI\\), \\(\\epsilon :IH\\to \\mathrm{Id}_{\\mathcal K}\\) form an adjunction and \\(\\mathcal E\\) and \\(\\mathcal F\\) are classes of morphisms of \\( \\mathcal C\\) and \\(\\mathcal K\\) such that they contain all isomorphisms, are pullback stable, are closed under composition, and \\(H(\\mathcal F)\\subseteq \\mathcal E\\), \\( I(\\mathcal E)\\subseteq \\mathcal F\\). For every object \\(B\\) of \\(\\mathcal C\\), let \\(H^B\\) and \\(I^B\\) be the induced adjunction between \\((\\mathcal E\\downarrow B)\\) and \\((\\mathcal F\\downarrow I(B))\\). If \\( H^B\\) is full and faithful for every object \\(B\\) of \\(\\mathcal C\\) then this Galois structure is admissible. A trivial extension is \\(f:A\\to B\\in \\mathcal E\\) such that \\(\\eta_B\\) and \\(HI(f)\\) is a pullback of \\(f\\) and \\(\\eta_A\\). A central extension is \\(f\\in \\mathcal E\\) whose pullback \\( p^{*}(f)\\) along some \\(p\\in \\mathcal E\\) is a trivial extension. A normal extension is \\(f\\in \\mathcal E\\) such that a kernel pair projections of \\(f\\) are trivial extensions. It is proved that the adjunction between the category of monoids and the category of groups obtained via the Grothendieck group construction and \\(\\mathcal E\\) and \\(\\mathcal F\\) as the classes of all surjective homomorphisms create an admissible Galois structure. Moreover, the notions split trivial extension, central extension and normal extension coincide in this Galois structure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877674$6F33DE2A-584D-4ADF-B5BB-937D4D52BE2E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877674$410D95D4-DB1F-47E4-94A3-656E84C34FF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79d69b12562aeec7cdc906f80dabba90dc64a87","datavalue":{"value":{"entity-type":"item","numeric-id":471254,"id":"Q471254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ab289da9dda8e14cac67053b3a00632c14d965","datavalue":{"value":{"amount":"+0.7822495698928833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2877674$0A78130D-A9B2-4254-9E9C-D5C4B252195D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8fcbc4aca1862ce5cab700752cc39550b9bed4","datavalue":{"value":{"entity-type":"item","numeric-id":1345014,"id":"Q1345014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac8e9f3dd81d4aa7a69a5554eb7f584ca047253","datavalue":{"value":{"amount":"+0.7697650790214539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2877674$EA580103-4FF5-45AB-9CA8-9966F9AA5F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b642965e6462d3851bcef41db48d3125462e29d","datavalue":{"value":{"entity-type":"item","numeric-id":4707476,"id":"Q4707476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09240c9b020a2d7f47609ef10ba43f94d26f7843","datavalue":{"value":{"amount":"+0.7661165595054626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2877674$8DEA25E9-392F-4F41-800A-F00D5A2D7FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02f4d971fefd8b15ca7b7b214958de1859ff275","datavalue":{"value":{"entity-type":"item","numeric-id":914821,"id":"Q914821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d73e3e19c0581e6fabefd87322f9acc0c2fc8f0","datavalue":{"value":{"amount":"+0.7440605759620667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2877674$A8B99A37-1707-4C7A-9FB3-6369C73D6CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9261dc8f4ef0015d8919eb51dab925306f8ff789","datavalue":{"value":{"entity-type":"item","numeric-id":2082746,"id":"Q2082746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192a16946196181b50f7fc5f12f8bfe5a84f594d","datavalue":{"value":{"amount":"+0.742919921875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2877674$3A934331-1A96-4BF6-ABB8-E8E6CA3B015A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Galois theory for monoids","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Galois_theory_for_monoids"}}}}}