1: \begin{abstract}
2: Given any family of cubic fields defined by local conditions at finitely many primes,
3: we determine the mean number of 2-torsion elements in the class
4: groups and narrow class groups of
5: these
6: cubic fields, when they are ordered by their absolute discriminants.
7:
8: For
9: an order $\O$ in a cubic field, we
10: study the three
11: groups: $\Cl_2(\O)$, the group of ideal classes
12: of $\O$ of order 2;
13: $\Cl^+_2(\O)$, the group of narrow ideal classes
14: of $\O$ of order 2;
15: and~$\I_2(\O)$, the group of ideals of $\O$ of order 2.
16: We prove
17: that the mean value of the difference $|\Cl_2(\O)|-\frac{1}{4}|\I_2(\O)|$ is always equal to 1, regardless
18: of whether one averages over the maximal orders in real cubic
19: fields, over all orders in real cubic fields, or indeed over {\it any}
20: family of real cubic orders defined by local conditions. For the narrow
21: class group, we prove that the average value of the difference
22: $|\Cl^+_2(\O)|-|\I_2(\O)|$ is equal to 1 for any such family. Also, for any family
23: of complex cubic orders defined by local conditions, we prove
24: similarly that the mean value of the difference $|\Cl_2(\O)|-\frac{1}{2}|\I_2(\O)|$ is always equal to 1,
25: independent of the family.
26:
27: The determination of these mean numbers allows us to prove a number
28: of further results as by-products. Most notably, we prove---in
29: stark contrast to the case of quadratic fields---that: 1) a positive proportion of cubic fields
30: have {\it odd} class number;
31: 2) a positive proportion of real cubic fields have
32: isomorphic 2-torsion in the class group and
33: the narrow class group; and 3) a positive proportion of real
34: cubic fields contain units of mixed real signature.
35: We also show that a positive proportion of real cubic fields have narrow class group strictly larger than the class
36: group, and thus a positive proportion of real cubic fields do not possess units of every possible real
37: signature.
38: \end{abstract}
39: