{"entities":{"Q1804192":{"pageid":1814934,"ns":120,"title":"Item:Q1804192","lastrevid":71302470,"modified":"2026-04-13T21:19:12Z","type":"item","id":"Q1804192","labels":{"en":{"language":"en","value":"Trace forms and Stickelberger relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 749194"}},"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":"Q1804192$5E551955-EFEE-47CF-91E5-CFDF5AAD4EA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dea0d0e3a8f45e9f601b75fe3822f7f1192e6104","datavalue":{"value":{"text":"Trace forms and Stickelberger relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1804192$56996AA5-24D1-4F54-A31F-8B9E67AC6AA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfe1230e37f8b93f09b086435f850944e21c341e","datavalue":{"value":"0828.11019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1804192$F5E454DF-2280-43FF-8F22-15246A2BDB24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1804192$0CE40982-087A-4783-A996-4CD5A6C31F9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"543311796a706d9993a23b2a3c8fd06a2885b7c0","datavalue":{"value":{"time":"+1996-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1804192$770AF084-72C6-4B47-BA96-9DFED24F348A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a530bf4b3df77722c1cb29cd78109ae5c60f21c","datavalue":{"value":"Let \\(K\\) be an algebraic number field. Let \\(N/K\\) be an abelian extension of odd degree with Galois group \\(G\\). Then \\(A_{N/K}\\) denotes the square root of the inverse different of \\(N/K\\). Let \\(t_{N/K} (x,y) : = \\text{trace}_{N/K} (x \\cdot y)\\) be the trace form of \\(N/K\\). Then \\((A_{N/K}, t_{N/K})\\) is a \\(G\\)-equivariant symmetric bilinear form over the ring of integers \\({\\mathcal O}_K\\) of \\(K\\). Let \\(t_G\\) be the standard symmetric bilinear form on the group algebra \\(KG\\). A pair \\((L,b)\\) consisting of an \\({\\mathcal O}_KG\\)-lattice \\(L\\) and a \\(G\\)-invariant symmetric bilinear form \\(b : L \\times L \\to {\\mathcal O}_K\\) is said to be in the principle genus if \\((L,b)\\) and \\(({\\mathcal O}_KG, t_G)\\) are everywhere locally isometric as \\(G\\)-forms. We denote by \\({\\mathcal L}\\) the set of \\({\\mathcal O}_KG\\)-lattices \\(L\\) of \\(KG\\) such that \\((L, t_G)\\) is in the principle genus. Then \\({\\mathcal L}\\) is a group with respect to multiplication. We define the unitary class group \\(\\text{UCl} ({\\mathcal O}_KG)\\) by  \\[ KG^{(1)} @>i>> {\\mathcal L} @>\\text{ucl}>> \\text{UCl} ({\\mathcal O}_KG) \\to 0, \\]  where \\(KG^{(1)}\\) is the subgroup of \\(KG\\) of units \\(u\\) with \\(uu^* = 1\\). Further \\(i(u) = u \\cdot {\\mathcal O}_KG\\).   Let \\(N/K\\) be a tamely ramified extension. Then \\((A_{N/K}, t_{N/K})\\) belongs to the principle genus and we can choose an \\(G\\)-equivariant isometry \\(f : (N,t_{N/K}) \\to (KG, t_G)\\). Set \\({\\mathcal O}_{N/K} : = \\text{ucl} (f(A_{N/K} ))\\). The set  \\[ RU ({\\mathcal O}_KG) : = \\{{\\mathcal O}_{N/K} |N/K \\text{ is a tame } G \\text{-extension}\\} \\]  is called the realizable subset of \\(\\text{UCl} ({\\mathcal O}_KG)\\). The main result now is that for Kummer extensions of prime odd order \\(l\\) the realizable subset is a group. It can be characterized by a hermitian version of the Stickelberger ideal.   Let \\(\\delta_r \\in \\Aut G\\) be the automorphism given by \\(\\delta_r(g) = g^r(e \\nmid r)\\). Then  \\[ \\Phi : = \\sum^{(e - 1)/2}_{r \\neq 0,r = {(e - 1) \\over 2}}r \\cdot \\delta_r^{-1} \\in \\mathbb{Z} \\Aut G \\]  is the hermitian Stickelberger element and \\(S = {\\Phi \\over l} \\mathbb{Z} \\Aut G \\cap \\mathbb{Z} \\Aut G\\) is the hermitian Stickelberger ideal. Then  \\[ \\begin{aligned}\\nu : S \\otimes_{\\mathbb{Z} \\Aut G} & \\text{Cl} ({\\mathcal O}_KG) \\to \\text{UCl} ({\\mathcal O}_KG):\\\\ & \\gamma \\otimes \\text{cl} (I) \\mapsto \\text{ucl} (I^\\gamma)\\end{aligned} \\]  is a well-defined homomorphism with image \\(RU ({\\mathcal O}_KG)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1804192$DC3FA962-61B3-4880-B932-CE1E760B9E0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111aa0d521548ce9bf404704c7ad9cfc95d17aa9","datavalue":{"value":"11E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1804192$877709E4-32B1-44A6-A952-FA6DA5DA729E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1804192$AEA142E4-4D3D-4F21-8A81-C2A25F322B56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2f03d4a6df9aa73bf6e57c4e37bccdeac19c3ef","datavalue":{"value":"749194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1804192$451B5C58-4ACB-48AD-BA56-357E55A03466","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"333f0d5ad066a4c09aca815449067109f3520475","datavalue":{"value":"number field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1804192$22F8A88E-C73A-46A4-ABF6-FABF9F2D52EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00eedcb2961363253298f5537b90c665c2530d4","datavalue":{"value":"abelian extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1804192$D5420CA6-904E-4660-BB91-6AED7543D627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68df0a4bce6327ca6740383878c53bdd89841765","datavalue":{"value":"trace form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1804192$B743D500-7F3D-40C5-88BF-E5B00AE241E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1afaca63a3c514eac7fe09f3591b60e38b4c86c","datavalue":{"value":"symmetric bilinear form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1804192$7D0002B5-3F3A-4312-9682-FC119ED83FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9410afb44a8b8d742e9738579bd547099c6be0c","datavalue":{"value":"hermitian version of the Stickelberger ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1804192$61EC94F5-F458-468E-8DA4-A2A746C3AFFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"849fdf001f38d1bd09f7140d650a79cf1efb62d5","datavalue":{"value":{"entity-type":"item","numeric-id":1068120,"id":"Q1068120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1804192$D4E1F48F-436B-4FF6-A14C-3EACCCF7F78E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"46918d53626f8d01d294151056302beb695b4e14","datavalue":{"value":{"entity-type":"item","numeric-id":591964,"id":"Q591964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1804192$6CF18265-8A85-4387-B907-9237CAEAFB25","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":"Q1804192$184137F6-9C62-493A-A3CC-60D7946DBC99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3f8dc78dddbbbb2e3207f90f3e018c90c7f8ef6","datavalue":{"value":"https://doi.org/10.1006/jnth.1995.1038","type":"string"},"datatype":"url"},"type":"statement","id":"Q1804192$55D0A237-A72E-4612-BA6B-F3EFF887D118","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d144c2dc2f8e80216241cb97072346cc692f83e","datavalue":{"value":"W2019072227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1804192$80113F8A-649A-4BE5-A6C7-15A928745B7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c734999e67e6018c2981198d17f1daa15d8cc01","datavalue":{"value":"10.1006/JNTH.1995.1038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1804192$534EED2B-8C46-4021-8A71-7DE801DD1E1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735e89c03291dc016525968f952fc917bdad6e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2978905,"id":"Q2978905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311eb9de4b955da136221a72a5b2cd80f165f978","datavalue":{"value":{"amount":"+0.8263385891914368","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":"Q1804192$98903C1D-9BC5-4F88-AC24-EE37ADF3F09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d517d6d9e8ff99d8f3f10ad654bfb936124c4b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4877656,"id":"Q4877656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449d1c83b36ad064d32c163bca6d25cc3446b3e2","datavalue":{"value":{"amount":"+0.7947371602058411","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":"Q1804192$A79E277A-8607-4286-826A-4449556121BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7342fddb74759d963792ffeaedeee6f13550aea4","datavalue":{"value":{"entity-type":"item","numeric-id":757475,"id":"Q757475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8039809e8c5f801ed6a75f592fe5f62eabb6cf82","datavalue":{"value":{"amount":"+0.77897709608078","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":"Q1804192$69EC8C33-A6AF-43EE-9353-550C11D8B049","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trace forms and Stickelberger relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Trace_forms_and_Stickelberger_relations"}}}}}