{"entities":{"Q1060700":{"pageid":1071452,"ns":120,"title":"Item:Q1060700","lastrevid":66735765,"modified":"2026-04-12T12:31:10Z","type":"item","id":"Q1060700","labels":{"en":{"language":"en","value":"Plane elliptic geometry over rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3909210"}},"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":"Q1060700$3366E39E-2FA5-4680-8FCE-B884E34B0BE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9134966e61973926b9d07468843d40b9d3684e5","datavalue":{"value":{"text":"Plane elliptic geometry over rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060700$6C7AF321-E6BE-454C-B273-A82778BF846F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1fd5a7fd27c43ddde5d7f16bc0e4f2f3684ce7a","datavalue":{"value":"0569.51005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060700$923DA329-EAE2-4CF1-9E63-6407FA77AC88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9095caefce0b2e8e4ccbe69bbff202f2ab06be0b","datavalue":{"value":{"entity-type":"item","numeric-id":201938,"id":"Q201938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060700$F24D366B-AD75-4234-A318-74F3335A2F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"034254524d5600a9929fd9136bea9d106efb206c","datavalue":{"value":{"entity-type":"item","numeric-id":1060699,"id":"Q1060699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060700$A6FD7DCE-3464-4B5A-A46B-66E77AE144E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060700$60C872B3-75F2-464A-88A6-519921037016","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":"Q1060700$42AF28C6-C293-4807-A072-F2A4BE6617DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3844e5f7cbaaf347d81f83770d1ad11ab8e7543","datavalue":{"value":"Part I of the article starts out from a projective plane over a commutative ring with a unit element. Let 2 be a unit. A symmetric bilinear form \\(f: R^ 3\\times R^ 3\\to R\\) supplies an orthogonality relation on the set of lines. If (a,a)f is a unit then the line Ra admits a reflection \\(\\sigma_{Ra}\\). Reflections \\(\\sigma_{Ra}\\) and \\(\\sigma_{Rb}\\) commute if and only if \\(a\\sigma_{Rb}=\\lambda a\\) for some \\(\\lambda\\in R\\) with \\(\\lambda^ 2=1\\). The identity \\(\\sigma_{Ra}\\sigma_{Rb}=\\sigma_{Rc}\\) holds if and only if any two of the vectors a,b,c are orthogonal. If (a,a)f is a unit whenever Ra is a line (i.e. a,b,c is a basis of \\(R^ 3\\) for some b,c) then the projective plane together with the orthogonality induced by f is called an elliptic ring-plane \\(\\Pi\\) (R,f).    Let S be the set of reflections at lines of an elliptic ring-plane and let lower case letters denote elements of S. Let \\(a| b\\) stand for ab\\(\\in S\\); \\(a\\underset {=} ub\\) denotes that \\(c| a,b\\) for just one c; and \\(a\\hat=b\\) denotes that \\(a| c;c| d;d| b\\) and \\(a\\underset {=} ub\\) and \\(c\\underset {=} ub\\) for some c,d\\(\\in S\\). The following properties are basic: (E1) If \\(a\\hat=b\\) and \\(c| b\\) then \\(a\\underset {=} uc\\). (E2) If \\(a| b\\) then \\(c| a\\) and \\(c\\underset {=} ub\\) and \\(c\\hat=b\\) for some c. (E3) a,b,c\\(| d\\) implies abc\\(\\in S\\). (M) If \\(a\\hat=b\\) then ab is not an involution. - If the ring has stable rank \\(\\leq 3\\) then S fulfills (U) Given a,b; then \\(c| a\\) and \\(c\\underset {=} ub\\) for some c.    Part II is a synthetic approach to elliptic ring-planes. Let G be a group and S a non-empty subset of involutions generating G which is invariant under inner automorphisms of G. Let (G,S) satisfy (E1), (E2), (E3), (M) and (U). The main theorem asserts the existence of an elliptic ring-plane \\(\\Pi\\) (R,f) and an injective homomorphism \\(\\sigma\\) of G into \\(\\{\\alpha \\in Aut(R^ 3,f):\\det \\alpha =1\\}\\) such that the elements of \\(S\\sigma\\) are reflections at lines and such that \\(G\\sigma\\) contains \\(\\{\\alpha \\in Aut(R^ 3,f):\\det \\alpha =1\\quad and\\quad \\det (1+\\alpha)\\quad is\\quad a\\quad R-unit\\}.\\) The proof involves known methods (pseudo-plane, pseudo- semirotations) but also new ideas are developed, e.g. in order to construct transvections.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060700$EC00FA77-ED69-43B9-9764-B9119DD11AB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac5c1f13cdc2eaa38b6bed37ffdf7b752ec21db1","datavalue":{"value":"51C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060700$7899F356-E3A7-41DF-87E6-BFE9236FA737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca0b06fb206ef7e2a3724d9361dc736a4cb1b1e3","datavalue":{"value":"51F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060700$EA3CF28A-999C-415F-827D-80701E28E77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0f6785d9a53c31365bb500c89707c769b92ba8d","datavalue":{"value":"51F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060700$E6FF4653-8CD8-4393-B134-A7757A5A4733","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfd1d034af115c5f462ac285e881d9a8b53301ab","datavalue":{"value":"3909210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060700$5BA30CE2-4846-4215-BB25-02D3CC524739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1910ae92310852f7d69680963cbd39b1fb8a6c5c","datavalue":{"value":"elliptic ring-plane","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060700$9B53C870-98C2-4C1F-9245-6E8A4A75960E","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":"Q1060700$9AC1BFAD-4B25-4833-A43B-17A281FA5D85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e7c6ee8f4210414f0a69822ad7bd933091c9383","datavalue":{"value":"https://doi.org/10.2140/pjm.1986.123.337","type":"string"},"datatype":"url"},"type":"statement","id":"Q1060700$FEBB21A7-BEF5-44B6-A8EC-2B01B9F29DC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6308186cc6cc5fa0e183b0c302c92ebb78813d5","datavalue":{"value":"W2141047640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060700$377A2B5F-6D8C-4DF5-86F9-1AA6B82B2234","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5591a4798622d4ffba78a30676f8a25c56e8b97","datavalue":{"value":"10.2140/PJM.1986.123.337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060700$F9033DEA-BB01-4D57-8CE6-69B23CACE005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ae4f5c3366dd4495e836c01f0362338eacd0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4400793,"id":"Q4400793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1839a1d01f0dc1300e45fbb96a87a97916e182e","datavalue":{"value":{"amount":"+0.810461163520813","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":"Q1060700$722A49EB-AB76-485D-8DBF-D6B1DB44E627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703e65e386dc619bd9a25cf17ddab05be1ca067b","datavalue":{"value":{"entity-type":"item","numeric-id":3357799,"id":"Q3357799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afab1a7e1b4e3786787be6da9f67d43c7751e3a0","datavalue":{"value":{"amount":"+0.773242175579071","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":"Q1060700$54A86F85-183A-459F-B83E-6058CF0EF26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681baadd7219fe895e10e53c3f47aa31a949e2c6","datavalue":{"value":{"entity-type":"item","numeric-id":4876628,"id":"Q4876628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28ba021b906213b6cf488bee0e6a347f0eb77d8","datavalue":{"value":{"amount":"+0.7692979574203491","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":"Q1060700$95F38A7C-235C-47B3-9D4C-2AC9F5674BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"013fae91ffdb0612f114fea7140ceb8154d5750e","datavalue":{"value":{"entity-type":"item","numeric-id":3634087,"id":"Q3634087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28ba021b906213b6cf488bee0e6a347f0eb77d8","datavalue":{"value":{"amount":"+0.7692979574203491","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":"Q1060700$9ADC8E0B-0901-4FB1-9AF7-804506BFCE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d8fd2fd350f926c3150a8baf049f152b5155e40","datavalue":{"value":{"entity-type":"item","numeric-id":3336273,"id":"Q3336273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81eb65d62113d369b0b2ac9e01c58406947292d4","datavalue":{"value":{"amount":"+0.7675186991691589","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":"Q1060700$94589055-0B62-41A1-A4AC-69C06D63A278","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Plane elliptic geometry over rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Plane_elliptic_geometry_over_rings"}}}}}