Abstract:The notions of well-behaving sequences and order funtions is fundamental in the elementary treatment of geometric Goppa codes. The existence of order functions is proved with the theory of Gröbner bases.
“…o obner algebras [2], and the graded structures of 369 1071-5797/02 $35.00 [32] as shown by [27]. The construction of new order domains with the help of the factor ring theorem was found independently in the rank one case in [22][23][24][25]28]. The presentation of order domains was found in the rank one case in [22][23][24][25] and preluded in [34], and shown for arbitrary rank in [27].…”
The notion of an order domain is generalized. The behaviour of an order domain by taking a subalgebra, the extension of scalars, and the tensor product is studied. The relation of an order domain with valuation theory, Gr .o obner algebras, and graded structures is given. The theory of Gr .o obner bases for order domains is developed and used to show that the factor ring theorem and its converse, the presentation theorem, hold. The dimension of an order domain is related to the rank of its value semigroup. # 2002 Elsevier Science (USA)
“…o obner algebras [2], and the graded structures of 369 1071-5797/02 $35.00 [32] as shown by [27]. The construction of new order domains with the help of the factor ring theorem was found independently in the rank one case in [22][23][24][25]28]. The presentation of order domains was found in the rank one case in [22][23][24][25] and preluded in [34], and shown for arbitrary rank in [27].…”
The notion of an order domain is generalized. The behaviour of an order domain by taking a subalgebra, the extension of scalars, and the tensor product is studied. The relation of an order domain with valuation theory, Gr .o obner algebras, and graded structures is given. The theory of Gr .o obner bases for order domains is developed and used to show that the factor ring theorem and its converse, the presentation theorem, hold. The dimension of an order domain is related to the rank of its value semigroup. # 2002 Elsevier Science (USA)
“…Let v P be the discrete valuation at P on R. Let ρ(f ) = −v P (f ), so it is the pole order of f at P . Then ρ is a weight function on R. See [16,31,37,38]. In [40,29] bounds are given for the GHW's of algebraic geometry codes involving the gonality sequence.…”
Section: Concluding Remarks and Questionsmentioning
The order bound on generalized Hamming weights is introduced in a general setting of codes on varieties which comprises both the one point geometric Goppa codes as the q-ary Reed-Muller codes. For the latter codes it is shown that this bound is sharp and that they satisfy the double chain condition.
“…Miura [6] and Pellikaan [7] independently and simultaneously proposed a standard form of defining equations for affine algebraic curves which renders that the subsequent finding of the required f i 's and the computing of f i (P j ) is straightforward. The number of equations in that standard form becomes the minimum if and only if the Weierstrass semigroup Λ of P is telescopic [10].…”
Section: Corollary 2 Assume a Tower Of Function Fields Is Given Withmentioning
a b s t r a c tWe present a new bound on the number of F q -rational places in an algebraic function field. It uses information about the generators of the Weierstrass semigroup related to a rational place. As we demonstrate, the bound has implications to the theory of towers of function fields.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.