Hostname: page-component-76fb5796d-45l2p Total loading time: 0 Render date: 2024-04-30T02:04:11.198Z Has data issue: false hasContentIssue false

Invertible powers of ideals over orders in commutative separable alǵebras

Published online by Cambridge University Press:  24 October 2008

Michael Singer
Affiliation:
King's College, London

Extract

The purpose of this paper is to obtain quantitative results on invertible powers of (fractional) ideals in commutative separable algebras over dedekind domains. This is connected with the work of Dade, Taussky and Zassenhaus(2) on ideals in noetherian domains. We do not, however, make use of their paper, but rather draw on the general theorems on ideals in commutative separable algebras established by Fröhlich (3), in particular his qualitative result that some power of any given ideal is invertible. Our basic result (Theorem 1) concerns the invertibility of powers of a particular type of ideal, the componentwise dedekind ideals defined below. From this we deduce a general result (Theorem 2), which includes as a special case Theorem C of (2) for the case of separable field extensions; specifically, the (n – 1)th power of any ideal is invertible, where n is the dimension of the algebra. Although, as we show, it is possible to deduce Theorem 2 from (2), we have here an independent proof of one of the main results of (2) based entirely on the results in (3). As a further application of Theorem 1 we obtain a new result on ideals over the group ring of an abelian group over the ring of rational integers; the (t – 1)th power of such an ideal is invertible, where t is the maximum number of simple components of the rational group algebra of any Sylow subgroup. We also show that this is the best possible result when some Sylow subgroup whose rational group algebra has t components is cyclic.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1970

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

(1)Cassels, J. W. S. and Fröhlich, A.Algebraic Number Theory, Chapter I (Academic Press, 1967).Google Scholar
(2)Dade, E. C., Taussky, O. and Zassenhaus, H.On the theory of orders, in particular on the semigroups of ideal classes and genera of an order in an algebraic number field. Math. Ann. 148 (1962), 3164.CrossRefGoogle Scholar
(3)Fröhlich, A.Invariants for modules over comniutative separable orders. Quart. J. Math. Oxford (Ser. 2) 16 (1965), 193232.Google Scholar
(4)Heller, A. and Reiner, I.Representations of cyclic groups in rings of intergers, I. Ann. of Math. 76 (1962), 7392.Google Scholar