Results 1 to 2 of 2

Math Help - A Certain Integral Closure

  1. #1
    Junior Member
    Joined
    Aug 2012
    From
    Sweden
    Posts
    37
    Thanks
    1

    A Certain Integral Closure

    I have a bunch of assertions without motivation which I'm trying to sort out.

    Let H be a subgroup of S_n, [; A = k[x_1,...,x_n] ;], and [; \sigma_i ;] the elementary symmetric polynomials. The assertions are:

    i) A_H is defined as the integral closure of [; k[\sigma_1,...,\sigma_n] ;] in [; k(x_1,...,x_n)^H ;], and [; A_H = k[x_1,...,x_n] \cap k(x_1,...,x_n)^H ;].

    ii) [; k(x_1,...,x_n)^H ;] is the field of fractions of A_H, "i.e." [; k(x_1,...,x_n)^H = A_H[1/k[\sigma_1,...,\sigma_n]] ;].

    Alright, so about the first assertion, that A_H is the intersection. This intersection contains only polynomials, i.e. we must have [; k[x_1,...,x_n] \cap k(x_1,...,x_n)^H \subset k[x_1,...,x_n] ;], so we can simply consider the intersection [; k[x_1,...,x_n] \cap k[x_1,...,x_n]^H ;], which must be [; k[x_1,...,x_n]^H ;]. I've no idea how to show or see that [; k[x_1,...,x_n]^H ;] is the supposed integral closure, but let's leave it at that for the moment.

    Second assertion. What the notation [; A_H[1/k[\sigma_1,...,\sigma_n]] ;] means I have no idea; my guess is that it's the set [; \{ f/g \mid f \in A_H, g \in k[\sigma_1,...,\sigma_n] \} ;]. If this is the case, how do I verify it? Because I would have thought that Frac A_H = k(x_1,...,x_n)^H?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    16,421
    Thanks
    1856

    Re: A Certain Integral Closure

    Quote Originally Posted by spudwish View Post
    I have a bunch of assertions without motivation which I'm trying to sort out.

    Let H be a subgroup of S_n,  A = k[x_1,...,x_n] , and  \sigma_i the elementary symmetric polynomials. The assertions are:

    i) A_H is defined as the integral closure of  k[\sigma_1,...,\sigma_n] in  k(x_1,...,x_n)^H , and  A_H = k[x_1,...,x_n] \cap k(x_1,...,x_n)^H .

    ii)  k(x_1,...,x_n)^H is the field of fractions of A_H, "i.e."  k(x_1,...,x_n)^H = A_H[1/k[\sigma_1,...,\sigma_n]] .

    Alright, so about the first assertion, that A_H is the intersection. This intersection contains only polynomials, i.e. we must have  k[x_1,...,x_n] \cap k(x_1,...,x_n)^H \subset k[x_1,...,x_n] , so we can simply consider the intersection  k[x_1,...,x_n] \cap k[x_1,...,x_n]^H , which must be  k[x_1,...,x_n]^H . I've no idea how to show or see that  k[x_1,...,x_n]^H is the supposed integral closure, but let's leave it at that for the moment.

    Second assertion. What the notation  A_H[1/k[\sigma_1,...,\sigma_n]] means I have no idea; my guess is that it's the set  \{ f/g \mid f \in A_H, g \in k[\sigma_1,...,\sigma_n] \} . If this is the case, how do I verify it? Because I would have thought that Frac A_H = k(x_1,...,x_n)^H?
    I have replaced your [; and ;] with "tex" and "/tex".
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. integral closure in finite field extensions
    Posted in the Number Theory Forum
    Replies: 0
    Last Post: March 20th 2013, 05:01 AM
  2. integral closure of Z in Q(i)
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 12th 2012, 12:07 PM
  3. integral closure of Z[2i]?
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 21st 2011, 03:28 AM
  4. Relation between topological closure and algebraic closure
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: November 4th 2010, 03:45 PM
  5. Integral Closure and the Incompatibility Property
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 4th 2009, 11:01 PM

Search Tags


/mathhelpforum @mathhelpforum