{"entities":{"Q495016":{"pageid":496783,"ns":120,"title":"Item:Q495016","lastrevid":62286639,"modified":"2026-04-11T05:03:10Z","type":"item","id":"Q495016","labels":{"en":{"language":"en","value":"An embedding theorem for the category of crossed \\(P\\)-modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6479289"}},"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":"Q495016$0B23BE71-AE2C-484A-908F-3DB679ADFF7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4e2b92a66514bff97a7322587428bd22e66c1a0","datavalue":{"value":{"text":"An embedding theorem for the category of crossed \\(P\\)-modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q495016$53B70F09-6160-4D0A-8DC0-B1A3A951FB1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40ae81d3b44b0c7314eaa5bc0db2e9ebefc56266","datavalue":{"value":"1327.18019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495016$278FC7AD-1268-4A8F-A7C0-05C1D5D772C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8757327d8a152f18007687d9b686229713c22017","datavalue":{"value":{"entity-type":"item","numeric-id":495014,"id":"Q495014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495016$EE28B1D3-BF42-476D-A01B-57CC17847A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5b89c2806e20270bbd766c5f78876e0e32ab743","datavalue":{"value":{"entity-type":"item","numeric-id":495015,"id":"Q495015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495016$D25F3F04-6740-495B-B237-212DA34F992E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3f1565c5fa120e517e8beb52146311e184f0c7f6","datavalue":{"value":{"entity-type":"item","numeric-id":255118,"id":"Q255118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495016$2BDCB80A-9B3D-401B-BFD4-ADB389F16316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcd66019cdfbcb2e49bf41f6d2f997b72cd5339f","datavalue":{"value":{"time":"+2015-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q495016$74C212D1-F033-48D2-B3AC-98BB74B39C8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9bc8ba3a004127101ae9b34cab4a646807ae13cb","datavalue":{"value":"Let \\(M\\) and \\(P\\) be groups with a left action of \\(P\\) on \\(M\\), written \\((p,m)\\mapsto^pm\\) and let \\(\\delta :M@>>>P\\) be a group homomorphism. If \\((M,P,\\delta )\\) satisfies \\(\\delta (^pm)=p\\delta (m)p^{-1}\\) for all \\( p\\in P\\) and \\(m\\in M\\) then \\((M,P,\\delta )\\) is a pre-crossed module. We say that \\((\\mu ,\\eta ):(M,P,\\delta )@>>>(M',P',\\delta')\\) is a homomorphism of pre-crossed modules if \\(\\mu :M@>>>M'\\), \\(\\eta :P@>>>P'\\) are group homomorphisms such that \\(\\delta =\\delta'\\circ\\mu\\) and \\(\\mu (^pm)=^{\\eta (p)}\\mu(m)\\). Then pre-crossed modules form a category \\(PXMod\\). If we fix \\(P\\) and \\(\\eta\\) is the identity of \\(P\\) then we obtain a category denotes \\(PXMod/P\\). It is proved that the category \\(PXMod/P\\) has equalizers, coequalizers, pull-backs, pushouts and free pre-crossed modules. The category \\(PXMod/P\\) is exact and there exists a full exact embeddings of \\(PXMod/P\\) in the category of functors from the dual of the full subcategory of \\(PXMod/P\\) formed by finitely generated free pre-crossed \\(P\\)-modules into the category of sets and mappings. Thus the full subcategory of \\(PXMod/P\\) formed by finitely generated free pre-crossed \\(P\\)-modules is a dense subcategory of \\(PXMod/P\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q495016$6C48E886-2464-4FA1-ABC0-42A220DE48C4","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":"Q495016$BBEA94B3-AD1D-47D6-9DEF-F38047BE3D09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495016$B08978B8-BF39-4D04-8F3E-03586DC0E692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495016$089B97C2-2F05-471D-A1BC-ECF59876D3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495016$3F4F2FC7-D542-4846-8DD8-EE291A70721D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba958d38a6b98d47782eaa249f1f8968c7dd8e1e","datavalue":{"value":"6479289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495016$0C02D353-282E-464F-A3D0-9C6F389592EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"153cb7d657c3b28d74c2ac4b7bdb7676f01c8875","datavalue":{"value":"pre-crossed module","type":"string"},"datatype":"string"},"type":"statement","id":"Q495016$273860FE-8108-4ADE-9AA7-DD42AF191E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e44db9f5d2d8550a4c3cd4ab7ec082a7834a67","datavalue":{"value":"exact category","type":"string"},"datatype":"string"},"type":"statement","id":"Q495016$3B0C2548-7159-400E-A643-4A38E008F68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d17f9bc1a917cec419ea40d29592b251c27bf58","datavalue":{"value":"embedding theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q495016$617CAE50-C16A-420F-BBCB-79AAC7DCD6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b6a1282431ab7fefa4043009c95c1032894cd9","datavalue":{"value":"dense category","type":"string"},"datatype":"string"},"type":"statement","id":"Q495016$B74EDAFC-3208-4DF4-BDFF-F85051F61BCC","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":"Q495016$471C7A01-CCAB-4787-B1BF-0DC6D9DA61B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"712ce2ed6e458e3dae567bc74f7f613e89ca1e16","datavalue":{"value":"https://doi.org/10.1515/gmj-2015-0028","type":"string"},"datatype":"url"},"type":"statement","id":"Q495016$F769319B-DB3C-4B4C-A669-FBD21C5895BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89f29fd096273b8adbde15fab5b2f2b0f5405757","datavalue":{"value":"W2565418911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495016$25D691D5-F001-42A2-BED9-D724A4F731F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c817fe57746d5a985517893bb5a3d9cc5e2cff2b","datavalue":{"value":"10.1515/GMJ-2015-0028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495016$89A9F893-A2AE-41A1-8386-31E69D06C80C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eea4b6084638609ff4901ca54842afc8c4b2ab9","datavalue":{"value":{"entity-type":"item","numeric-id":2911204,"id":"Q2911204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42142f686ba5fc5ec7d5bea46e1de5dd6ddf39df","datavalue":{"value":{"amount":"+0.783998966217041","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":"Q495016$7C22FDA8-D4C7-4037-91F0-B8D6C4D2DD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbca249e182ff69c03a7a908fe66f5363330415","datavalue":{"value":{"entity-type":"item","numeric-id":4240764,"id":"Q4240764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f514c2310875ba1d317cfd07ae5aa2f5e896eb42","datavalue":{"value":{"amount":"+0.7707550525665283","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":"Q495016$98B0C5BF-FDC2-418B-AA91-93F3CCF72A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48539b8ea719afccc1250abdcf7fcd296354dd0e","datavalue":{"value":{"entity-type":"item","numeric-id":5378556,"id":"Q5378556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cce094448f71d8358ff4e6f6d5a4cfb88b0f3d2","datavalue":{"value":{"amount":"+0.7573225498199463","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":"Q495016$944E27C0-16D6-4EB1-8E91-900B98F2E37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961f8ff0591f75f1e8544c5edc1234ffdbda5853","datavalue":{"value":{"entity-type":"item","numeric-id":4811698,"id":"Q4811698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c04f6849f3cc978102258f3e4689f57c15a0954","datavalue":{"value":{"amount":"+0.7537685036659241","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":"Q495016$2D92A395-D8E3-459A-B180-74A93AF7F929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0661f0661a7df26510708ebff79648e12516017","datavalue":{"value":{"entity-type":"item","numeric-id":2909858,"id":"Q2909858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a3d6cab4c0c1a3d91bea326130bc642ca1dd26","datavalue":{"value":{"amount":"+0.7518117427825928","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":"Q495016$D13B9E7A-7BDC-4EAB-847B-C0F846B116D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An embedding theorem for the category of crossed \\(P\\)-modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_embedding_theorem_for_the_category_of_crossed_%5C(P%5C)-modules"}}}}}