## ABSTRACT

Let G be a finite group and QG the rational group algebra. It is well known by Maschke’s theorem that QG is a semisimple algebra, then in order to classify these algebras, we compute the Wedderburn decomposition of its rational group algebras. This decomposition became important because of its applications in the theory of group representations, and to determine the units group of ZG. For this classification we use the group table notation of Thomas and

Wood (see [8]). It is easy to prove that if G is decomposable, i.e., G = H1 ×H2, then QG = QH1⊗QH2, and if G = 〈a : an = 1〉 is a cyclic group, then

QG ' ⊕ d|n

Q[x] 〈ϕd(x)〉 '

⊕ d|n Q(ξd),

where ϕd(x) is a dth cyclotomic polynomial. Thus, we are only going to show the Wedderburn decomposition of the group algebras over non abelian indecomposable groups of order greater than or equal to 16 and less than or equal to 32. In general, this decomposition is known for some group families like per-

mutation, dihedral, semidihedral, and quaternion groups (see [1]). In fact, if G = Sn then QG =Mn1(Q)⊕Mn2(Q)⊕ · · · ⊕Mnk(Q) with

and k is the number of conjugacy classes, if G is the dihedral group of order 2n, i.e.,

G = D2n = 〈x, y : xn = 1, y2 = 1, xy = yx−1〉 191

then QG ∼=

where Ad ∼= Q⊕Q if d = 1, 2 and Ad ∼=M2(Q[ξd+ ξ−1d ]) if d > 2, if G is the semidihedral group of order 16n, i.e.,

G = D−16n = 〈x, y : x8n = 1, y2 = 1, xy = yx4n−1〉 then

QG ∼= D8n ⊕

M2(Q[ξd − ξ−1d ]),

where k and m are nonnegative integers with m odd, such that n = 2km, and if G is the quaternion group of order 4n, i.e.,

G = Q4n = 〈x, y : x2n = 1, y2 = xn, xy = yx−1〉 then

QG ∼= QDn ⊕ d=2kr r|m

Q[ξ2d, j],

where k and m are nonnegative integers with m odd, such that n = 2km, j2 = −1 and αj = jα, for all α ∈ Q[ξ2d]. Remark 1. If d = 1, then Q[ξ2d, j] ∼= Q(i) and if d 6= 1, denoting w2d = ξ2d + ξ−12d , we have

Q[ξ2d, j] ∼= Q[w2d][ξ2d − ξ−12d , j] ∼= ( (ξ2d − ξ−12d )2,−1

Q[w2d]

) = ( w22d − 4,−1 Q[w2d]

) .