Return to Answer

minor

Source Link

edited Mar 19, 2010 at 14:39

8.5k
3
51
65

I'm not sure how to answer the more philosophical question (it's likely you could encode enough of the axioms to force the purely group-theoretic version of the question to be true, but to ask whether that's what's "really" going on....), but it's certainly not true for all pairs of groups that fit in a similar commutative diagram -- in fact, it's not even true for all such pairs of groups coming from similar questions in algebraic number theory. For example, instead of taking the maximal abelian extension of $K$, take the maximal abelian extension of $K$ which is unramified outside of a set of primes, or split completely at a set of primes, or both -- and you'll getpick up a kernel to theyou transfer map (see Gras, Class Field Theory for some specific calculations of kernels like this). A very relevant related topic worth bringing up is the theorem of Gruenberg-Weiss, which gives an impressively vast generalization of the group-theoretic (and hence the ideal-theoretic) principal ideal theorem entirely in terms of kernels of related transfer maps.

I'm not sure how to answer the more philosophical question (it's likely you could encode enough of the axioms to force the purely group-theoretic version of the question to be true, but to ask whether that's what's "really" going on....), but it's certainly not true for all pairs of groups that fit in a similar commutative diagram -- in fact, it's not even true for all such pairs of groups coming from similar questions in algebraic number theory. For example, instead of taking the maximal abelian extension of $K$, take the maximal abelian extension of $K$ which is unramified outside of a set of primes, or split completely at a set of primes, or both -- and you'll get a kernel to the transfer map (see Gras, Class Field Theory for some specific calculations of kernels like this). A very relevant related topic worth bringing up is the theorem of Gruenberg-Weiss, which gives an impressively vast generalization of the group-theoretic (and hence the ideal-theoretic) principal ideal theorem.

I'm not sure how to answer the more philosophical question (it's likely you could encode enough of the axioms to force the purely group-theoretic version of the question to be true, but to ask whether that's what's "really" going on....), but it's certainly not true for all pairs of groups that fit in a similar commutative diagram -- in fact, it's not even true for all such pairs of groups coming from similar questions in algebraic number theory. For example, instead of taking the maximal abelian extension of $K$, take the maximal abelian extension of $K$ which is unramified outside of a set of primes, or split completely at a set of primes, or both -- and you'll pick up a kernel to you transfer map (see Gras, Class Field Theory for some specific calculations of kernels like this). A very relevant related topic worth bringing up is the theorem of Gruenberg-Weiss, which gives an impressively vast generalization of the group-theoretic (and hence the ideal-theoretic) principal ideal theorem entirely in terms of kernels of related transfer maps.

Source Link

created Mar 19, 2010 at 13:49

Cam McLeman

8.5k
3
51
65

I'm not sure how to answer the more philosophical question (it's likely you could encode enough of the axioms to force the purely group-theoretic version of the question to be true, but to ask whether that's what's "really" going on....), but it's certainly not true for all pairs of groups that fit in a similar commutative diagram -- in fact, it's not even true for all such pairs of groups coming from similar questions in algebraic number theory. For example, instead of taking the maximal abelian extension of $K$, take the maximal abelian extension of $K$ which is unramified outside of a set of primes, or split completely at a set of primes, or both -- and you'll get a kernel to the transfer map (see Gras, Class Field Theory for some specific calculations of kernels like this). A very relevant related topic worth bringing up is the theorem of Gruenberg-Weiss, which gives an impressively vast generalization of the group-theoretic (and hence the ideal-theoretic) principal ideal theorem.