{"entities":{"Q1095223":{"pageid":1105975,"ns":120,"title":"Item:Q1095223","lastrevid":69628884,"modified":"2026-04-13T08:19:04Z","type":"item","id":"Q1095223","labels":{"en":{"language":"en","value":"Generators for the divided powers algebra of an algebra and trace identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027688"}},"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":"Q1095223$07A2DA02-2E4B-4095-B6FA-3932E683F12A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaa02e0d7d8cce6493e06f3cccb2a8e1db4eb1fc","datavalue":{"value":{"text":"Generators for the divided powers algebra of an algebra and trace identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095223$EAE877D7-F592-482D-9993-35375756C801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f531288830477e014f536a4de2f98fc56cc901e1","datavalue":{"value":"0632.16004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095223$E8246417-5B05-4912-B30E-6D70BFF22D79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51bc998fb588c37e61ebf866fb478692aa9996b1","datavalue":{"value":{"entity-type":"item","numeric-id":583333,"id":"Q583333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095223$A2E58956-C3DC-45CC-BBF0-96748F78BB38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095223$B70D3ACD-5174-48CB-92D9-F79123496673","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095223$A09E9F64-D512-4A5B-A63B-8ACA5CCE0C8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ceb70e78fa12e3f9fb24456cee84fd1927ef3009","datavalue":{"value":"https://eudml.org/doc/138355","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095223$06405734-59E7-4AB6-9AD2-8BE65D80FEE1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c290551093e1d9b357af0ec3984622daecf17f6","datavalue":{"value":"Let A be an associative algebra with unity over a commutative ring R, and let \\(\\Gamma_ i(A)\\) denote the module of symmetric contravariant tensors of rank i for the R-module A. The direct product of the \\(\\Gamma_ i(A)\\) is an algebra under a componentwise multiplication induced by the multiplication of A. For \\(a\\in A\\) and each nonnegative integer j, \\(a^{<j>}\\) denotes the element of this direct product whose component in \\(\\Gamma_ i(A)\\) is the sum of the \\(\\left( \\begin{matrix} i\\\\ j\\end{matrix} \\right)\\) tensors formed with j factors equal to a and i-j factors equal to the unity 1 of A. The author considers a subalgebra \\({\\tilde \\Gamma}\\)(A) which he shows to be generated by the \\(a^{<j>}\\), \\(a\\in A\\). Among many identities derived in this paper, it is shown that  \\[  \\sum^{m}_{i=0}(-1)^{m-i}a^{<i>}(a^{m- i+1})^{<1>}=(m+1)a^{<m+1>}.  \\]  If R is a field of characteristic 0, then \\({\\tilde \\Gamma}\\)(A) is generated by the \\(a^{<1>}\\), \\(a\\in A\\), and the author shows that \\({\\tilde \\Gamma}\\)(A) is isomorphic to the universal enveloping algebra of the Lie algebra A with Lie product \\([a,b]=ab-ba\\). The meaning of a related statement for fields of characteristic \\(p\\neq 0\\) (Proposition 6.6) is obscured by an apparent typographical error.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095223$84788A75-831A-493A-8C50-8269BDFA7C45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095223$65ACD4ED-295C-4BD3-AB51-FDA8052371C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e97bd36d529226a5c2a7d319ccb88fe485aab7bf","datavalue":{"value":"15A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095223$94316F90-53C5-4277-9B00-DC3C45B06001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095223$1FFA69C5-174F-4A9F-8E53-FF79C89508F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095223$967375CC-7A79-42D4-A5FB-E5DE3023F0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"446743b4bc857654a1ded5abcfd1d270ede262f3","datavalue":{"value":"16W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095223$3FEF8726-9542-4B69-9E25-6AFC3036AD67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63fa478f3a90bfd9f6ebab723dc5fc3685ff8ea2","datavalue":{"value":"4027688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095223$7738EEB9-7EF8-4436-BD45-2827404DAECA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcc4bb8c759b1c1f22c0b1239de09e1e9dac4eb","datavalue":{"value":"module of symmetric contravariant tensors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095223$1E2B660D-EC74-4744-8E14-B97268238FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b2daaf7ac864516e7b1b0451bfe3e1040a3880","datavalue":{"value":"direct product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095223$A2FFFDBA-E6E9-4403-81BF-04F6D5576F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580d807b2215725577df2aa1fb23ac7800970e1a","datavalue":{"value":"universal enveloping algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095223$E51FF6B7-E8EA-4B7C-9A03-5A0C5C1A20C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"394a8ca59bb381943e71acbc2ab4b8012f88b06e","datavalue":{"value":"Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095223$7674F4F6-C730-435A-81BE-FDFB2A2D1EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fe1cfe45b659a48c10a8b1e8414fd44759bfac","datavalue":{"value":"Lie product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095223$63E874D8-9B3E-4E39-9D5E-C44D14EA3983","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ad43cc342ad8972c6665299d2e7ba60642e16d5","datavalue":{"value":{"entity-type":"item","numeric-id":915781,"id":"Q915781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095223$B77B7BC1-E26F-4C93-816D-919F8B41CDD4","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":"Q1095223$7CCAB993-B4CB-44AF-9381-AE4AECDF84DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9afd9dec626667845179939a1c036e1fd9b2207","datavalue":{"value":{"entity-type":"item","numeric-id":3469236,"id":"Q3469236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b0e328e3d9cf30eb0ef550d95a58f3c19958db","datavalue":{"value":{"amount":"+0.7804114818572998","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":"Q1095223$B798FEBE-3D08-4A60-9950-A88A1AD92F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34a025e7960c7e4f4da41442143edbee9c258cf","datavalue":{"value":{"entity-type":"item","numeric-id":3322254,"id":"Q3322254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4621a7cba56e2117b1d5a4531941346802e1bca","datavalue":{"value":{"amount":"+0.7777974605560303","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":"Q1095223$7A911A40-7E86-4BE0-89C0-D184971C21B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"839d5e87c5dc823d5857859b36d274d5f99db0b8","datavalue":{"value":{"entity-type":"item","numeric-id":583334,"id":"Q583334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773407bdbe81d37d42a9a48c2e1968f925ba757b","datavalue":{"value":{"amount":"+0.7567533850669861","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":"Q1095223$AC951559-8521-428B-BF8D-B2E36C58DFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1013e0ae6dc4d17473841ac0034798c9b0151c3","datavalue":{"value":{"entity-type":"item","numeric-id":1086658,"id":"Q1086658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96ef18cdd1010131f060269bbd35b8622085991","datavalue":{"value":{"amount":"+0.7448363900184631","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":"Q1095223$D2C226AF-E7CD-41B8-94F6-AB499364987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb5ae4e8dfee2ee526c30aa097a8540e5961e4c","datavalue":{"value":{"entity-type":"item","numeric-id":3758071,"id":"Q3758071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2294d853df3966f696aeecf6211c3b0a29f1918","datavalue":{"value":{"amount":"+0.733050525188446","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":"Q1095223$B5E6A08D-2C85-491E-8EBF-3FC29988266F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generators for the divided powers algebra of an algebra and trace identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generators_for_the_divided_powers_algebra_of_an_algebra_and_trace_identities"}}}}}