• 検索結果がありません。

Acta Mathematica Academiae Paedagogicae Ny´ıregyh´aziensis 24 (2008), 221–225 www.emis.de/journals ISSN 1786-0091 THE SPECIAL CIRCULANT MATRIX AND UNITS IN GROUP RINGS

N/A
N/A
Protected

Academic year: 2022

シェア "Acta Mathematica Academiae Paedagogicae Ny´ıregyh´aziensis 24 (2008), 221–225 www.emis.de/journals ISSN 1786-0091 THE SPECIAL CIRCULANT MATRIX AND UNITS IN GROUP RINGS"

Copied!
5
0
0

読み込み中.... (全文を見る)

全文

(1)

Acta Mathematica Academiae Paedagogicae Ny´ıregyh´aziensis 24 (2008), 221–225

www.emis.de/journals ISSN 1786-0091

THE SPECIAL CIRCULANT MATRIX AND UNITS IN GROUP RINGS

JOE GILDEA

Abstract. We introduce a new n×n circulant matrix over Fpk. Under certain conditions, we show that this matrix generates a copy ofCpk−1. We conclude with determining the element of U(FpkCn) that corresponds to this matrix and providing explicit generators forU(FpkC2) whenp6= 2.

1. Introduction

Let Fpk be the Galois field of pk elements where p is a prime. To begin we define a special n×n circulant matrix over Fpk. We show that this matrix generates a copy of Cpk−1 when p does not divide n.

The set of all the invertible elements of a ring S form a group called the unit group of S, denoted by U(S). Let RG denote the group ring G of the group G over the ring R. In [3], an explicit isomorphism between RG and a certain ring of n×n matrices is given. Using this isomorphism we determine the element ofU(FpkCn) that correspond to the above mentioned matrix when pdoes not divide n.

We provide explicit generators for U(FpkC2) when p6= 2, using the special circulant matrix and another matrix. The description of our method allows its straightforward implementation using the LAGUNA package [1] for the GAP system [4].

Definition 1. A circulant matrix over a ringRis a squaren×nmatrix, which takes the form

circ(a1, a2, . . . , an) =





a1 a2 a3 . . . an an a1 a2 . . . an−1 an−1 an a1 . . . an−2

... ... ... ... ...

a2 a3 a4 . . . a1





2000Mathematics Subject Classification. 15A33, 20C05, 16S34.

Key words and phrases. special circulant matrix, group ring, group algebra, unit group.

221

(2)

where ai ∈R.

For further details on circulant matrices see Davis [2].

Let R be a ring and Cn be the cyclic group of order n. There exists an isomorphism between RCn and a certain ring of n×n matrices over R given byσ :

Xn−1

i=0

aixi 7→circ(a0, a1, . . . , an−1). See [3] for further details.

2. The Special Circulant Matrix

Definition 2. Leta∈Fpk wherea generates U(Fpk) and pis a prime. Define the special circulant matrix of ordern overFpk by

Gn = circ(1 + (n1)a,1−a, . . . ,1−a

| {z }

(n−1)−times ).

Example 3. G2 = circ(1 +a,1−a) and G3 = circ(1 + 2a,1−a,1−a).

Proposition 4. Let A = circ(γ, δ, . . . , δ| {z }

(n−1)−times

), where A is a n ×n matrix and

γ, δ∈Fpk and p is a prime. Then |A|= (γ+ (n1)δ)(γ−δ)n−1.

Proof. Let A = circ(γ, δ, . . . , δ), where A is a n ×n matrix and γ, δ Fpk. Then

|A|= (γ+ (n1)δ)

¯¯

¯¯

¯¯

¯¯

1 1 . . . 1 δ γ . . . δ ... ... ... ...

δ δ . . . γ

¯¯

¯¯

¯¯

¯¯

= (γ+ (n1)δ)

¯¯

¯¯

¯¯

¯¯

¯¯

1 0 . . . 0

δ γ−δ . . . 0

δ 0 . . . 0

... ... . .. ...

δ 0 . . . γ−δ

¯¯

¯¯

¯¯

¯¯

¯¯

= (γ+ (n1)δ)(γ−δ)n−1.

¤ Proposition 5. Suppose that p does not divide n. Then

(i) Gn is invertible.

(ii) GnN =nN−1 circ(1 + (n1)aN,1|−aN, . . . ,{z 1−aN}

(n−1)−times ).

(3)

Proof. (i)

|Gn|= (1 + (n1)a+ (n1)(1−a))(1 + (n−1)a(1−a))n−1

= (1 +na−a+n−na−1 +a)(1 +na−a−1 +a)n−1

= (n)(na)n−1

=nnan−1.

ThereforeGn is invertible if pdoes not divide n.

(ii) We prove this by induction on N. Let N = 1, clearly Gn1 = Gn. Now let’s assume that it holds for N =k. i.e.

Gnk =nk−1 circ(1 + (n1)ak,1|−ak, . . . ,{z 1−a}k

(n−1)−times ).

We must show that

Gnk+1 =nk circ(1 + (n1)ak+1,1|−ak+1, . . . ,{z 1−ak+1}

(n−1)−times

).

Gnk+1 =Gnk× Gn1 =

=nk−1





1 + (n1)ak 1−ak 1−ak . . . 1−ak 1−ak 1 + (n1)ak 1−ak . . . 1−ak 1−ak 1−ak 1 + (n1)ak . . . 1−ak

