{"entities":{"Q1088697":{"pageid":1099449,"ns":120,"title":"Item:Q1088697","lastrevid":66106398,"modified":"2026-04-12T07:36:24Z","type":"item","id":"Q1088697","labels":{"en":{"language":"en","value":"Embeddings into power series rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3991568"}},"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":"Q1088697$23245396-E1DD-4C98-AE34-52BECF28B647","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cf597d9574c45b7834fdd5f1ead97daa9bcd95f","datavalue":{"value":{"text":"Embeddings into power series rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088697$F4F14079-3168-4136-BD04-BD441A6AD0DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d5ea5ea286ee66057a172b0882f7237b941f03f","datavalue":{"value":"0613.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088697$13A39C0B-7D0B-4371-A27D-B9A2458F86D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"549393f67e690ee147d9cba0e2876184bcfc1ce7","datavalue":{"value":"10.1007/BF01180767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088697$3174F867-A7CC-4E24-AE69-09536EB72ED8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da575307a4be411258d1083725f3d9ff8c6c1fe","datavalue":{"value":{"entity-type":"item","numeric-id":998780,"id":"Q998780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$959D2DAF-8D5E-42DA-A886-24B3D8D86F88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$883CA4B5-7659-4E9E-B67D-60C1AD2624B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1088697$289B780A-4BC3-4FE1-AD77-E6DB3957B81E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4f424bfdcc11ca6eb4ed5c531741217d9672c3c","datavalue":{"value":"https://eudml.org/doc/155169","type":"string"},"datatype":"url"},"type":"statement","id":"Q1088697$3449700A-B159-4BAA-8C03-107D7FCF5E75","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"213c054d0245d073f687eea83a81d5339b657f5e","datavalue":{"value":"Let S be a totally ordered semigroup such that \\(a<b\\) implies \\(ac<bc\\) and \\(ca<cb\\) for all c in S. Let r be a function defined on \\(S\\times S\\) with values in the positive reals such that \\(r(ab,c)\\cdot r(a,b)=r(a,bc)\\cdot r(bc)\\) for all a, b, c in S. Then the power series ring \\({\\mathbb{R}}((S))\\) is defined as follows: The elements of \\({\\mathbb{R}}((S))\\) are the functions \\(f: S\\to {\\mathbb{R}}\\) whose support \\(s(f)=\\{a\\in S\\); f(a)\\(\\neq 0\\}\\) is inversely well-ordered in S. Addition of two such functions f and g is defined pointwise and multiplication by  \\[  (f\\cdot g)(c)=\\sum_{ab=c}r(a,b)f(a)g(b).  \\]  \\({\\mathbb{R}}((S))\\) with the lexicographic order \\(f>0\\) iff f(max s(f))\\(>0\\) becomes a totally ordered ring without zero divisors. It is well known that every totally ordered commutative field can be order embedded in some \\({\\mathbb{R}}((S))\\). This paper presents a valuable contribution to the question which totally ordered rings without zero divisors are order embeddable in some \\({\\mathbb{R}}((S))\\). An interesting consequence is the following: Every totally ordered division ring for which the group of archimedean classes is isomorphic to \\(({\\mathbb{Z}},+)\\) is embeddable in the above sense.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088697$114B9F07-CD69-4932-B0E2-1594375E3169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088697$5042001F-2518-4BA4-81C0-CB35EA61FEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f908cfb5ef04305a6cd43a609f42648aa6ba778","datavalue":{"value":"16W80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088697$F0331AD6-5777-412C-B65D-3A351D89AE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088697$5A97242D-E9F3-4862-8127-A3A3FA08DADC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4b73db5e25d11008e0e65be689b1d25b753d3e9","datavalue":{"value":"3991568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088697$E024F2DB-B2B4-4EBA-AAC3-11252A281252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d0fd3d37a3ff24f0d64602c26c87ebbf3d28272","datavalue":{"value":"totally ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088697$E12C18E3-2B61-4E61-8D7F-7A8660D23FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c592c1930543ebe1aacec6b42f2c9553ca3287d0","datavalue":{"value":"power series ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088697$FD7C1330-C998-41E5-8606-F7DE2061680A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5b2cf969c29473b9f43d00bf57d3cfe97678807","datavalue":{"value":"totally ordered ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088697$21E05AAA-F354-4896-8475-BCC926B0D84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa225114c0a211889b5f5b68c9e4887eb91697f8","datavalue":{"value":"order embeddable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088697$FEB814CC-FA5E-446E-BAED-9C2789D18BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55be01455ef9a4cb8c677d0f077dba2c1dc89f73","datavalue":{"value":"totally ordered division ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088697$E680EF56-4C40-4856-997B-78B990AF1EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b774233063eff7d8dfa52081641972d307fee80d","datavalue":{"value":"archimedean classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088697$55E705F4-B32C-4642-8004-7B8F027A6B5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccc9da3379057563afb18c4ed2a32dfb4d960b7c","datavalue":{"value":{"entity-type":"item","numeric-id":371256,"id":"Q371256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$1ADB7B9D-7A45-43BD-980D-520C1396D574","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":"Q1088697$8B587F7E-50E4-4653-98FA-9DBB96A3C9AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7b415928a3ddff5acdc381c2268d8bb614be8e","datavalue":{"value":{"entity-type":"item","numeric-id":2543338,"id":"Q2543338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$24EEFC57-AC51-431C-9E85-A2D3DB11B24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$BD831651-CD22-45FF-BBDB-3752948AF761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae564a822e026543d5dda4c9e587a68d3c93efbb","datavalue":{"value":{"entity-type":"item","numeric-id":2535045,"id":"Q2535045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$B12A6C4F-6942-48D2-916C-2C0F3C607792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55ade248c576bcbf7f3ddbdb94d9130c61169fc","datavalue":{"value":{"entity-type":"item","numeric-id":5332633,"id":"Q5332633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$BA54F14B-AAEB-4DE6-8E45-4C3BF424C21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$7BD45E27-B4CF-4DE7-BCB0-3C815BDCB388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab75b370bd8bc96d49bfd17a9abf07fa43a86b3","datavalue":{"value":{"entity-type":"item","numeric-id":5793392,"id":"Q5793392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$0B10C5AC-7077-438E-8B3E-9FFDAB5D3C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6f7a7c6f07148756ff7704c35849166aa5adaf","datavalue":{"value":{"entity-type":"item","numeric-id":1249610,"id":"Q1249610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$D7A95E64-E2FB-4BA3-B521-2DAD10E9E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df2cf607a27337b69a03cc29686e163c3b42478","datavalue":{"value":{"entity-type":"item","numeric-id":3223453,"id":"Q3223453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$52CC9F17-F9F8-4FEF-863C-24EFC7DB8CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba93152231adb9dc08632cfdfc108cde92eb38f","datavalue":{"value":{"entity-type":"item","numeric-id":3788065,"id":"Q3788065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$EFA6B4D3-E9FE-44EA-BADE-65E1721B997D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dcda421410806d013bd76157bef04b0b325723d","datavalue":{"value":{"entity-type":"item","numeric-id":3824461,"id":"Q3824461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088697$9FC71906-7EED-4B65-B139-1C599FE71880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fef920913afc095ef6c9379b63965fdaa62e8b2","datavalue":{"value":{"entity-type":"item","numeric-id":1122629,"id":"Q1122629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2271efe2776fe22dadfbcbe49f995072cb6fe96c","datavalue":{"value":{"amount":"+0.8088166117668152","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":"Q1088697$C9A87180-ECB8-4782-AC8D-E18F6D251F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2786069f1aa8b7ebdb5826f9bcb398864c2d03","datavalue":{"value":{"entity-type":"item","numeric-id":3812310,"id":"Q3812310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745ba1e1f4a645fada9a6a5f6857ec72b5ff1464","datavalue":{"value":{"amount":"+0.8013285994529724","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":"Q1088697$6D9DA7C3-C308-4E71-8F63-2D5F21DCECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b00b1cfd2bac9b4f2e9e597918016bd456e249","datavalue":{"value":{"entity-type":"item","numeric-id":3491626,"id":"Q3491626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fad8c4fc666b0d7aaa83ef8eb00db411c37471","datavalue":{"value":{"amount":"+0.783421516418457","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":"Q1088697$103FA7F6-FE75-437C-9910-35A71949855E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d075621ef942cd4536a87ee9fa0f1b009d10dd3","datavalue":{"value":{"entity-type":"item","numeric-id":1602685,"id":"Q1602685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d013a0fcdae13be6b31a5598e2e95fe9a445f1","datavalue":{"value":{"amount":"+0.7765829563140869","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":"Q1088697$09D68423-A643-46BC-9B78-6F554EF17FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce857043a6a68b91998e2cfcd28b88f8292f8b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1127558,"id":"Q1127558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a6282a6866b4cf90b82dc12f6707e5f5f226be","datavalue":{"value":{"amount":"+0.7758825421333313","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":"Q1088697$2467EA02-83D0-4D2F-90AC-8E86FDF54B69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embeddings into power series rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embeddings_into_power_series_rings"}}}}}