{"entities":{"Q791617":{"pageid":793465,"ns":120,"title":"Item:Q791617","lastrevid":64452090,"modified":"2026-04-11T19:57:53Z","type":"item","id":"Q791617","labels":{"en":{"language":"en","value":"Derivation invariant bilinear forms without traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851330"}},"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":"Q791617$554872F8-7487-48E9-A69A-5CB5DCA567F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b98b7fc13872016f3f778a88dfd1e92dad76c17d","datavalue":{"value":{"text":"Derivation invariant bilinear forms without traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791617$02A43076-9458-413D-B0F0-95093838644F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d830cbbd56438228276013f597df78ccc2283648","datavalue":{"value":"0536.17001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$25CC0685-3A4C-47F1-9F18-EA1D64ED1311","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ede41f6bfeff4da823ff78b700567dc94e6da10b","datavalue":{"value":"10.1016/0021-8693(84)90220-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$58D0EF65-6616-4B09-BF10-3F4855A5B37E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791617$CD37421A-9301-455E-BDC0-F2874379254A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q791617$D68EFD92-E6CE-4ADA-A4BF-09FCB22336DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c7814b7109b7ad20300a03e0c79bc5ea377c234","datavalue":{"value":"The author considers pair algebras \\(\\mathcal M=(M_+,M_-)\\), i.e. vector spaces \\(M_\\varepsilon\\) over a field \\(k\\) together with trilinear products \\((x_\\varepsilon, y_\\varepsilon, z_\\varepsilon)\\to x_\\varepsilon y_{-\\varepsilon}z_\\varepsilon\\in M_\\varepsilon\\) for \\(x_\\varepsilon,z_\\varepsilon\\in M_\\varepsilon\\), \\(y_{-\\varepsilon}\\in M_{-\\varepsilon}\\). The notions of automorphisms and derivations of \\(\\mathcal M\\) and of automorphism- resp. derivation-invariant bilinear forms are defined in the usual way.   Theorem. Suppose \\(\\mathcal M\\) is a pair algebra which satisfies the identity   \\[  x_\\varepsilon y_{-\\varepsilon}(u_\\varepsilon v_\\varepsilon w_\\varepsilon)- u_\\varepsilon v_{-\\varepsilon}(x_\\varepsilon y_{-\\varepsilon}w_\\varepsilon)=(x_\\varepsilon y_{-\\varepsilon}u_\\varepsilon)v_{-\\varepsilon}w_\\varepsilon - u_\\varepsilon (y_{-\\varepsilon} x_\\varepsilon v_{-\\varepsilon}) w_\\varepsilon \\tag{1} \\]   and is spanned by elements of rank one (i.e. elements \\(0\\neq x\\in M_\\varepsilon\\) such that \\(xM_{-\\varepsilon}x\\subset kx)\\). Then there are automorphism-invariant bilinear forms \\(B_\\varepsilon: M_\\varepsilon\\times M_{-\\varepsilon}\\to k\\) with \\(B_\\varepsilon (_\\varepsilon,y_{-\\varepsilon})=B_{-\\varepsilon}(y_{-\\varepsilon},x_\\varepsilon)\\) and \\(x_\\varepsilon y_{-\\varepsilon}x_\\varepsilon=B_\\varepsilon(x_\\varepsilon,y_{-\\varepsilon})x_\\varepsilon\\) for \\(x_\\varepsilon\\) of rank one. If \\(\\mathrm{char}\\, k=0\\), then the forms \\(B_\\varepsilon\\) are also derivation-invariant.    The forms \\(B_\\varepsilon\\) are constructed on bases of rank one elements using the relation \\(x_\\varepsilon y_{-\\varepsilon}x_\\varepsilon=B_\\varepsilon (x_\\varepsilon,y_{-\\varepsilon})x_\\varepsilon\\).   Examples of pair algebras satisfying (1) are Jordan structures: Jordan pairs, anti-Jordan pairs, Jordan triple systems and Jordan algebras, but also Lie structures: Lie triple systems, anti-Lie triple systems and Lie algebras. In the cases of Lie triple systems and Lie algebras the author shows that the forms \\(B_\\varepsilon\\) are derivation-invariant even in characteristic \\(\\neq 2\\).    For Jordan triple systems the theorem has recently been generalized by \\textit{K. McCrimmon} [Reduced elements in Jordan triple systems, J. Algebra 97, 540--564 (1985; Zbl 0575.17011)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$0B5D6163-3C45-47F3-9547-5A798F85507C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7354f02ae2f462d1552f7e0b1fe0d688e751aad3","datavalue":{"value":"17A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$8441A6D3-2B8C-40E6-BECD-CF00FF0DC1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb6e3791f6822d4732342b42aede879669f687bb","datavalue":{"value":"17A36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$13D0314C-DC27-45B7-BAD3-94BA5B925456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b658a1c3521c1e8b09a54890ec0a4b830936213","datavalue":{"value":"17B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$9F21C18C-7A9D-43EA-9BB4-6F52CAF458FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fd3bdd491c0c2d4c932c97c7c8e0258c3d8db78","datavalue":{"value":"17B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$355CF288-675B-4342-9F5E-60EF4F5AC90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b19533cdd671c9d554ea48d59bda48495239fe6","datavalue":{"value":"17C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$CF64E741-FC85-416A-B56B-3C1A7C2995CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fe0ce682aa53bfee2fa701b02973ffd7dc93588","datavalue":{"value":"17C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$8F9BC2AD-2DFF-4CAB-AA80-476246EA23A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cac184a033aff4c0ca9bf1b782e5c8b6f84f68be","datavalue":{"value":"3851330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$A85C0DE0-DA67-4BCF-BFA6-48AC639BCC42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45289ac49eef312b7ebe4ff3a16fee13a8c29739","datavalue":{"value":"pair algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$C4E51EAC-0944-4E23-AF71-83623149B300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee42c95fb4dd331a6fe625189ea56ec215d8623","datavalue":{"value":"vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$92836A85-50F5-43AA-9F7F-67B64CE11F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e4ac4243305466c38a743dcfe486b57a2e10257","datavalue":{"value":"trilinear products","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$6259EECF-3D1A-4044-A220-842D42716F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$153C3479-C111-4B98-91A8-F1ECC7F4BC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$A7DCAA69-3C65-489A-AF19-76373582F07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f948f0ff7b66970aec0f501e7578c557801ed27","datavalue":{"value":"derivation-invariant bilinear forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$B5309E73-55E3-4AC3-B2A7-68505E8F99E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d4a287626b56a6e91ba0ccd1ef5cf2e72b5af43","datavalue":{"value":"automorphism-invariant bilinear forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$7A0BD966-54C5-4042-8563-B7F2929FFB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4814165d810b9bb903a583912e040b3b299130","datavalue":{"value":"rank one elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$3179F68D-D005-460A-9AEA-0AE19D32E773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7e02c1ba0bdd8b5a90296e4f887547986d3c53","datavalue":{"value":"Jordan structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$D0C88CED-004F-429B-AD38-6A7071DA150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d3892ef5a7378276fcee18146b5ccf796c542b","datavalue":{"value":"Lie structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q791617$B3EB8BD9-9A48-4BFA-8CEB-6C458B91E9A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6fc2b32009122a6bf08d3836f40c869ec381841","datavalue":{"value":{"entity-type":"item","numeric-id":584730,"id":"Q584730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791617$5C8A09DE-B215-4F1A-869F-B8154B980870","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1d9f4d6d4040f368125e524ab2971ada450db06e","datavalue":{"value":{"entity-type":"item","numeric-id":418686,"id":"Q418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791617$9BF1CD70-A669-45BD-8E52-3E63D0D9E75F","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":"Q791617$C35C46C4-E7FA-4A96-83DA-45813D72E639","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c84f2a3b8ed1cb0a29aea73f165534e0df33698","datavalue":{"value":"https://doi.org/10.1016/0021-8693(84)90220-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q791617$DD7179FE-2BBF-4A1C-A4F9-03D270FE79F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c25d61d4868430dc1be5986b70a5717b6567a3d8","datavalue":{"value":"W1973504756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791617$5742BF77-F88F-4DC7-BA42-28FA28D64F05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d89fe5e709d3a7181e57b3680a75bbf23c43fbb","datavalue":{"value":{"entity-type":"item","numeric-id":4119345,"id":"Q4119345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791617$72F4AF0E-BB85-4682-8E5F-0D4E1AB68FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a5b3181f4a37860c03274f63c8c3a2caa304da","datavalue":{"value":{"entity-type":"item","numeric-id":3892401,"id":"Q3892401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791617$CB8AC9EC-4C5D-4984-9642-9A8A3A33F920","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d35468a2f3eac189ab78052dae3cea26f7b7d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3322272,"id":"Q3322272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cab8c062f3667db35cf2fbca06a4ea7cf7a191","datavalue":{"value":{"amount":"+0.7932027578353882","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":"Q791617$6CC2E64C-74AD-4E21-8536-05B95B3F9537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b26d95445b378cda315ee72a611e31cca22f19","datavalue":{"value":{"entity-type":"item","numeric-id":1215698,"id":"Q1215698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2dc3512707c7b6f42b51160301e0b4bc5c5d13","datavalue":{"value":{"amount":"+0.7915900945663452","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":"Q791617$4EC078A4-D5DD-4EAA-8F33-B98D8F4A877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1736eaa32aa34e758d3fecd5769541f72335ddea","datavalue":{"value":{"entity-type":"item","numeric-id":2483729,"id":"Q2483729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9afd7eda5359d4d781b5366c4855d6aa8ec1782","datavalue":{"value":{"amount":"+0.7901811599731445","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":"Q791617$43938007-7A62-419D-A873-609188331A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5913d4df2606c4be3f1bad3b177086129264ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1119996,"id":"Q1119996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2381a4fbc399548a5488e07e31f52b3fbf4bf2","datavalue":{"value":{"amount":"+0.7879210114479065","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":"Q791617$8B0D07DC-7E83-432D-9211-7727823B5E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1ee9bacf5fe99dbd6fc122e731f5f602b635f3","datavalue":{"value":{"entity-type":"item","numeric-id":4796313,"id":"Q4796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987c80e5e5cb3f22b7aa44815b6a034f7cfac6bd","datavalue":{"value":{"amount":"+0.7827991843223572","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":"Q791617$39D42A99-74C3-4A3A-BE3A-77393FDDC637","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derivation invariant bilinear forms without traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derivation_invariant_bilinear_forms_without_traces"}}}}}