ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION...

7
I nternat. J. Math. & th. Sci. Vol. (1978)433-438 433 ON SEPARABLE EXTENSIONS OF GROUP RINGS AND QUATERNION RINGS GEORGE SZETO Mathematics Department Bradley University Peoria, Illinois 61625 U.S.A. (Received November 29, 1977) ABSTRACT. lqe purposes of the present paper are (i) to give a necessary and sufficient condition for the uniqueness of the separable idempotent for a separable group ring extension RG (R may be a non-commutative ring), and (2) to give a full description of the set of separable idempotents for a qua- ternion ring extension RQ over a ring R, where Q are the usual quaternions i,j,k and multiplication and addition are defined as quaternion algebras over a field. We shall show that RG has a unique separable idempotent if and only if G is abelian, that there are more than one separable idempotents for a separable quaternion ring RQ, and that RQ is separable if and only if 2 is invertible in No KEY WORDS AND PHRASES. Group Rings, Idempotents in Rings, Separable Algebras AMS (MOS) SUBJECT CLASSIFICATION (1970) CODES. Major: 16A26 Minor: 16A16, 16A32

Transcript of ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION...

Page 1: ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION RINGSdownloads.hindawi.com/journals/ijmms/1978/907834.pdf · 438 G. SZETO RQ is a subset of C such that r11 I/4 and rIi’ rlj’ rlk

Internat. J. Math. & th. Sci.Vol. (1978)433-438

433

ON SEPARABLE EXTENSIONS OF GROUP RINGS AND QUATERNION RINGS

GEORGE SZETOMathematics Department

Bradley UniversityPeoria, Illinois 61625 U.S.A.

(Received November 29, 1977)

ABSTRACT. lqe purposes of the present paper are (i) to give a necessary and

sufficient condition for the uniqueness of the separable idempotent for a

separable group ring extension RG (R may be a non-commutative ring), and

(2) to give a full description of the set of separable idempotents for a qua-

ternion ring extension RQ over a ring R, where Q are the usual quaternions i,j,k

and multiplication and addition are defined as quaternion algebras over a field.

We shall show that RG has a unique separable idempotent if and only if G is

abelian, that there are more than one separable idempotents for a separable

quaternion ring RQ, and that RQ is separable if and only if 2 is invertible in

No

KEY WORDS AND PHRASES. Group Rings, Idempotents in Rings, Separable Algebras

AMS (MOS) SUBJECT CLASSIFICATION (1970) CODES. Major: 16A26 Minor: 16A16,16A32

Page 2: ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION RINGSdownloads.hindawi.com/journals/ijmms/1978/907834.pdf · 438 G. SZETO RQ is a subset of C such that r11 I/4 and rIi’ rlj’ rlk

4 34 Go SZETO

INTRODUCTION.

M. Auslander and O. Goldman ([I] and [2]) studied separable alge-

bras over a commutative ring. Subsequently, the investigation of se-

parable algebras (in particular, Brauer groups and Azumaya algebras)

has attracted a lot of researchers, and rich results have been obtained

(see References). K. Hirata and K. Sugano ([5]) generalized the con-

cept of separable algebras to separable ring extensions; that is, let

S be a subring of a ring T with the same identity. Then T is called a

separable ring extension of S if there exists an element aibiin

