{"entities":{"Q1074658":{"pageid":1085410,"ns":120,"title":"Item:Q1074658","lastrevid":69814728,"modified":"2026-04-13T09:34:32Z","type":"item","id":"Q1074658","labels":{"en":{"language":"en","value":"A tripling on the algebraic number field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3948419"}},"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":"Q1074658$D3889348-04FA-4297-9DD3-A0F697D2FD87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f5878e7729511dfc97dab3541615dc2012b9caa","datavalue":{"value":{"text":"A tripling on the algebraic number field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074658$BED30BB4-92BF-42BF-AE5B-AA93C19E6EA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15464b8efe2ce6cf04321ffe23029e09f575d67f","datavalue":{"value":"0591.12013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074658$CB4679F5-4FFE-4216-8316-C7345265CF35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77c5b038f9d1015faba9e6862524989ad2207750","datavalue":{"value":{"entity-type":"item","numeric-id":1074657,"id":"Q1074657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074658$BC97254D-7D52-4336-86A8-9EBD2ABA03D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"903611b45fdefcb5db6a1d6c4d381fc130c82383","datavalue":{"value":{"entity-type":"item","numeric-id":189326,"id":"Q189326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074658$2FAD28E1-16FF-4E4B-9526-5F74F0026BA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1074658$AA4DB3B7-5D7F-4E3E-82C7-A59EFE6CDDE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5366c1804f9a54a1496ad20452d083fc3485e056","datavalue":{"value":"Let \\(\\ell\\) be a prime number and let n be a power of \\(\\ell\\). Let k be an algebraic number field of finite degree which contains a primitive n-th root of unity \\(\\zeta_ n\\). In the present paper the author defines a tripling symbol \\((x,y,z)_ n\\in <\\zeta_ n>\\), which is defined on a subset of \\(k^{\\times}\\times k^{\\times}\\times k^{\\times}\\) consisting of the elements called strictly orthogonal, and characterizes the norm group from the bicyclic extension \\(k(^ n\\sqrt{x},^ n\\sqrt{y})\\). In the case \\(k={\\mathbb{Q}}\\) and \\(n=2\\), \\textit{Y. Furuta} [Nagoya Math. J. 79, 79- 109 (1980; Zbl 0444.12001), cf. ibid. 93, 61-69 (1984; Zbl 0526.12009)] defined a similar symbol and studied it; though this symbol does not coincide with the above, these are essentially the same if these are defined at the same time.    For each prime \\({\\mathfrak l}\\) over (\\(\\ell)\\) in k, fix a local Galois extension \\(\\Omega^{{\\mathfrak l}}/k_{{\\mathfrak l}}\\) whose Galois group is a free pro-\\(\\ell\\) group, where \\(k_{{\\mathfrak l}}\\) is the completion of k by \\({\\mathfrak l}\\). For \\(x,y\\in k^{\\times}\\), x and y are said to be orthogonal if its Hilbert symbol \\((\\frac{x,y}{{\\mathfrak p}})_ n=1\\) for every \\({\\mathfrak p}\\). In the case \\(\\ell >2\\), x and y are said to be strictly orthogonal if x and y are orthogonal and satisfy that \\(x\\in N_{k_{{\\mathfrak l}}(^ n\\sqrt{y})/k_{{\\mathfrak l}}}(k_{{\\mathfrak l}}(^ n\\sqrt{y})^{\\times}\\cap (\\) \\(\\Omega^{{\\mathfrak l}^{\\times}})^ n)\\) and \\(y\\in N_{k_{{\\mathfrak l}}(^ n\\sqrt{x})/k_{{\\mathfrak l}}}(k_{{\\mathfrak l}}(^ n\\sqrt{x})^{\\times}\\cap (\\) \\(\\Omega^{{\\mathfrak l}^{\\times}})^ n)\\). In the case \\(\\ell =2\\), the notion of strictly orthogonal is defined similarly but needs some more conditions.    Let x,y be \\(\\ell\\)-independent and let x,y,z be pairwise strictly orthogonal. Let S be a set of primes of k containing the prime divisors of (\\(\\ell xyz)\\infty\\). Then there exists an element \\(a\\in k(^ n\\sqrt{y})\\) such that \\(a^{l-\\sigma}\\equiv x\\) mod (k(\\({}^ n\\sqrt{y})^{\\times})^ n\\) with some additional properties related to S, where \\(\\sigma \\in Gal(k(^ n\\sqrt{y})/k)\\) such that \\(\\sigma\\) : \\({}^ n\\sqrt{y}\\mapsto \\zeta_ n^ n\\sqrt{y}\\). Take an ideal \\({\\mathfrak A}\\) of k prime to S such that (a)\\(\\equiv {\\mathfrak A}\\) (mod n-th power, mod S) in \\(k(^ n\\sqrt{y})\\). Then \\((x,y,z)_ n\\) is defined as \\((\\frac{z}{{\\mathfrak A}})_ n :\\) n-th power residue symbol in k; which is well defined and depends only on x,y,z mod \\((k^{\\times})^{n'}\\), where \\(n'=2n\\) or \\(n'=n\\) according to \\(\\ell =2\\) or not.    The main purpose of this paper is to prove the following properties of the symbol: It is multiplicative, admits the conjugacy, has the transgression relation, and has the reciprocity law \\((x,y,z)_ n^{- 1}=(y,x,z)_ n=(z,y,x)_ n\\) under some conditions only when \\(\\ell =3\\). Further it has the norm theorem saying that \\(z\\in N_{L/k}L^{\\times}\\), \\(L=k(^ n\\sqrt{x},^ n\\sqrt{y})\\) if and only if \\((x,y,z)_ n=1\\), under the assumption that \\([L_{{\\mathfrak P}}:k_{{\\mathfrak p}}]\\leq n\\) for every \\({\\mathfrak P}| {\\mathfrak p}| (\\ell)\\). As applications, the author also gives conditions that \\(\\ell\\) divides the class number of \\(k(^ n\\sqrt{x},^ n\\sqrt{y})\\) for some x,y in the cases \\(k={\\mathbb{Q}}(\\zeta_ 3)\\) with \\(\\ell =3\\) and \\(k={\\mathbb{Q}}(\\zeta_ 5)\\) with \\(\\ell =5\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$27E8A771-C481-49DA-B91F-E7C943F54063","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074658$1B10E854-E27A-4B8B-A6A5-2CFFBA79008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074658$BD522FAB-4E1E-4D33-A2F6-95A22EEB98E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"927be37c039040f8ceeada7985a7f70c0cbbb782","datavalue":{"value":"11S31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074658$E7A07D4B-843E-4FBC-8EB7-F79907CE01CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b472a15491ab582a96583826241f29858248f0c0","datavalue":{"value":"3948419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074658$32B52D96-19EB-4D03-B3EE-E9F56A6AA2D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f49f0b200fed3aa409460b3eeefd3dd61f12a3c","datavalue":{"value":"tripling symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$8C2933F3-A599-402F-8F02-8EFAF893CF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e8d91b23ac30bef54b534110c3a3c7c52433661","datavalue":{"value":"norm group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$BB7C273E-C92A-494E-9ECE-EB01DD808CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f942319bfefa3c98a35407b02337414f77d8dba0","datavalue":{"value":"bicyclic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$FA9C8E47-CA15-4ED3-94A4-A5C0C434427C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a7e253365656719a7b0df4cf8e4b2746bff6b1","datavalue":{"value":"Galois group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$B0D08035-B6F9-43FF-B48F-D56FEDEC18DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa9a0e2c3e8578b4fda4b63574426f61f5fbf1c","datavalue":{"value":"free pro- \\(\\ell \\) group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$9B0B4751-E722-4D38-BD4A-D7AD247747E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8a02dc933a7df5b9b34af62dba4e257b9f9336","datavalue":{"value":"Hilbert symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$B98EE29E-254F-45E2-9958-B86C494969EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99954700532f7aaf4b7a6ced1ec58f3d58d149a1","datavalue":{"value":"strictly orthogonal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$BE84E1F4-4A1A-45E1-B1C5-F2E530D6AE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97637e9dd832ac05c304aa146a3e33b31f6d820","datavalue":{"value":"n-th power residue symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$37695092-0B93-4C80-9740-F9BEF05B101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e098a8bad7dd38207c9cbe4a088f419650c44962","datavalue":{"value":"transgression relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$E6E494DC-30CB-43A9-A50E-43AEEB960937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c630724ea7e955fabcaa9606ca19939993205a66","datavalue":{"value":"reciprocity law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$A977FD3F-2CA8-411E-B4D4-41D5CD9AE72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3032431505c71d4e69fa26dcd4e00e3910fff9","datavalue":{"value":"norm theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$2019E154-6C8D-4D05-8AB5-38815EA48169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca541973fe96d22ad8da1bac9ef8885230724137","datavalue":{"value":"class number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074658$02906E92-3DFE-42F7-8EB4-09081E728382","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":"Q1074658$FF325562-07BE-4E08-AD59-09F16504B0EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76db1361a12645995b0f0b0e2c70d5df7099c11","datavalue":{"value":{"entity-type":"item","numeric-id":3476911,"id":"Q3476911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b053283315d40a7ee656686fcbd47ea27797fe6d","datavalue":{"value":{"amount":"+0.8798093199729919","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":"Q1074658$68BE3B40-D701-4288-82F3-C0C3882AAEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6f03727aed91c2d6fca875ce76a141a6176591","datavalue":{"value":{"entity-type":"item","numeric-id":3116189,"id":"Q3116189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9816d0fb71fbd10947becd68c52dfb6ba7fd085","datavalue":{"value":{"amount":"+0.7241930961608887","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":"Q1074658$334C1F6D-E756-4809-8485-4D87EA61C553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e1d44ff5f0ce5c7086f3c2fec05a548d27e0a","datavalue":{"value":{"entity-type":"item","numeric-id":5048637,"id":"Q5048637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a45798678ec04a66a38dbc25bd42dc9bcc1f1b","datavalue":{"value":{"amount":"+0.7201916575431824","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":"Q1074658$C1508547-573C-4B1C-BE98-1C827183BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd033a7d401fc0fc465393956f204bea20920a96","datavalue":{"value":{"entity-type":"item","numeric-id":3476909,"id":"Q3476909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0576c3ad49a3a2cdd77ad23d443518f6c6e9845","datavalue":{"value":{"amount":"+0.7069677710533142","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":"Q1074658$7C4E52F3-F755-4BD1-9EE0-DB5F96074BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7180f3c21bebbd8b605885f0f266385478b70bf0","datavalue":{"value":{"entity-type":"item","numeric-id":2316153,"id":"Q2316153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ddb4158a620dfc77b25752bf82d32540d3fd18","datavalue":{"value":{"amount":"+0.706475019454956","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":"Q1074658$86AB981C-E922-4FD0-AF59-92A58649E6A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tripling on the algebraic number field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tripling_on_the_algebraic_number_field"}}}}}