{"entities":{"Q663525":{"pageid":665374,"ns":120,"title":"Item:Q663525","lastrevid":63463851,"modified":"2026-04-11T13:20:24Z","type":"item","id":"Q663525","labels":{"en":{"language":"en","value":"Non-central fixed point free symmetries of bisymmetric Riemann surfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6006842"}},"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":"Q663525$AB924730-0561-4E50-B171-892853A8CAB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56fbce0e17a76bd446a8b80a4b38578a3c101427","datavalue":{"value":{"text":"Non-central fixed point free symmetries of bisymmetric Riemann surfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q663525$563E510C-3BCE-417C-B5F5-F25B1438C1EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e5f533ec43c2ae59314f5179d7e0e22d251e0bb","datavalue":{"value":"1269.30046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q663525$85920DF4-9BD4-4F65-A928-E8B2B697D193","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03d984b736435b60960639a183a794f3e25df744","datavalue":{"value":{"entity-type":"item","numeric-id":351752,"id":"Q351752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q663525$550BC1BE-A1BB-422B-BE0F-142D5F6EC93E","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":"Q663525$0C1F8A48-5DCA-4F22-9219-ECC1125C9AAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faa55860dcbf2e736b69f8985288251ad531102b","datavalue":{"value":{"time":"+2012-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q663525$3BAF5BEC-B5D8-416D-98DD-E5F8D26B4049","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f95d9152cba1376786d5ab3f1cb6c0580a364130","datavalue":{"value":"https://projecteuclid.org/euclid.ojm/1326291209","type":"string"},"datatype":"url"},"type":"statement","id":"Q663525$637D118F-42B9-47C7-8D23-35C6FEF0854C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cdc1d1df47176ab2b8c435687bf6749c2e0e5645","datavalue":{"value":"Let \\(X\\) be a compact Riemann surface of genus \\(g\\geq 2\\). We say that \\(X\\) admits a pair \\((0,t)_n\\) if it admits a pair of symmetries \\(\\sigma\\) and \\(\\tau\\) such that \\(\\sigma\\) is fixed point free, \\(\\tau\\) has \\(t\\) ovals, and \\(\\sigma\\tau\\) is of order~\\(n\\). One of the main goals of the paper is to obtain necessary and sufficient conditions on the parameters \\(g\\), \\(\\tau\\), and \\(n\\), corresponding to a compact Riemann surface~\\(X\\) of genus \\(g\\) admitting a pair \\((0,t)_n\\). In Sections 3 and 4 some inequalities connecting the parameters are proved. In Theorem~3.4 the author states that if \\(X\\) admits the pair \\((0,t)_n\\), then (1)~\\(t\\leq 4(g-1)/n\\) for \\(n\\equiv 0\\mod 4\\), \\(n>4\\), and the bound is attained when \\(4(g-1)/n\\) is even or \\(n=8\\); (2)~\\(t\\leq g\\) if \\(n=4\\), and the bound is attained for every~odd \\(g\\); (3)~\\(t\\leq 2(g-1)/n+2\\) if \\(n\\equiv 2\\mod 4\\), and the bound is attained if \\(2(g-1)/n\\) is an integer. In Theorem 3.5 it is proved that for every \\(n>8\\), \\(n\\equiv 0\\mod 4\\), there are infinitely many values of \\(g\\) for which \\(n\\) does not divide \\(4(g-1)\\) and there exists a Riemann surface of genus \\(g\\) admitting the pair \\((0,[4(g-1)/n])_n\\). Theorem 3.6 states that if \\(X\\) admits a pair \\((0,t)_n\\), \\(n>2\\), such that \\(n\\equiv 2\\mod 4\\) and \\(n\\) does not divide \\(2(g-1)\\), then \\(t\\leq [2(g-1)/n]+1\\) and there are infinitely many values of \\(g\\) for which this bound is attained. In Section 4 the author investigates the number \\(m\\) of fixed points of the product \\(\\sigma\\tau\\). Denote \\(M=2(g+n-1)/(n-1)\\). In Theorem 4.4 it is proved that (1)~If there exists a Riemann surface of genus \\(g\\) having a pair of symmetries, at least one without ovals, with product of order \\(n\\) and having \\(M\\) fixed points, then \\(n-1\\) divides \\(g\\) and the numbers \\(n\\) and \\(g\\) are of different parity; (2)~Conversely, let \\(M\\) be attained as the number of points fixed by the product of order \\(n\\) of two symmetries one of them is fixed point free. Let \\(u\\) be a proper divisor of \\(n\\). If \\(n\\) is even, then every positive value \\(m\\) of the form \\(M-4ua\\), \\(a\\geq 0\\), is also attained; in addition, if \\(n\\) is odd, then all the values \\(m=M-2ua\\) are attained. Theorem 4.5 is a generalization of Theorem 3.4 for the case when the value \\(m\\) of fixed points of the product \\(\\sigma\\tau\\) is known; the attainment of the bounds is described as well. At last, in Section~5 sharp estimates for the order of the product of two symmetries are given. Let \\(\\mu_g:\\{0,1,\\dots,g+1\\}\\to \\mathbb{N}\\) be a function defined as follows: \\(\\mu_g(q)=j\\) if and only if \\(2^j\\) is the biggest power of 2 being realized as the order of the product of a pair of an \\((M-q)\\)- and a fixed point free symmetry on a Riemann surface of genus~\\(g\\). In Theorem 5.2 it is proved that \\(\\mu_g(q)\\leq j\\) if \\(g+1-(g-1)2^{2-j}\\leq q\\leq g+1-(g-1)2^{1-j}\\), and \\(\\mu_g(q)\\leq 2\\) if \\(1\\leq q\\leq (g+3)/2\\). Theorem 5.3 shows that the bounds are sharp. In Theorem~5.5 the case of the product of two fixed point free symmetries is investigated. It is proved that if \\(g\\) is odd and \\(2^j-1\\leq g<2^{j+1}-1\\), then \\(\\mu_g(g+1)\\leq j\\) and the bound is attained if and only if \\(g=2^{j+1}-1-2^{j-l}\\), \\(0\\leq l