On symmetric orders and separable algebras

Author:
T. V. Fossum

Journal:
Trans. Amer. Math. Soc. **180** (1973), 301-314

MSC:
Primary 16A16

DOI:
https://doi.org/10.1090/S0002-9947-1973-0318203-1

MathSciNet review:
0318203

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $K$ be an algebraic number field, and let $\Lambda$ be an $R$-order in a separable $K$-algebra $A$, where $R$ is a Dedekind domain with quotient field $K$; let $\Delta$ denote the center of $\Lambda$. A left $\Lambda$-lattice is a finitely generated left $\Lambda$-module which is torsion free as an $R$-module. For left $\Lambda$-modules $M$ and $N, \operatorname {Ext} _\Lambda ^1(M,N)$ is a module over $\Delta$. In this paper we examine ideals of $\Delta$ which are the annihilators of $\operatorname {Ext} _\Lambda ^1(M,\_)$ for certain classes of left $\Lambda$-lattices $M$ related to the central idempotents of $A$, and we compute these ideals explicitly if $\Lambda$ is a symmetric $R$-algebra. For a group algebra, these ideals determine the defect of a block. We then compare these annihilator ideals with another set of ideals of $\Delta$ which are closely related to the homological different of $\Lambda$, and which in a sense measure deviation from separability. Finally we show that, for $\Lambda$ to be separable over $R$, it is necessary and sufficient that $\Lambda$ is a symmetric $R$-algebra, $\Delta$ is separable over $R$, and the center of each localization of $\Lambda$ at the maximal ideals of $R$ maps onto the center of its residue class algebra.

- Maurice Auslander and Oscar Goldman,
*The Brauer group of a commutative ring*, Trans. Amer. Math. Soc.**97**(1960), 367–409. MR**121392**, DOI https://doi.org/10.1090/S0002-9947-1960-0121392-6 - Charles W. Curtis and Irving Reiner,
*Representation theory of finite groups and associative algebras*, Pure and Applied Mathematics, Vol. XI, Interscience Publishers, a division of John Wiley & Sons, New York-London, 1962. MR**0144979** - Shizuo Endo and Yutaka Watanabe,
*On separable algebras over a commutative ring*, Osaka Math. J.**4**(1967), 233–242. MR**227211** - T. V. Fossum,
*Characters and centers of symmetric algebras*, J. Algebra**16**(1970), 4–13. MR**262284**, DOI https://doi.org/10.1016/0021-8693%2870%2990036-0 - H. Jacobinski,
*On extensions of lattices*, Michigan Math. J.**13**(1966), 471–475. MR**204538** - Klaus W. Roggenkamp,
*Projective homomorphisms and extensions of lattices*, J. Reine Angew. Math.**246**(1971), 41–45. MR**274485**, DOI https://doi.org/10.1515/crll.1971.246.41 - Klaus W. Roggenkamp and Verena Huber-Dyson,
*Lattices over orders. I*, Lecture Notes in Mathematics, Vol. 115, Springer-Verlag, Berlin-New York, 1970. MR**0283013**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
16A16

Retrieve articles in all journals with MSC: 16A16

Additional Information

Article copyright:
© Copyright 1973
American Mathematical Society