Non-Noetherian groups and primitivity of their group algebras

Abstract: We prove that the group algebra

K G

of a group

G

over a field

K

is primitive, provided that

G

has a free subgroup with the same cardinality as

G

, and that

G

satisfies the following condition

(a s t)

: for each subset

M

of

G

consisting of a finite number of elements not equal to

1

, and for any positive integer

m

, there exist distinct

a

,

b

, and

c

in

G

so that if

(x_{1}^{- 1} g_{1} x_{1}) c d o t s (x_{m}^{- 1} g_{m} x_{m}) = 1

, where

g_{i}

is in

M

and

x_{i}

is equal to

a

,

b

, or

c

for all

i

between

1

and

m

, then

x_{i} = x_{i + 1}

for some

i

. This generalizes results of cite{Bal}, cite{For}, cite{Ni07}, and cite{Ni11}, and proves that, for every countably infinite group

G

satisfying

(a s t)

,

K G

is primitive for any field

K

. We use this result to determine the primitivity of group algebras of one relator groups with torsion.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Non-Noetherian groups and primitivity of their group algebras