proved that [[zeta].sub.F](2), [[zeta].sub.F](4) and [[zeta].sub.F](6) are algebraically independent
. In 2001, Navas  obtained analytic continuation of the Fibonacci Dirichlet series [[zeta].sub.F] (s).
It is easy to see that since A is a set of free generators, the set F is algebraically independent
. Hence, Y is a c-generated semigroup.
For example, if [[chi].sub.1] and [[chi].sub.2] are non-equivalent characters, and the numbers [[alpha].sub.1] and [[alpha].sub.2] are algebraically independent
over Q, then the function L(s, [[chi].sub.1]) L(s, [[chi].sub.2]) [zeta](s, [[alpha].sub.1]) [zeta](s, [[alpha].sub.2]) satisfies the hypotheses of Theorem 8, since a polynomial p(s) has a preimage (1,1,1,p(s)) [member of] [S.sup.2] x [H.sup.2](D), and the algebraic independence of the numbers [[alpha].sub.1] and [[alpha].sub.2] implies the linear independence of the set L(P, [[alpha].sub.1], [[alpha].sub.2]).
We say that two elements a and b of an algebra B are algebraically independent
if P [member of] C[[z.sub.1], [z.sub.2]] is such that P(a, b) = 0 then P [equivalent to] 0.
An extension w, of a valuation v from K to K([X.sub.1],..., [X.sub.n]), symmetric with respect to [X.sub.1],...[X.sub.n], is called symmetrically-open (with respect to [X.sub.1],...[X.sub.n]) if, adding any number of other indeterminates (elements transcendental and algebraically independent
over K([X.sub.1],...[X.sub.n])), [X.sub.n+1],...[X.sub.n+r], there exists a symmetric extension of it to K([X.sub.1],..., [X.sub.n+r]) with respect to [X.sub.1],..., [X.sub.n+r].
For instance, [[summation].sub.G](A) is generic when the [a.sub.ij] are algebraically independent
. We will use GEN to denote the parameter list of an arbitrary generic bigraphical arrangement.
Let O be an open set in K, and let P [member of] O be a polytope with vertex set V which we suppose to be in general position, for instance the coordinates of the vertices are algebraically independent
. (Weaker general position assumptions would also work for our purposes.) For each triple a,b,c [member of] V let R(a, b, c) be the radius of the smallest disk D(a, b, c) in the (unique) plane S(a, b, c) containing a, b, c.
Another approach is to assign algebraically independent
values to the nonzeros (i.e., numbers that are not the roots of any multivariate polynomials with integer coefficients, since such roots form a set of measure zero); see Gilbert .
Moreover Nori [N] (see also [B] for a different approach) proves that, for A generic, [Gr.sup.2](A) is infinitely generated by showing that the cycles [[C.sub.[alpha]]] - [C??] are algebraically independent
, where [C.sub.[alpha]] is the image under an isogeny [r.sub.[alpha]] : j([C'.sub.[alpha]]) [right arrow] A of some Abel-Jacobi embedded curve [C'.sub.[alpha]] in J([C'.sub.[alpha]]).
Let us show that [mathematical expression not reproducible] are algebraically independent
on [c.sup.(m').sub.00] ([C.sup.n]) for every m' [greater than or equal to] m.
Suppose that [[chi].sub.1], ..., [[chi].sub.d] are pairwise non-equivalent Dirichlet characters, the numbers [[alpha].sub.1], ..., [[alpha].sub.r] are algebraically independent
over the field of rational numbers Q, and that rank ([A.sub.j]) = [l.sub.j], j = 1, ..., r.
[X.sub.10], [Y.sub.12], [X.sub.16] are algebraically independent
over F and hence the polynomial Q is uniquely determined.