Recall that the ordinary class group of K is defined as the quotient where IK is the group of fractional ideals of K, and PK is the subgroup of principal fractional ideals of K, that is, ideals of the form aOK where a is an element of K. The narrow class group is defined to be the quotient where now PK+ is the group of totally positive principal fractional ideals of K; that is, ideals of the form aOK where a is an element of K such that σ(a) is positive for every embedding The narrow class group features prominently in the theory of representing integers by quadratic forms.
An example is the following result (Fröhlich and Taylor, Chapter V, Theorem 1.25).
For example, one can prove that the quadratic fields Q(√−1), Q(√2), Q(√−3) all have trivial narrow class group.
Then, by choosing appropriate bases for the integers of each of these fields, the above theorem implies the following: An example that illustrates the difference between the narrow class group and the usual class group is the case of Q(√6).
Because the class group is trivial, the following statement is true: However, this statement is false if we focus only on p and not −p (and is in fact even false for p = 2), because the narrow class group is nontrivial.