... ... ... . .. ...

1−ak 1−ak 1−ak . . . 1 + (n1)ak





×





1 + (n1)a 1−a 1−a . . . 1−a 1−a 1 + (n1)a 1−a . . . 1−a 1−a 1−a 1 + (n1)a . . . 1−a

... ... ... . .. ...

1−a 1−a 1−a . . . 1 + (n1)a





.

When we multiply these matrices every diagonal entry will be of the form (†) (1 + (n1)ak)(1 + (n1)a) + (n1)(1−ak)(1−a)

and every off diagonal entry has the form

(‡) (1 + (n1)ak)(1−a) + (1−ak)(1 + (n1)a) + (n2)(1−ak)(1−a).

(1 + (n1)ak)(1 + (n1)a) + (n1)(1−ak)(1−a)

= 1 + (n1)a+ (n1)ak+ (n1)2ak+1+ (n1)(1−a−ak+ak+1)

=n+ (n1)2ak+1+ (n1)ak+1

=n+ (n22n+ 1 +n−1)ak+1

=n+ (n2−n)ak+1

=n(1 + (n−1)ak+1).

(4)

(1 + (n1)ak)(1−a) + (1−ak)(1 + (n1)a) + (n2)(1−ak)(1−a)

= 1−a+ (n1)ak(n1)ak+1+ 1 + (n1)a−ak(n1)ak+1 + (n2)(n2)a(n2)ak+ (n2)ak+1

=n+ (−2(n1) + (n2))ak+1

=n+ (−2n+ 2 +n−2)ak+1

=n−nak+1

=n(1−ak+1).

ThereforeGnk× Gn1 =nk circ(1 + (n1)ak+1,1|−ak+1, . . . ,{z 1−ak+1}

(n−1)−times

) =Gnk+1.

¤ Theorem 6. For a prime p which does not divide n, hGni ∼=Cpk−1.

Proof.

Gnpk−1 =npk−2 circ(1 + (n1)apk−1,1|−apk−1, . . . ,{z 1−apk−1}

(n−1)−times

)

=npk−2 circ(1 + (n1).1,11, . . . ,11)

=npk−1In

=In since a generates U(Fpk) and n∈ U(Fpk).

Consider nN−1(1−aN), which is an off diagonal entry ofGnN. NownN−1(1 aN) = 0⇐⇒1−aN = 0 ⇐⇒aN = 1⇐⇒N =pk1 sinceageneratesU(Fpk) and n∈ U(Fpk). Therefore hGni ∼=Cpk−1. ¤ Let An = diagn(a) where a generates U(Fpk) and p is a prime. Clearly hAni ∼=Cpk−1. Also hAni ∩ hGni=In since 1−aN = 0 iff N =pk1.

Corollary 7. Let αn = (1 + (n 1)a) + (1−a) Ãn−1

X

i=1

xi

!

FpkCn where a generates U(Fpk), p is a prime and Cn =hx|xn = 1i. Suppose p-n, then

(i) ni ∼=Cpk−1.

(ii) α2 and a generate U(FpkC2).

Proof. (i) σ(α) =Gn.

(ii) σ(a) =A2,σ(α2) =G2 and h A2,G2i ∼=Cpk−1×Cpk−1. ¤ References

[1] V. Bovdi, A. Konovalov, R. Rossmanith, and C. Schneider. Laguna – lie algebras and units of group algebras. http://www.cs.st-andrews.ac.uk/ alexk/laguna.htm, 2007. Ver- sion 3.4.

[2] P. J. Davis. Circulant matrices. John Wiley & Sons, New York-Chichester-Brisbane, 1979. A Wiley-Interscience Publication, Pure and Applied Mathematics.

(5)

[3] T. Hurley. Group rings and rings of matrices.Int. J. Pure Appl. Math., 31(3):319–335, 2006.

[4] The GAP Group. Gap – groups, algorithms, and programming. http://www.gap- system.org, 2007. Version 4.4.10.

Received February 28, 2008.

Department of Mathematics, National University of Ireland, Galway,

IRELAND

E-mail address: [email protected]

参照

関連したドキュメント

The terms “strong route” and “weak route” lead strong edge and weak edge of a vague graph respectively and the permission of crossing between strong and weak edges leads to

The fundamental function F restricted to a tangent space is closely related to the concept of a norm on a real vector space, so F (v) may be called as the Finslerian norm or

¤ Now, we are in a position to generalize some results of Oznur Golbasi and Neset Aydin [9] and Mohammad, Ashraf., Ali, Asma and Ali, Sakir [1] in Prime Γ-near rings.... Let N have

In particular, as an application of this fact, we shall show that, if the hh-curvature of the Berwald connection D vanishes identically, then the given Finsler metric induces a

Riemannian tangent bundle, Levi-Civita, Schouten-Van Kampen and Vr˘ anceanu connections, vertical foliation, horizontal distribution, foliations with bundle-like met- ric,

In this paper we deal with µ-good/bad/fixed/free vertices and present results on upper and lower acyclic numbers in graphs having

The present results extend to the framework of tangent manifolds our previous results on framed structures of the tangent bundles of Finsler or Lagrange manifolds, see [1],

Pant ([4, Theorem 2 and Theorem 3]) used the notion of R - weak commutativity of type (A g ) and proved common fixed point theorems for a pair of maps which are discontinuous at