{"entities":{"Q915722":{"pageid":917570,"ns":120,"title":"Item:Q915722","lastrevid":65350989,"modified":"2026-04-12T01:59:21Z","type":"item","id":"Q915722","labels":{"en":{"language":"en","value":"Elementary theory of a module over a local ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152353"}},"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":"Q915722$1C01E663-3299-4AB9-8564-164EEA0E569B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b4b1d9c5ba6431a3c77216662b2fe29b5c42a8c","datavalue":{"value":{"text":"Elementary theory of a module over a local ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915722$2F3F3F33-921D-4D45-9BBB-3790C762BBB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebca6728f99340a1d34b47b3fe047b56706a2fc1","datavalue":{"value":"0703.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915722$9967809F-8099-4A1C-9926-BD590E3BEFAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a7d3b35ccb9e97bb9083cc9cbd76376ef548fc5","datavalue":{"value":"10.1007/BF00971494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915722$D790CAEB-E04A-4E41-A202-1AF3FF35803B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915722$B8D1386B-B0BD-4B7B-B076-5F816519E846","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915722$64D4673A-9664-49EC-B7D0-9E06437D85D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"03428639009898ced08793f78b69b289bdf51add","datavalue":{"value":"Suppose A is a finite-dimensional local commutative associative k-algebra with unit over a field k of arbitrary characteristic and M is a finitely generated A-module. In this paper we consider the elementary theory of a two-basis model \\(M_ A=<M,A;\\delta >\\), where \\(\\delta\\) is the predicate distinguishing the action of A on M. Besides being of interest in its own right, the study of models of type \\(M_ A\\) is justified by the fact that many model-theoretic problems for arbitrary finite-dimensional k-algebras and nilpotent k-groups of finite rank can be reduced to them via the technique of bilinear mappings. In the present paper we obtain an algebraic description of the structure of models of the complete theory of \\(M_ A\\) and give a criterion for its decidability. These results are used in an essential way to classify algebras and nilpotent groups with respect to elementary properties and to characterize among them the objects with a decidable theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q915722$ACBF3AF4-EF2C-4F10-957C-6DC0CE160F3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915722$0D8690A4-3A79-42D4-9731-9E3073D9C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915722$38D6BA4B-C729-4390-A2CC-51EA00BEDC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915722$36F84717-1CED-47E9-BC80-F74FA03DE5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915722$ABDD0D5A-73AC-4117-96F1-11897B3421D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"274892b00e3b82a7485947e2976052e7fe7a8dfc","datavalue":{"value":"4152353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915722$75AC9F6B-19DC-487F-906B-342D1AF98171","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q915722$5A8EB5EB-D91D-4B98-B0C8-8336EAD758B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47c6c409855a11c8da238506510569de72a410c1","datavalue":{"value":"two-basis model","type":"string"},"datatype":"string"},"type":"statement","id":"Q915722$157654B1-C4B2-4154-96A1-7741C0ED69FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b6cef3cde940a1783e0871b34d71dd5aad0d02","datavalue":{"value":"finite-dimensional k-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q915722$F011C8AB-62F4-4B85-89B2-C6F008BB2FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cfe28a7b2cba73f99bd21b6bcce0326af0c5bd","datavalue":{"value":"nilpotent k-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q915722$5E41786F-6AE5-4848-99AA-B58A2DC5DA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41a82aa35fffadb06fc17119463230e057642e09","datavalue":{"value":"structure of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q915722$0B76E99C-B142-4A0B-B826-BB3D31C2C05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q915722$577DA2BD-6F26-4B28-95F6-013AB3564142","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1843ff51384642f69cbb6cac945664c66fbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":639687,"id":"Q639687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915722$FE35A66F-310E-424A-AF35-3D42CC2C6CDC","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":"Q915722$8497C578-2805-49EA-BE5C-381DBD35342F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24a4a1f99ccd68542161a6a7d07fbae3da393d9e","datavalue":{"value":"https://doi.org/10.1007/bf00971494","type":"string"},"datatype":"url"},"type":"statement","id":"Q915722$6C3A4084-552E-45D1-AE27-27C00B92113F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46276a5753867e19f814c9555c3778d074a2ae9c","datavalue":{"value":"W2005221828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915722$D31B2C5F-1BA8-443A-A47B-5AA9DFB1BCD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36c96d2cd380b9ea8e81616c378b64f1b3963ad","datavalue":{"value":{"entity-type":"item","numeric-id":3480019,"id":"Q3480019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189ce3f8ee4df1033a9dc7d39e4cab51082992d9","datavalue":{"value":{"amount":"+0.823337197303772","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":"Q915722$5A9B1846-F3CD-4458-8335-0CF1277B3C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaadf48beedffef61de0b8da537dbff48e7cb569","datavalue":{"value":{"entity-type":"item","numeric-id":4281263,"id":"Q4281263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3caec058c190143ff0eb402cfe65e05d8edcfdfd","datavalue":{"value":{"amount":"+0.78489750623703","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":"Q915722$7C2D53F9-2071-4FEB-8472-E515A6268F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96edbe9c7f31679e5c5783307b49adb5b685b21e","datavalue":{"value":{"entity-type":"item","numeric-id":1023048,"id":"Q1023048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d47a0b8b5937b65ec721846f755072cdeb74ac4","datavalue":{"value":{"amount":"+0.7848972082138062","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":"Q915722$F471E5E1-A59B-4C75-8899-5AE3716D910E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a23e16e0967bd8ef92cd569ad4e1a84bd44ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":3399176,"id":"Q3399176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd6fa973148ac9d42d3d13ddabd0be2681eff20","datavalue":{"value":{"amount":"+0.7758697271347046","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":"Q915722$DE7B44BF-193B-4765-A731-B13FE6431982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b476a2fdb9ddb5a180804426ec6b5ae284bac8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3818466,"id":"Q3818466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ef8f0c60b4c8f03d49bc0fd766a938eb411d41","datavalue":{"value":{"amount":"+0.7654326558113098","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":"Q915722$CCFBC1AE-A11E-447A-A7CF-EC1EB313EDF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary theory of a module over a local ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_theory_of_a_module_over_a_local_ring"}}}}}