{"entities":{"Q1639638":{"pageid":1650379,"ns":120,"title":"Item:Q1639638","lastrevid":57430146,"modified":"2026-03-30T22:06:37Z","type":"item","id":"Q1639638","labels":{"en":{"language":"en","value":"Verbally prime T-ideals and graded division algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6887345"}},"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":"Q1639638$F6D9F734-457A-461A-BCD4-0C6DAD3174DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c62b901f1f8e68f78b6a0377da16a68ed3dd0d28","datavalue":{"value":{"text":"Verbally prime T-ideals and graded division algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1639638$34FD34BA-33C3-494D-89B5-8C35D4CE8142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa9be851ecc0cf912ef61ee7de1419c50c6bfb64","datavalue":{"value":"1439.16025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$3675C584-F12A-4BAA-9513-F0C1A3CDE054","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e9d6403b98d11c76303ab3a49078306732ed39","datavalue":{"value":{"entity-type":"item","numeric-id":189936,"id":"Q189936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$883941C3-ED07-48D7-A58B-B11AFD0C559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90d7ac740ee4dd33008d40c2cbb4a21d904521c9","datavalue":{"value":{"entity-type":"item","numeric-id":258131,"id":"Q258131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$2537C1EB-267C-4B74-BE3B-7262B6EFA33F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$DFE02034-8371-4705-B043-214342632A02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c48da118f42ae63a4e13b0d14c7f6767c5b84da","datavalue":{"value":{"time":"+2018-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1639638$1079F949-801D-479D-9EA2-AB1A6B127CA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19da2b45eeb76d9d193a762bd2592f92e63715a8","datavalue":{"value":"https://arxiv.org/abs/1610.04425","type":"string"},"datatype":"url"},"type":"statement","id":"Q1639638$5F4090D2-86BC-4EAE-873D-20D0AA02C993","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9480caf206929c416425812187f69370baefb479","datavalue":{"value":"Let \\(F\\) be an algebraically closed field of characteristic zero and let \\(G\\) be a finite group. The authors consider graded verbally prime \\(T\\)-ideals in the free \\(G\\)-graded algebras. It turns out that equivalent definitions in the ordinary case (i.e., ungraded) extend to nonequivalent definitions in the graded case, namely verbally prime \\(G\\)-graded \\(T\\)-ideals and strongly verbally prime \\(T\\)-ideals.   Let \\(\\Gamma\\) be a \\(G\\)-graded \\(T\\)-ideal which contains a nonzero PI. (1) Then \\(\\Gamma\\) is \\(G\\)-\\textit{graded prime} if for any \\(G\\)-graded ideals \\(I\\) and \\(J\\) with \\(IJ\\subseteq \\Gamma\\), then \\(I\\subset \\Gamma\\) or \\(J \\subset \\Gamma\\). (2) Also \\(\\Gamma\\) is \\(G\\)-\\textit{graded verbally prime} if for any \\(G\\)-graded \\(T\\)-ideals \\(I\\) and \\(J\\) with \\(IJ\\subseteq \\Gamma\\), then \\(I\\subset \\Gamma\\) or \\(J \\subset \\Gamma\\). (3) Next, \\(\\Gamma\\) is \\(G\\)-\\textit{graded strongly verbally prime} if for any \\(G\\)-graded homogeneous polynomials \\(f\\) and \\(g\\) defined on disjoint sets of variables with \\(fg\\in \\Gamma\\), then \\(f\\in \\Gamma\\) or \\(g \\in \\Gamma\\).  The classification of \\(G\\)-graded verbally prime \\(T\\)-ideals (or algebras) for the important case \\(G = \\mathbb Z_2\\)  was obtained in [\\textit{A. Berele} and \\textit{J. Bergen}, J. Algebra 214, No. 2, 636--651 (1999; Zbl 0928.16017)]  and [\\textit{O. M. Di Vincenzo}, Commun. Algebra 27, No. 5, 2031--2044 (1999; Zbl 0921.16015)].   First, following Kemer's ideas, the authors classify \\(G\\)-graded verbally prime \\(T\\)-ideals. The main bulk of the paper is devoted to the stronger notion. The structure of finite dimensional \\(G\\)-graded algebras which are \\(G\\)-simple is given in [\\textit{Yu. A. Bahturin} et al., Sb. Math. 199, No. 7, 965--983 (2008; Zbl 1258.16046); translation from Mat. Sb. 199, No. 7, 21--40 (2008)]. Such algebras are of form \\(P_A =(H, [c], g = (g_1,\\ldots, g_k ))\\), where \\([c]\\in H^2(H, F^*)\\), and \\(g = (g_1,\\ldots, g_k )\\in G^{(k)}\\). In terms of that notations, the first main result is as follows.  Theorem 1. Let \\(\\Gamma\\) be a \\(G\\)-graded \\(T\\)-ideal where \\(G\\) is a finite group. Suppose \\(\\Gamma\\) contains an ungraded Capelli polynomial \\(c_n\\) for some integer \\(n\\) (equivalently, \\(\\Gamma\\) is the \\(T\\)-ideal of \\(G\\)-graded identities of an affine PI-algebra). Then the ideal \\(\\Gamma\\) is \\(G\\)-graded strongly verbally prime if and only if it is the \\(T\\)-ideal of \\(G\\)-graded identities of a finite dimensional  \\(G\\)-simple algebra \\(A\\) with presentation \\(P_A =(H, \\alpha, g = (g_1,\\ldots, g_k ))\\) satisfying the following conditions: (1) The group \\(H\\) is normal in \\(G\\). (2) The different cosets of \\(H\\) in \\(G\\) are equally represented in the \\(k\\)-tuple \\(g=(g_1,\\ldots,g_k)\\). In particular, the integer \\(k\\) is a multiple of \\([G : H]\\). (3) The cohomology class \\(\\alpha \\in H^2(H, F^*)\\) is \\(G\\)-invariant. Here, \\(G\\) acts on \\(H^2(H, F^*)\\)  via conjugation on \\(H\\) and trivially on \\(F^*\\).   One of the main features of finite dimensional strongly verbally prime algebras is its intimate relation to finite dimensional \\(G\\)-graded division algebras, that is finite dimensional  \\(G\\)-graded algebras whose nonzero homogeneous elements are invertible. The second main result is the following.  Theorem 2. Let \\(A\\) be a finite dimensional \\(G\\)-simple \\(F\\)-algebra where \\(Z(A)_e = F1_A\\). Then \\(A\\) is strongly verbally prime if and only if it has a \\(G\\)-graded division algebra. That is, there exists a finite dimensional \\(G\\)-graded division algebra \\(B\\) over \\(K\\) where \\(Z(B)_e = K1_B\\), and a field \\(E\\) which extends \\(K\\) (and \\(F\\)) such that \\(B_E\\) and \\(A_E\\) are \\(G\\)-graded isomorphic algebras over \\(E\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639638$0F1EEF43-4B4E-4C8C-87CF-5FFEDB4A6AAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$929D33F7-DC8E-4B93-BE01-CE7496EFA064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"399a01061065fe5762d97b6933636a907cb7891f","datavalue":{"value":"16R20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$762038C1-99CC-4848-B582-BCDDA47A0C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56f6cb78b8b768b93c9cf2d5633d372df4b15dd5","datavalue":{"value":"16R50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$EB56138E-D40B-421B-BD97-580CB2053E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b25dadedbef7f4f6459ceafe8b2ce0a6602c11","datavalue":{"value":"16W50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$D001B5F7-163F-4B5E-A5E4-9045F9674F4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b76ec8acf10dd7ea2491d54472b2386052c457e9","datavalue":{"value":"6887345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$5E6EF4B6-0650-4634-8D3D-BE0D870F0AB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf0cf9be39c930db55d13a68df5933e43d7eafd","datavalue":{"value":"graded algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639638$A40F887C-5997-43DC-9C2E-D979AE582223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5a7ce68a4a75ed310cc2e9608c444a76cfe15b","datavalue":{"value":"polynomial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639638$3457ACA4-16E5-4938-9033-6DD9A826F91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"989447b8a24d12c2e66e27d5b0c6da1ed362c62e","datavalue":{"value":"verbally prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639638$0B191273-0FA9-4904-86CC-3249773024F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfc50cf9a6ba20586372437955dc8183b4735844","datavalue":{"value":"graded division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1639638$E16DAF2A-D796-483E-B180-A675A632156E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf3fe0662d9758d0f1d395df1f704ae4c38df1f7","datavalue":{"value":{"entity-type":"item","numeric-id":531923,"id":"Q531923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$47FE051F-68A4-42F9-8F46-DF044005D54F","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":"Q1639638$05CED99B-4984-40BD-9FB1-FBD197D90126","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4155b77c0289ea3237f64491abdca0ca8e3d3ba","datavalue":{"value":"W2963048666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$E231FBC1-409C-44DE-A930-A06DF17D6128","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7412c6f78a17a20d31f47c44b3a1597635ef88","datavalue":{"value":{"entity-type":"item","numeric-id":2257283,"id":"Q2257283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$424B372E-3E8E-4277-80F3-313DB14FC9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1569a865e79388df930745a6ec08d57b01f5ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5401741,"id":"Q5401741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$E897AA0F-5097-4583-8183-04817D9083BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af194ab3011e15dbfd235f802ba5bf69f953d4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3566709,"id":"Q3566709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$EBD21F9C-B545-43E0-93C0-4A7B84FF0B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43368ce4d0f465a1159bcb448479d100f20ae9b3","datavalue":{"value":{"entity-type":"item","numeric-id":1959664,"id":"Q1959664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$4E7DC7C6-56C6-4011-9C41-AA6A508B89A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff27ea0a3964ea8b46d0302d1cb941d91634f091","datavalue":{"value":{"entity-type":"item","numeric-id":5848241,"id":"Q5848241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$877EF2D1-E7C8-4DAD-96FF-63CC892497C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ecc041874412bcbf15c466c8008f4d3d3d8c89","datavalue":{"value":{"entity-type":"item","numeric-id":4904393,"id":"Q4904393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$C37EB615-52FB-46EF-A5C8-5782E1B9E5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7057eef0725d75eb8f2a023f4f05374beaa474","datavalue":{"value":{"entity-type":"item","numeric-id":1291084,"id":"Q1291084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$F2661CCC-2307-46C4-8B06-D8568A00E9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa37fb8f90b37a3a64ed6277c6e94f61a33b0f33","datavalue":{"value":{"entity-type":"item","numeric-id":3315652,"id":"Q3315652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$D1EF14A5-D87C-4760-88D9-5ABFDB9B1612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f972b4fbec312b25699ab9862bdef0e36d2d242e","datavalue":{"value":{"entity-type":"item","numeric-id":4241640,"id":"Q4241640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$CAEF2CBE-C67F-4C86-B9FC-C000493C701E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfafd7f5d5dfee5f433567bedcb21499478792a2","datavalue":{"value":{"entity-type":"item","numeric-id":5714236,"id":"Q5714236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$73179728-76EB-411C-A238-ED9D76B2D800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d50f4baf6c04bc127d5a4c14d0ef502b93dc60","datavalue":{"value":{"entity-type":"item","numeric-id":5240167,"id":"Q5240167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$BD28FE23-EFEB-41FE-B5F5-F48BBEB35C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09de21540aa93a7d4da3c365d401f481fd40d25e","datavalue":{"value":{"entity-type":"item","numeric-id":968987,"id":"Q968987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1639638$B3F5DA6F-2616-4020-AADC-0047275490F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c459bdec7135f15a2f93b1783efddd5557e7018d","datavalue":{"value":"10.1016/J.AIM.2018.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$752866A1-5343-4A4A-BFB1-53EF2B4ADC5E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"02125d78c12f8eee6f85344bfdde322b8961b2f7","datavalue":{"value":"Q129808095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1639638$01837490-A910-49EF-B479-DFF4C9398B23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581db4509fd52d50fee85379e49792d3a380853d","datavalue":{"value":{"entity-type":"item","numeric-id":3595325,"id":"Q3595325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc97d34e7bda1c5ed05508e2d949f4802a0818ac","datavalue":{"value":{"amount":"+0.7982963919639587","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":"Q1639638$A9B9FAAE-314C-4C24-B10B-548BAA99DA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70fb4150bec78bf0db81ab587a473ee8aed32de8","datavalue":{"value":{"entity-type":"item","numeric-id":701361,"id":"Q701361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be5a1d01ac9bce5a2ba69ded6071d0549328983","datavalue":{"value":{"amount":"+0.7844650745391846","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":"Q1639638$15073A69-097A-4267-84E9-A8F14FF135E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692412a894c29cefb3f54cf464b8066fc82b653c","datavalue":{"value":{"entity-type":"item","numeric-id":684099,"id":"Q684099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d0271f280db5c963e025660b05851ea5cc909e","datavalue":{"value":{"amount":"+0.7821826934814453","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":"Q1639638$500FBC18-BA3C-4279-9F26-269C0660A4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b4555d23394812ce7dcd777399f2ed4d16165c","datavalue":{"value":{"entity-type":"item","numeric-id":4241640,"id":"Q4241640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad34b9d29889b7a59028ba016f42fa0c1f1477a","datavalue":{"value":{"amount":"+0.7802035808563232","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":"Q1639638$58E12EE3-EEDF-4197-B936-74970500FC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d930ce06b161a3ddaece53061a49ca27eb9d2cd7","datavalue":{"value":{"entity-type":"item","numeric-id":2118927,"id":"Q2118927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a9a79b99a526713df302ae6ebef4fabc1cc2b4","datavalue":{"value":{"amount":"+0.7784323692321777","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":"Q1639638$ED690310-8A29-427C-B323-49F9B05DC426","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1639638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1639638"}}}}}