zbMATH — the first resource for mathematics

Skew group rings and maximal orders. (English) Zbl 0830.16018
Let \(S\) be a prime Noetherian ring and let \(G\) be a finite group acting on \(S\) such that \(G\) is \(X\)-outer. Let \(T=S*G\) be the skew group ring and let \(\Omega_0\) be the set of reflexive height-1 \(G\)-prime ideals of \(S\). In the main theorem it is proved that if (a) \(S\) is a \(G\)-maximal order (i.e. an order which is not properly contained in any \(G\)-invariant order to which it is equivalent), and (b) \(p_0 T\) is a prime ideal of \(T\) for all \(p_0\) in \(\Omega_0\), then \(T\) is a prime maximal order. Conversely, if \(T\) is a (prime) maximal order and the order of \(G\) is a unit in \(S\) then (a) and (b) both hold. An example is given to show that the restriction on the order of \(G\) is necessary. In order to prove this theorem the author develops a theory of \(G\)-maximal orders analogous to that for maximal orders. Now let \(S\) be commutative and for each \(1\neq g\in G\) define \(I(G)\) to be the ideal of \(S\) generated by the set \(s-s^g\) (\(s\in S\)). Then it is proved that \(T\) is a prime maximal order if and only if \(S\) is integrally closed and there does not exist \(1 \neq g\in G\) and a height-1 prime ideal \(p\) in \(S\) such that \(I(g)\subseteq p\). E. Nauwelaerts and F. Van Oystaeyen [J. Algebra 101, 61-68 (1986; Zbl 0588.16002)] have given sufficient conditions for a ring \(R\) strongly graded by a finite group \(G\), with the order of \(G\) a unit in \(R\), to be a tame order.

16S35 Twisted and skew group rings, crossed products
16H05 Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.)
16P40 Noetherian rings and modules (associative rings and algebras)
16D25 Ideals in associative algebras
Full Text: DOI
[1] DOI: 10.2748/tmj/1203529242 · Zbl 0316.16026 · doi:10.2748/tmj/1203529242
[2] Goodearl, An introduction to noncommutative Noetherian rings (1989) · Zbl 0679.16001
[3] DOI: 10.1016/0021-8693(77)90185-5 · Zbl 0347.16003 · doi:10.1016/0021-8693(77)90185-5
[4] DOI: 10.1016/0021-8693(81)90318-5 · Zbl 0468.16008 · doi:10.1016/0021-8693(81)90318-5
[5] DOI: 10.1006/jabr.1994.1056 · Zbl 0803.16027 · doi:10.1006/jabr.1994.1056
[6] DOI: 10.1112/jlms/s2-3.4.645 · Zbl 0214.05301 · doi:10.1112/jlms/s2-3.4.645
[7] Reiner, Maximal orders (1975)
[8] Passman, The algebraic structure of group rings (1977) · Zbl 0368.16003
[9] Passman, Infinite crossed products (1989) · Zbl 0662.16001
[10] DOI: 10.1016/0021-8693(86)90096-7 · Zbl 0588.16002 · doi:10.1016/0021-8693(86)90096-7
[11] Müller, Pacific J. Math. 67 pp 233– (1976) · Zbl 0333.16005 · doi:10.2140/pjm.1976.67.233
[12] DOI: 10.1007/BFb0090774 · doi:10.1007/BFb0090774
[13] McConnell, Noncommutative Noetherian rings (1987) · Zbl 0644.16008
[14] DOI: 10.1016/0021-8693(84)90178-9 · Zbl 0541.16013 · doi:10.1016/0021-8693(84)90178-9
[15] DOI: 10.1016/0021-8693(72)90007-5 · Zbl 0241.16003 · doi:10.1016/0021-8693(72)90007-5
[16] DOI: 10.1016/0021-8693(70)90042-6 · Zbl 0211.05701 · doi:10.1016/0021-8693(70)90042-6
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.