{"entities":{"Q957914":{"pageid":959762,"ns":120,"title":"Item:Q957914","lastrevid":65634564,"modified":"2026-04-12T03:56:45Z","type":"item","id":"Q957914","labels":{"en":{"language":"en","value":"The generalized R\u00e9dei-matrix"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5376019"}},"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":"Q957914$40FC63FD-5A49-4D48-9B3F-BB41FE80CE77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98e27cb4398adbc342be54d32f430eb9481fa074","datavalue":{"value":{"text":"The generalized R\u00e9dei-matrix","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q957914$75E619D9-0CE2-4263-A3DB-47D389B484AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55454480ac69eeabfa9b5f2c851e61e2d7862e28","datavalue":{"value":"1243.11110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q957914$8DD18486-B3AF-41D0-A18F-FECDE7E091CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3059f58933c48a0aa7a3776a38733e0cbb7edd4a","datavalue":{"value":{"entity-type":"item","numeric-id":232520,"id":"Q232520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$CD79FF98-516E-4D93-9FBA-2F48BF570C0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$978981F5-B519-4ACD-BD6A-FE06B171986B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27d08a931c6ec000c775800f49a87bb8d8c405fb","datavalue":{"value":{"time":"+2008-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q957914$6D5E654F-0243-46D8-9446-C2ED3735D515","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17a4d39ca71ad185767f554e0f9ba1a2c2623ade","datavalue":{"value":"Let \\(F\\) be a number field with odd class number and \\(E = F(\\sqrt{\\delta}\\,)\\) a quadratic extension. The main result proved in this article is the formula  \\[  \\text{rk}_4\\;\\text{Cl}(E) = m - 1 - \\text{rk}\\;R_{E/F}  \\]  for the \\(4\\)-rank of the class group Cl\\((E)\\), where \\(m\\) denotes the number of primes ramified in \\(E/F\\), and \\(R_{E/F}\\) is the generalized R\u00e9dei matrix formed from local Hilbert symbols. This generalizes the corresponding result for quadratic extensions due to \\textit{L. R\u00e9dei} [J. Reine Angew. Math. 171, 55--60 (1934; Zbl 0009.05101)], (see [\\textit{P. Stevenhagen}, ``R\u00e9dei-matrices and applications'', Lond. Math. Soc. Lect. Note Ser. 215, 245--259 (1995; Zbl 0830.11039)] for a modern presentation).  For defining the generalized R\u00e9dei matrix, let \\({\\mathfrak p}_1, \\dots, {\\mathfrak p}_m\\) denote the (finite and infinite) primes ramified in \\(E/F\\), and write \\({\\mathfrak p} O_E = {\\mathfrak P}^2\\) for the finite primes \\({\\mathfrak p}_1, \\dots, {\\mathfrak p}_n\\). Let \\(\\upsilon_1, \\dots, \\upsilon_r\\) denote a basis of the unit group of the ring of integers in \\(F\\). This basis can be chosen in such a way that the first \\(\\ell\\) units are norms of elements from \\(E\\), and that \\((O_F^\\times : O_F^\\times \\cap N E) = 2^{r - \\ell}\\). The \\(2\\)-class group of \\(E\\) is generated by strongly ambiguous ideal classes \\([{\\mathfrak P}_1], \\dots, [{\\mathfrak P}_n]\\) and by weakly ambiguous ideal classes \\([{\\mathfrak B}_1], \\dots, [{\\mathfrak B}_\\ell]\\), with \\(\\ell\\) as above. Define elements \\(a_i, b_j \\in F\\) by setting \\((a_i) = ({\\mathfrak P}_i^{-h} \\sigma({\\mathfrak P}_1)^{-h})\\) for \\(1 \\leq i \\leq n\\) and \\((b_j) = ({\\mathfrak B}_i^{-h} \\sigma({\\mathfrak B}_1)^{-h})\\) for \\(1 \\leq j \\leq \\ell\\), where \\(\\sigma\\) is the nontrivial automorphism of \\(E/F\\). The generalized R\u00e9dei matrix is an \\(m \\times (n+r)\\)-matrix whose entries are the Hilbert symbols \\((a_i,\\delta)_{{\\mathfrak p}_j}\\), \\((b_i,\\delta)_{{\\mathfrak p}_j}\\), and \\((\\upsilon_k,\\delta)_{{\\mathfrak p}_j}\\) for \\(\\ell+1 \\leq k \\leq r\\).  The last section contains applications to quadratic and biquadratic number fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q957914$016C3185-D647-429C-9288-D80AC97DEA33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ec9c6d4bf0e63d71e537eddb0a4ac9a7327d4346","datavalue":{"value":{"entity-type":"item","numeric-id":380409,"id":"Q380409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$AEFAD74D-F2C4-44E6-911C-2B3E49F6EB25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e80ae9f0db6e614f9cb832acf6ccd734692cd350","datavalue":{"value":"11R65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q957914$2F52512E-956D-4F7C-8719-A09B0BD3EB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a96ec27960548a095ff7d83af50617655333860","datavalue":{"value":"11R11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q957914$69EDE2A1-DA5A-47B1-AC3B-70ACCB16702E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"309c173463b2157d2bb0e59484e6411f2330e152","datavalue":{"value":"5376019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q957914$F717B6B4-18A1-440B-B95C-6BA552CBFB66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1d10b810ce499760170c977943024f5c1e9ae","datavalue":{"value":"Redei matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q957914$804D92DD-6549-46DC-A411-C76B4AC71CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e03bd8d45a623c1a08b6cdd9cfb218e859a51e8f","datavalue":{"value":"quadratic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q957914$B7573D83-A7A8-499D-AA6F-E490E4DD21D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c93482a4145adcdcf4752ae944693f9628baeb86","datavalue":{"value":"genus theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q957914$396C5CE3-17AB-45D3-B1EA-248B1D0B0C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8a02dc933a7df5b9b34af62dba4e257b9f9336","datavalue":{"value":"Hilbert symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q957914$FFB7CFF9-7976-41DB-A716-E4F2E14D3A2C","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":"Q957914$77762A26-43F0-4F2A-BC6B-0C4ECE38DDDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89ddf65754f4f8da9c723e77df39e15eda783822","datavalue":{"value":"https://doi.org/10.1007/s00209-008-0311-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q957914$7B21C95D-A3CB-465B-B196-CD52071676FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dec7ae6f8e5689b438f5a7dfd04c4e63bca4ba28","datavalue":{"value":"W2051405037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q957914$7AEFDB48-3DE7-40C0-BFA8-6CB43D995E4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0a71a0cb152d98e5d0e8a960bd88b51ed0896f","datavalue":{"value":{"entity-type":"item","numeric-id":1415366,"id":"Q1415366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$0C02E9EE-4AC1-4C3A-9583-9C03B5873447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da86832bfd7ad7f6909372ea905e2b21ca11e85","datavalue":{"value":{"entity-type":"item","numeric-id":3994474,"id":"Q3994474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$EF0CCDF5-7A5F-43B4-8DE2-80D4857B2BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8bc5900bbac01451d7fa87701136e69fe4b70f","datavalue":{"value":{"entity-type":"item","numeric-id":4398651,"id":"Q4398651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$E7D6EE31-61B7-4188-AB83-12C6E9C150D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7203300bc4682c6bc51f7b93ab52665321da547","datavalue":{"value":{"entity-type":"item","numeric-id":4739993,"id":"Q4739993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$D09EDAA2-009D-4E6B-9BBC-C2A25C0F0F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05354be06eacc2029b81902975bbb8de6d4fc085","datavalue":{"value":{"entity-type":"item","numeric-id":3027091,"id":"Q3027091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$6C80BCFA-BA92-4AA7-B819-24F8F5171BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee5d6578d667e0794a79371eafad48608f6aeb0","datavalue":{"value":{"entity-type":"item","numeric-id":4299002,"id":"Q4299002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$15306F90-6679-4E33-BF28-388969093B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21fec3378be9cb163aa4b6cb381ef1417ae84658","datavalue":{"value":{"entity-type":"item","numeric-id":1343640,"id":"Q1343640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$5366C381-0443-4DAC-99CD-DD7799FB75BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3767c5e939efbe18eaa7d199a276d1cd48faa192","datavalue":{"value":{"entity-type":"item","numeric-id":2502104,"id":"Q2502104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q957914$D20D7063-B2A0-4527-8047-B1FE55074B4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff813b4bf1edd23f5be7f1ec8db51c04902831c8","datavalue":{"value":"10.1007/S00209-008-0311-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q957914$0D51161B-2B98-4BE5-BF88-5601EC0B422F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac64a0a5de9130e1ad248277bdd986df21d17b7","datavalue":{"value":{"entity-type":"item","numeric-id":2710508,"id":"Q2710508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50017265428c6c060663eccd03e667480f6a7efe","datavalue":{"value":{"amount":"+0.8592579364776611","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":"Q957914$E020ECDC-14F2-4BA3-92CB-CB3DA0428426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6dc8495c83050ae3366204be928b3339be6a70b","datavalue":{"value":{"entity-type":"item","numeric-id":4836241,"id":"Q4836241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50017265428c6c060663eccd03e667480f6a7efe","datavalue":{"value":{"amount":"+0.8592579364776611","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":"Q957914$333A6E5E-C8F1-4AB0-81E5-FCB0FD9DD1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfb551f043a39408b0dfdcc96bb194d02823d1c","datavalue":{"value":{"entity-type":"item","numeric-id":439084,"id":"Q439084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ad66d3283015f20aa588a1f8e28c6902e494a7","datavalue":{"value":{"amount":"+0.8303532600402832","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":"Q957914$4E273D23-F4DD-432C-BC98-0836BB4349CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ab2dc830b657da90d1fe9a8df7e3a45e7e00e9","datavalue":{"value":{"entity-type":"item","numeric-id":2729684,"id":"Q2729684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415caf20d7508a2d81a5863e442ee2bd5662f6b5","datavalue":{"value":{"amount":"+0.818893313407898","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":"Q957914$9BBFC917-D035-43B7-B3F6-CE4529982C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c3f734a5a50fb9ed3b95d8e53bd454f0bdb4677","datavalue":{"value":{"entity-type":"item","numeric-id":3094889,"id":"Q3094889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46710602d674083cac19bfe8be619ad8347f34d","datavalue":{"value":{"amount":"+0.8169021010398865","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":"Q957914$C69B83FF-B5A7-41B0-A8B7-EC75440FC3CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The generalized R\u00e9dei-matrix","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_generalized_R%C3%A9dei-matrix"}}}}}