{"entities":{"Q5966713":{"pageid":8143509,"ns":120,"title":"Item:Q5966713","lastrevid":47132341,"modified":"2025-12-31T19:06:23Z","type":"item","id":"Q5966713","labels":{"en":{"language":"en","value":"Completely decomposable abelian groups \\(\\aleph_ 0\\)-categorical over a subgroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 126094"}},"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":"Q5966713$507C45E9-D3E1-493A-A110-ACEC21E347E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d39a5a26ded19a351ada1184011601b4a0fd187d","datavalue":{"value":{"text":"Completely decomposable abelian groups \\(\\aleph_ 0\\)-categorical over a subgroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5966713$7F84A460-2E83-4257-9272-B9DEC04302BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ce2c3f616ee53df7feb0e327f1b4a992f7855da","datavalue":{"value":"0785.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966713$AD50F240-373A-4E68-B182-B6049A63D5CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a30d3b159f17b29b84e02ff0ffe676ea5fe6cad","datavalue":{"value":"10.1007/BF01794983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966713$C124310C-9CF7-4A01-9F3C-414ADAF8F44E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c186a04078a731a143e84fed0c0fb4e1fa5caa0","datavalue":{"value":{"entity-type":"item","numeric-id":420851,"id":"Q420851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$63FE9475-82FA-4DDB-B5BA-8552ACC42581","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$A3FBB7AB-0ABA-44D4-8084-97B22C677999","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6966fe933ba4ebac14e44328e594ce9c2621776","datavalue":{"value":{"time":"+1993-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5966713$8AF122E5-91D5-45CA-8471-F2BE2916F54D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2304c741e49079eedf7a0cd3125af0aee8786b01","datavalue":{"value":"Let \\(L(P)=\\{+,P\\}\\) be the language of abelian groups extended by a unary predicate \\(P\\). Let \\(A\\) be an abelian group and \\(B\\) be a subgroup of \\(A\\). We denote by \\((A,B)\\) the \\(L(P)\\)-structure associated with these groups. We say that \\((A,B)\\) is \\(\\aleph_ 0\\)-categorical over \\(P\\) if \\(A\\) is countable and also if for any pairs of countable groups \\((C,D)\\), \\((C',D)\\) elementarily equivalent to \\((A,B)\\) there is an isomorphism between \\(C\\) and \\(C'\\) whose restriction to \\(D\\) is the identity.   This paper investigates the decomposability of such pairs of abelian groups, as direct sum of pairs of a simple form. If there exists such a decomposition for some pair elementarily equivalent to \\((A,B)\\) then we say that the theory of \\((A,B)\\) is completely decomposable. It is shown that there are pairs \\(\\aleph_ 0\\)-categorical over \\(P\\) whose theory is not completely decomposable. But a first-order condition (niceness) satisfied by all pairs \\(\\aleph_ 0\\)-categorical over \\(P\\) is given. Finally it is shown that for any nice pair \\(\\aleph_ 0\\)-categorical over \\(P\\) there is a pair almost completely decomposable, elementarily equivalent to it (there is some problem only with \\(2\\)-elements). This gives a completely satisfactory description of nice pairs of abelian groups \\(\\aleph_ 0\\)-categorical over \\(P\\).   For a complete characterization of pairs of abelian groups \\(\\aleph_ 0\\)- categorical over \\(P\\), see the author's earlier paper [J. Pure Appl. Algebra 69, 193-204 (1990; Zbl 0722.03033)]. This last paper also gives an axiomatization of the theory of such pairs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966713$0DFF5FBE-3120-4BA8-8487-8E49B7193EA9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2daced9896460a81c4c40ff31087aa019e14cb22","datavalue":{"value":{"entity-type":"item","numeric-id":420851,"id":"Q420851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$F1B0A803-1D5A-4A46-9BC7-8A851192E510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966713$1A0DBF9C-C463-4AF5-A1FE-E2386E7B2F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966713$3CF377A3-0E94-43BE-BE0B-C943542D77B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966713$59876DDA-A73A-4266-AE94-72F90520BFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd0924bacc48367b8d971041eb028e37607d1d81","datavalue":{"value":"20K99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966713$CCD42CCB-D77A-49CC-BFE5-098900AF2F57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7a41f17cf8895cfabe344cf732cf52a799c8ef0","datavalue":{"value":"126094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966713$4A21F165-8E1C-4D1E-8D0D-9DF2BD6AF561","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1afaf009f88bd8c7cab89448aa01726b37534c7","datavalue":{"value":"direct sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966713$901E4725-7FFA-4023-964B-22FFCD0B6F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966713$7CF75BFA-B38B-4FBF-987A-529D10343AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be29b24aa23f1c5b0e99a83a980c8bfbc8664fe3","datavalue":{"value":"nice pairs of abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966713$B82948FA-D60A-4065-8BEC-B47AB45E86D6","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":"Q5966713$7A642170-E05E-41E1-A1FB-136C1868DCC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9d8c64de613f86cc571b6bcb753d6c4939d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":1227612,"id":"Q1227612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$C228D8BC-6D05-4ADA-ACB5-B22661F5E1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6dbfb4de7afb2854e5efc998cf4140f7e0ef17","datavalue":{"value":{"entity-type":"item","numeric-id":5673086,"id":"Q5673086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$DA8BE3EC-FE36-42EA-8EE9-9AC2F9477DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac42628c01a4632cc9b9bf902fb47ebf9d9f442","datavalue":{"value":{"entity-type":"item","numeric-id":4938555,"id":"Q4938555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$30FE6F74-F4A7-4378-9E3C-2F70FAB0AD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2280030a4c3da38e13dc4b5961cddcec3e8a63a","datavalue":{"value":{"entity-type":"item","numeric-id":912842,"id":"Q912842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$8D62E21A-D545-41C2-85BB-167CCDA53CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e04736d7b89ac36fe471aeab1f680019567eeb1","datavalue":{"value":{"entity-type":"item","numeric-id":1167155,"id":"Q1167155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$49059914-8394-4B55-9C99-D6905E7724D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$AB5EC649-DE95-4598-9B89-995C38D71736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661fe1d1f63a670fe9bda520b7108e5a5cd9b81e","datavalue":{"value":{"entity-type":"item","numeric-id":3818310,"id":"Q3818310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$270457C0-8685-4624-8378-7FA4255E7C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c9ac7651d60fc601f20cf3701045df00c8e19e","datavalue":{"value":{"entity-type":"item","numeric-id":2641294,"id":"Q2641294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966713$5C7C41C5-395E-4AF3-BC52-ECF3E1E7598D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f9a4c0a4aa61caaa57db273326479635ba6bd2a","datavalue":{"value":{"entity-type":"item","numeric-id":2641294,"id":"Q2641294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5550bd47d57c03ea6e52b7bbd4e48712f61af3f","datavalue":{"value":{"amount":"+0.9042360186576844","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":"Q5966713$7F57D5F9-A138-428A-B99C-110BEA8E0D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a6d087f3b9d93f4945e32a516aa011550878fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204113,"id":"Q1204113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db6cb6dfdc973624dbf229c4de5c793afd1baa5","datavalue":{"value":{"amount":"+0.8968672752380371","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":"Q5966713$7D30B536-1E8C-4389-AAA3-11554D195C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b0fef8186854f19fecfc70bc54f044eef62ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1012332,"id":"Q1012332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c1027c1541c4f4d23917ef2f0398926920cf3b","datavalue":{"value":{"amount":"+0.8248240947723389","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":"Q5966713$B95D24FE-FE51-4647-A2E7-CCB6E5CA98D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3074d317b8ef604689b90a87dfc4b08793da462b","datavalue":{"value":{"entity-type":"item","numeric-id":4207891,"id":"Q4207891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41fd8e435819ce8958ad42857bd3a99ff35b7ed","datavalue":{"value":{"amount":"+0.821495771408081","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":"Q5966713$247C56B6-95F7-4C18-BA3E-0ACDDE494D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccf98a8a2ecaf0f2c2f5c6d5b720d141462afd5","datavalue":{"value":{"entity-type":"item","numeric-id":4938555,"id":"Q4938555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee5908fb02a4fadf743d5eadc6a41153e9657b2","datavalue":{"value":{"amount":"+0.8116967082023621","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":"Q5966713$1A3B0AAD-C882-4AFF-97C0-7B831C1810E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5966713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5966713"}}}}}