{"entities":{"Q2504381":{"pageid":2515124,"ns":120,"title":"Item:Q2504381","lastrevid":49923994,"modified":"2026-01-12T02:05:26Z","type":"item","id":"Q2504381","labels":{"en":{"language":"en","value":"A generalization of the Weierstrass semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5056858"}},"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":"Q2504381$6AFF6430-030E-46B6-B0CB-2B838AD119C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ec7988d3a4f8d5c4a3ff5088a842c295caa88b","datavalue":{"value":{"text":"A generalization of the Weierstrass semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2504381$9ABC3FBF-3400-410F-849D-99C522438C1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb1b4491a88996db361f115f04fd864f3fe8ab9c","datavalue":{"value":"1105.14045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2504381$F9231330-C71D-4B5D-ADDD-FD5917B213B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93510be48ce12c95cc0b5b341c3c8ed4a8d7ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":2216519,"id":"Q2216519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$7D2004A2-4C03-4CD5-969D-99901AA7F502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"922f64ba998eecf3ac41dff32c2fe097cf3109ca","datavalue":{"value":{"entity-type":"item","numeric-id":162961,"id":"Q162961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$D7E39CD1-FED1-4464-B0CD-5C0173C82C11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$8507329D-FDC1-4B8D-9C7F-CC0C97BA12EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbdb4baf7cb8e97e25d4f9a183a103460be78371","datavalue":{"value":{"time":"+2006-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2504381$46E6A185-469D-4C1F-B196-8CE85F5FCF43","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54168d68f4e580d8d4d2a22c2a02edb1316b16c4","datavalue":{"value":"Let \\(X\\) be a smooth algebraic projective curve defined over a finite field \\textbf{F}. Let \\(P \\in X\\) be a rational point; the Weierstrass semigroup at \\(P\\) is defined as \\(H(P):= \\{ k \\in \\mathbb{N} \\; | \\; \\mathrm{div}_{\\infty}(f) = k P, \\mathrm{\\;for\\;some\\;} f \\in \\mathbb{F}(X)\\}\\) (here \\(\\mathrm{div}_{\\infty}(f)\\) denotes pole divisor of the function \\(f\\) and \\(\\mathbb{N} = \\{0, 1, \\dots \\}\\)). This is a classical concept, and given distinct rational points \\(P_1, \\dots, P_n \\in X\\), a natural generalization of this concept is to define \\(H(P_1, \\dots, P_n) := \\{ (k_1, \\dots, k_n) \\in \\mathbb{N}^n \\; | \\; \\mathrm{div}_{\\infty}(f) = \\sum_{i = 1}^n k_i P_i, \\mathrm{\\;for\\;some\\;} f \\in \\mathbb{F}(X)\\}\\) as being the Weierstrass semigroup at points \\(P_1, \\dots, P_n\\). This has been done and this semigroup has been studied, specially in connection with the construction of geometric Goppa codes with good parameters (see e.g.\\ results by \\textit{G. Matthews} [in: Finite fields and applications. 7th int. conf., \\(\\mathbb{F}_{q^7}\\), Toulouse, France, 2003. Lect. Notes Comp. Sci. 2948, 12--24 (2004; Zbl 1063.14041)], and by \\textit{C. Carvalho} and \\textit{F. Torres} [Des. Codes Cryptography 35, No.~2, 211--225 (2005; Zbl 1070.94029)]).  In the present paper, the authors propose another approach for the definition of Weierstrass semigroup at several points. Let \\(P_1, \\dots, P_n\\) be as above, and denote by \\(R_{P_1, \\dots, P_n}\\) the ring of functions on \\(X\\) that are regular in \\(X \\setminus \\{P_1,\\dots, P_n\\}\\). Let \\(\\widehat{H}(P_1, \\dots, P_n) := \\{ -(v_{P_1}(f), \\dots, v_{P_n}(f)) \\in \\mathbb{Z}^n \\; | \\; f \\in R_{P_1, \\dots, P_n} \\setminus\\{0\\} \\}\\), where \\(v_{P_i}\\) stands for the valuation associated to the point \\(P_i\\) (\\(i = 1, \\dots, n\\)). It's clear that \\(\\widehat{H}(P_1) = H(P_1)\\) and \\(H(P_1, \\dots, P_n) = \\widehat{H}(P_1, \\dots, P_n) \\cap \\mathbb{N}^n\\). The authors then present reasons that justify the following definition for the set of gaps: \\(\\widehat{G}(P_1, \\dots, P_n) := \\{(k_1, \\dots, k_n) \\in \\mathbb{Z}^n \\; | \\; k_1 + \\cdots + k_n \\geq 0 \\} \\setminus \\widehat{H}(P_1, \\dots, P_n)\\). Unlike the set of gaps of \\(H(P_1, \\dots, P_n)\\), which is always finite, \\(\\widehat{G}(P_1, \\dots, P_n)\\) has cardinality either equal to zero or infinity, if \\(n > 1\\). This motivates the introduction of another semigroup, which is \\(\\widetilde{H}(P_1, \\dots, P_n) := \\widehat{H}(P_1, \\dots, P_n)/\\Lambda(P_1, \\dots, P_n)\\), where  \\[ \\Lambda(P_1, \\dots, P_n) := \\{ -(v_{P_1}(f), \\dots, v_{P_n}(f)) \\in \\mathbb{Z}^n \\; | \\; f \\text{ is an invertible element of } R_{P_1, \\dots, P_n}\\}. \\]  Given the definition of \\(\\widehat{G}(P_1, \\dots, P_n)\\), it's now natural to define the set \\(\\widetilde{G}(P_1, \\dots, P_n)\\) of gaps of \\(\\widetilde{H}(P_1, \\dots, P_n)\\) as the complement of \\(\\widetilde{H}(P_1, \\dots, P_n)\\) in the set \\(\\{(k_1, \\dots, k_n) \\in \\mathbb{Z}^n \\; | \\; k_1 + \\cdots + k_n \\geq 0 \\} / \\Lambda(P_1, \\dots, P_n)\\). The authors prove that \\(\\widetilde{G}(P_1, \\dots, P_n)\\) is a finite set, and find lower and upper bounds for its cardinality. They then turn to the case where \\(n = 2\\) and find a formula for \\(\\#\\widetilde{G}(P_1, P_2)\\), that depends on a certain function \\(\\sigma_{P_1, P_2}: \\mathbb{Z} \\rightarrow \\mathbb{Z}\\).   In the last sections, they study \\(\\widetilde{G}(P_1, P_2)\\) in the case where \\(X\\) is a certain maximal curve covered by the hermitian curve or is the Suzuki curve; among other results, they determine \\(\\#\\widetilde{G}(P_1, P_2)\\) in these cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2504381$0E473AE6-E05A-4823-AD5E-5F985D9DDE28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"315d22c23134799396e0fb7763cc43ae529974ff","datavalue":{"value":"14H55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2504381$B4CD2E31-E376-4037-A30F-D760C7B8F86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"332a7ca0fc2503044cbe5299ecaa975484163791","datavalue":{"value":"14G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2504381$05197BDA-2A35-48A4-BDA6-C64E7BEBDAF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"723baac4c818e5b1a318647dbfe66550c9664a27","datavalue":{"value":"5056858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2504381$D87E4BE3-EC17-452F-B6DB-A7DA2AA873ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"782691c4df32abbc6117e1a23efeb10bdfc9cb4e","datavalue":{"value":"hermitian curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q2504381$DB4ED074-191D-4D90-A635-8D1DB36154CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52f421fcf850a3881bc2ed1621fec715c06048bc","datavalue":{"value":"Suzuki curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q2504381$18F68C15-A285-480C-8432-37EDF7AFE2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fb699d0d242c9ac9e77635516484d925a88d4d","datavalue":{"value":"semigroup gaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q2504381$06662A04-85A7-4730-9A7D-D8D4DC9DED8C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"88ff814b6aa4107512e2cfc08bf9028e2fcc5916","datavalue":{"value":{"entity-type":"item","numeric-id":1344918,"id":"Q1344918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$5BAC0C95-2B08-45F3-BA08-4B85E9CFAC05","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":"Q2504381$9A47CA04-11BE-4F28-9743-22535763C89D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4eabbb05345a4b98db4c72763fe5218abe96b9c2","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2005.09.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2504381$D20131C2-854A-45E7-9C13-57DFABAFB33B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d69e86b87ee9db0ae105590ee635cf472749d46","datavalue":{"value":"W2036954751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2504381$7679E18C-8686-4F75-9D47-457484DAA357","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9936be4b9144b37690edac23efe0ffb5ffb065","datavalue":{"value":{"entity-type":"item","numeric-id":1064362,"id":"Q1064362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$50A0933F-875F-47A3-99EE-C462911355B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$B99046BB-BB73-4DE4-B056-403DD6A96631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00f3bd8f2d898d02a7667bef948e534c8fd725d","datavalue":{"value":{"entity-type":"item","numeric-id":2276928,"id":"Q2276928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$947F3109-314C-4862-88AA-E10C05DF38F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38d2d21801dc6431376b043d50850271aabca05","datavalue":{"value":{"entity-type":"item","numeric-id":1924987,"id":"Q1924987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$5F3E15B3-9029-4397-AABD-04FAEB3EAFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db084ad06703d2f7ab87548ed41ecf4084bb72a6","datavalue":{"value":{"entity-type":"item","numeric-id":1602011,"id":"Q1602011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$10519B6A-32AE-4176-8447-B3AA3DC613FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca5c983f99a406f0722aa2b621ed5256882b960","datavalue":{"value":{"entity-type":"item","numeric-id":1842020,"id":"Q1842020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$BBF993B2-DA72-46E3-B2A0-613643177879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504a893b92b3248c39c524c70bdabd3d9331d486","datavalue":{"value":{"entity-type":"item","numeric-id":5929714,"id":"Q5929714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$8FDE6EDA-2619-48DD-BE78-9176AE2D9EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78db9175fdf03aa610402b02ea6d07936b8f7efd","datavalue":{"value":{"entity-type":"item","numeric-id":3547351,"id":"Q3547351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$A916DF06-A1FF-4809-B315-FAAF77ACFD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1114411dd5edb40fc6b539704403c2a071251e91","datavalue":{"value":{"entity-type":"item","numeric-id":685743,"id":"Q685743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$61DA1E30-AE2A-4D74-B8FF-A10C3458D90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"325ad2b3581e959270dde9087daea16bf5317df9","datavalue":{"value":{"entity-type":"item","numeric-id":3997777,"id":"Q3997777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2504381$E6327BD0-476C-4A1B-9962-F03F25F403FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"846b5594508c9ac10454bb8b3b7935e2b3f3ea46","datavalue":{"value":"10.1016/J.JPAA.2005.09.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2504381$18D72442-E7FF-43EE-97B0-B243B4575137","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f291465e0436102324d3c4a25cf8f7452a7d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2422187,"id":"Q2422187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b406c7495b0a02e2eb314037baa02f53ac4564","datavalue":{"value":{"amount":"+0.8366342782974243","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":"Q2504381$82C7AAF1-CA34-4DBB-9A38-99C18A3BAE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a97ae34b64ae622a48395d2e30dee7f3901c1e","datavalue":{"value":{"entity-type":"item","numeric-id":1018082,"id":"Q1018082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35709fd7c1796f6be1f081b4cae50e85a87a673e","datavalue":{"value":{"amount":"+0.8270893692970276","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":"Q2504381$B694C017-1ABC-44E2-9C92-2746D97D8574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4339a54203dd96db58742cb2102894106bd3230","datavalue":{"value":{"entity-type":"item","numeric-id":2017423,"id":"Q2017423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e5ddcc6402e9cecea79e63fe1bec9c382f2f6d","datavalue":{"value":{"amount":"+0.8251162171363831","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":"Q2504381$3A39FC91-0479-4772-A207-4C0F89DAC511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c60070d70233e9438db4d3cecfbe3aaef04f10","datavalue":{"value":{"entity-type":"item","numeric-id":2692955,"id":"Q2692955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6122bb3b9fe350732e517b9940b74702f9b59b97","datavalue":{"value":{"amount":"+0.8128408193588257","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":"Q2504381$9839A47C-CD03-4FDB-AAD3-207E435DDFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109f8af7e111eeb2ccb2406297d47fa8f9b76c5d","datavalue":{"value":{"entity-type":"item","numeric-id":2669052,"id":"Q2669052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85bdc1c8c9d000134d9e98155b885d3f266e10e","datavalue":{"value":{"amount":"+0.8037666082382202","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":"Q2504381$61745A1B-886C-499C-9B01-E22E7D15792C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2504381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2504381"}}}}}