Skip to main content
Alex B.'s user avatar
Alex B.'s user avatar
Alex B.'s user avatar
Alex B.
  • Member for 14 years, 3 months
  • Last seen this week
comment
A table for irreducible integral representation of finite cyclic groups
You mean indecomposable, rather than irreducible. And you are implicitly talking about the $\mathbb{Z}$-free ones.
awarded
comment
Application of Stickelberger's Theorem to Quadratic field
...trivial. Indeed, the automorphism group of $C_2\times C_2$ is isomorphic to ${\rm GL}_2(\mathbb{F}_2)\cong S_3$, and if $\tau$ is an element of order 2 in the automorphism group, then $\text{id}+\tau$ does not kill $C_2\times C_2$. So it follows from Stickelberger that the non-trivial Galois element cannot correspond to an element of order 2 in the automorphism group of $C_2\times C_2$, therefore it must correspond to the identity automorphism. In general, Stickelberger tells you something about the structure of the class group as a Galois module.
comment
Application of Stickelberger's Theorem to Quadratic field
In your example, the non-trivial Galois element acts trivially on the class group. Indeed, every non-trivial element of the class group has order 2, and so every element is its own inverse. But the Galois group sends an ideal to its conjugate, which is its inverse in the class group (since the product of an ideal and its conjugate is the norm of the ideal, which is principal). So in your example Stickelberger says that multiplication by 2 kills the class group. A better way of looking at this is that it is Stickelberger who tells you that the action of the Galois group on the class group is...
comment
Covering finite groups by kernels
Did you mean "kernel of some epimorphism $H\rightarrow G$"?
reviewed
Approve
revised
Loading…
comment
How do you decide whether a question in abstract algebra is worth studying?
@ToddTrimble: there wasn't, and I am therefore rolling it back.
awarded
awarded
answered
Loading…
awarded
awarded
awarded
answered
Loading…
revised
Loading…
Loading…
comment
Is a number field uniquely determined by the primes which split in it?
See also mathoverflow.net/questions/80403/… and mathoverflow.net/questions/92637/… (the latter being the analogue for general étale $\mathbb{Q}$-algebras in place of fields).
Loading…
1
11 12
13
14 15
45