TST such that x([aibi) ([aibi)x for each x in T and [aibiI.

Such an element aibiis called a separable idempotent for T. We

note that a separable idempotent takes an important role in many theo-

reins (for example, see [6], Section 5,6, and 7). It is easy to verify

that (I/n)(gig1) and ei1eli ([4], Examples II and III, P. 41)

are separable idempotents for a group algebra RG and a matrix ring M (R)m

{ } with n invertible in R and e.. arerespectively, where G gl,...,gn m3

matrix units. We also note that the separable idempotent for a commu-

tative separable algebra is unique ([6], Section I, P. 722).

2. PRELIMINARIES.

Throughout, G is a group of order n, R is a ring with an identity

I. The group ring RG rigi/ r

iin R and gi in G}, which is a free

R-module with a basis {gi and (rigi)(sigi) tkgkwhere t

k

ris jfor all possible i,j such that gig j gk" The ring R is imbed-

ded in RG by r-rgl, where gl is the identity of G (gl I). The mul-

tiplication map RGRRG--RG is denoted by . Clearly, {gigj / i,j

Page 3: ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION RINGSdownloads.hindawi.com/journals/ijmms/1978/907834.pdf · 438 G. SZETO RQ is a subset of C such that r11 I/4 and rIi’ rlj’ rlk

SEPARABLE EXTENSIONS OF RINGS 435

,... ,n form a basis for RGRRG. An element rij in RGRRGis called a commutant element in RGRRG if x(rij (gigj))(rij(gigj))x for all x in RG.

MAIN THEOREMS.

We begin with a representation for (x) for a commutant element x

in RGRRG and then we show that RG has a unique separable idempotent

if and only if G is abelian.

LEMMA I. Let x ri.i (gig.i )’ i,j 1,...,n, be a commutant e!e-

ment in RGRRG. Then (x) i=ml . rlk: )nk. Ck. where m is the numberI i i

of conjugate classes of G, nk. is the order of the normalizer of gk.’

and Ck

is the sum of different conjugate elements of --., for some k.1 i

and k: in {1,...,n.1

gpX in G.PROOF. Since x is a commutant element, xg for each gpP

gpgk x is rlk, and the coefficient ofThe coefficient of the term in gpgp gqgp gk" Hence rlk rpq wheneverthe same term in x is rpq, where

gqgp gk" Thus x krlk(gpgq), where p,q run over 1,...,n, such

-I). TakingS(x)that gqgp gk; that is, x krlk(pgpgkgp-I

nkCk where nk

is the-I). For a fixed k pgpgkgporder of the normalizer of Sk

and Ck

is the sum of all different conju-

gate elements of gk" Hence ,(x) k=]rknkCk. Since conjugate class-

es form a partition of G, Ci

C. if and only if gi is conjugate to gj.Renumerating elements we let [gkl’’’’gkm} be all non-conjugate ele-

ments of each other; then {Ck ,...,Ck } are all different elements inmm

the set, {CI,...,Cn}. Thus (x) i:i (rlk :)nk.Ck. where rlk are

coefficients of the same Ck., and m is the number of conjugate classes

Page 4: ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION RINGSdownloads.hindawi.com/journals/ijmms/1978/907834.pdf · 438 G. SZETO RQ is a subset of C such that r11 I/4 and rIi’ rlj’ rlk

4 36 G. SZETO

of G.

THEOREM 2. Let RG be a separable extension of R. Then, RG has a

unique separable idempotent if and only if @ is abelian.

PROOF. Let x Zrij(gig j) be a separable idempotent for RO.

m)nk. Ck. where C is the sum oThen by the lemma, (x) i:I (rlk! k.

I i ! i

all conjugate elements of g.. Let gk I, the identity of G. Thenm

Ckl and nkl

n, the order of G. Since (x) 1, (rlkl)nkl Ckland (rlk)nk

and (rlk,)nk Ck

0 for each i 1. Totingkl i i i

that Ckl I, we have rlk r11 and so the first equation becomes

rlln . Hence the order of G, n, is invertible in R. Thus nk., bemng

a factor of n, is also invertible in R. But conjugate classes form a

partition of G, so (rlk,)nk.C,.. 0 implies that rlk 0 for eachI 1 I i

i I. This system of homogeneous equations rlk 0 in the unknowns1

rlk with i 6 has trivial solutions if and only if n m, and this

holds if and only if G is abelian. Since the uniqueness of the separ-

able idempotent (= (I/n)(gig1)) is equivalent to the existence of

trivial solutions of the above system of equations, the same fact is equi-

valent to G being abelian.

The theorem tells us that there are many separable idempotents for

a separable group ring RG when G is non-abelian. Also, we remark that

if RG is a separable extension of R, the order of G is invertible in R

from the proof of the theorem. Next, we discuss another popular separ-

able ring extension, a quaternion ring extension RQ, where RQ

(r1+rii+rjj+rkk / i,j, and k are usual quaternions). (RQ,+.) is a ring

extension of R under the usual addition and multiplication similar to

quaternion algebras over a field. Now we characterize a separable idem-

Page 5: ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION RINGSdownloads.hindawi.com/journals/ijmms/1978/907834.pdf · 438 G. SZETO RQ is a subset of C such that r11 I/4 and rIi’ rlj’ rlk

SEPARABLE EXTENSIONS OF RINGS 437

potent for a separable quaternion ring extension RQ.

THEOREM 3. Let RQ be a separable quaternion ring extension. Then

a commutant element x rst(St), s,t 1,i,j,k, in RQRRQ is a separ-

able idempotent for RQ if and only if r11 I/4.

PROOF. Since x is a commutant element in RQRQ, ix xi. The co-

efficients of the term 191 on both sides are -ril and -rli so ril rli.Since jx xj, the coefficients of the term k1 on both sides are -ril

r Also, kx xk, so the coefficients of the term j1-rkj so ril k0on both sides are -ril rjk. Hence rli ril rkj -rjk. Similarly,

by comparing coefficients of other terms, we have r11 -rii -rjj

-rkk rlj rjl -rki rik and rlk rkl -rij rji. In other words,

rst rpq if ts qp, and rst -rpq if ts -qp. Thus

x r (11-ii-jj-kk)+rli( 1i+i1-jk+kj)+rlj(1j+j1-ki+ik)+rIk 1k+k -ij+ ji *

But then (x) r114+rliO+rljO+rlkO 4r11. Consequently, x is a se-

parable idempotent if and only if r11 I/4 (for (x) I).

COROLLARY 4. Let RQ be a quaternion ring extension of R. Then RQ

is separable if and only ,if 2 is invertible in R.

PROOF. The necessity is immediate from the theorem. The sufficien-

cy is clear since the element x with r11 I/4, rli rlj rlk 0 as

given in (*) in Theorem 3 is a separable idempotent for RQ.

REMARK. It is easy to see that every x of the form (*) in Theorem

3 with r11 rli rlj and rlk in the center of R is a commutant element

in RQRRQ. Hence, from the proof of Theorem 3, the complete set of corn-

mutant elements is- C (rst(St) / r r if qp ts, and rst pq st

-r if qp -ts}. Also, the complete set of separable idempotents forPq

Page 6: ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION RINGSdownloads.hindawi.com/journals/ijmms/1978/907834.pdf · 438 G. SZETO RQ is a subset of C such that r11 I/4 and rIi’ rlj’ rlk

4 38 G. SZETO

RQ is a subset of C such that r11 I/4 and r

Ii’ rlj’ rlkcenter of R. Thus there are many separable idempotents.

are in the

REFERENCES

I. Auslander, M. and O. Goldman. The Brauer Group of a CommutativeRing, Trans. Amer. Math. Soc. 97 (1960) 367-409.

2. Auslander, M. and O. Goldman. Maximal Orders, Trans. Amer. Math.So__c. 97 (1960) 1-24.

3. Bass, H. Lectures on Topics in Algebraic K-Theory, Tata Instituteof. Fundamental Research, Bombay, 1967.

4. DeMeyer, F. and E. Ingraham. Separable Algebras Over CommutativeRings, Springer-Verlag, Berlin-Heidelberg-New York, 181, 1971.

5. Hirata, K. and K. Sugano. On Semisimple Extensions and SeparableExtensions over Non-Commutative Rings, J. Math. Soc. Japan-18(1966) 360-373.

6. Villamayor, O. and D. Zelinsky. Galois Theory for Rings with Finite-ly Many Idempotents, Nagoya Math. J. 27 (1966) 721-731.

7. Zelinsky, D. Brauer Groups, Springer-Verlag, Berlin-Heidelberg-New York, 549, 1976.

Page 7: ON SEPARABLEEXTENSIONS OFGROUP AND QUATERNION RINGSdownloads.hindawi.com/journals/ijmms/1978/907834.pdf · 438 G. SZETO RQ is a subset of C such that r11 I/4 and rIi’ rlj’ rlk

Submit your manuscripts athttp://www.hindawi.com

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporationhttp://www.hindawi.com

Differential EquationsInternational Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex AnalysisJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

OptimizationJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Operations ResearchAdvances in

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Algebra

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Decision SciencesAdvances in

Discrete MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com

Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic AnalysisInternational Journal of