For a prime number p, let β«ήβ¬ p be the finite field of cardinality p and X Ο X p a fixed indeterminate. We prove that for any natural number N, there exist infinitely many pairs ( p, K/β«ήβ¬ p (X )) of a prime number p and a ''real'' quadratic extension K/β«ήβ¬ p (X ) for which the genus of K is one and
Decision Problems in Quadratic Function Fields of High Genus
β Scribed by R. Scheidler
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 146 KB
- Volume
- 16
- Category
- Article
- ISSN
- 0885-064X
No coin nor oath required. For personal study only.
β¦ Synopsis
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems in both NP and co-NP. The problems include determining the ideal and divisor class numbers of the field, the regulator of the field (in the real case), a generating system of the ideal class group, a basis of the ideal class group, the pricipality of an ideal, the equivalence of two ideals, the discrete logarithm of an ideal class with respect to another ideal class, and the order of a class in the ideal class group. While several of these problems belong to the aforementioned complexity classes unconditionally, others require a certain assumption to ensure that the verification procedures can be done in polynomial time; so far, this assumption has only been verified for fields of high genus.
π SIMILAR VOLUMES
We present a time-dependent density-functional theory TDDFT with ## Ε½ . Ε½ . optimized effective potential OEP and self-interaction correction SIC for nonperturbative treatment of multiphoton and nonlinear optical processes of manyelectron systems in intense laser fields. The resulting TDOEPrKLI-SI