International Journal of Scientific & Engineering Research, Volume 1, Issue 2, November-2010 1

ISSN 2229-5518

Ideals in Group algebra of Heisenberg Group

M. L. Joshi

Abstract— In spectral theory ideals are very important. We derive the relation between non commutative and commutative
algebra by a transformation which is associated to the semi-direct product of groups. We obtain and classify the ideal in
L1 -algebra of Heisenberg group.
Index Terms— Heisenberg group, Ideals in L1 -algebra of the Heisenberg group, Semi-direct product.
—————————— ——————————

1 INTRODUCTION

W E recall some definitions. = ((a, b) + (a’+b’c ,b’); c + c’)

= ((a+a’+b’c , b+b’); c + c’)
Where c (a’,b’) = (c) (a’,b’)
(1.4)

Definition 1.1: The Heisenberg group is the group of

By mean of group isomorphism :G H n defined by
1 a b
1 a b
3 X 3 upper triangular matrices of the form 0 1 c
((c, b); a ) 0 In c the group Hn with the
0 0 1
0 0 1
Definition 1.2: For ,b ,c and I n ( Iden-
n n
a
group G can be identified.
tity matrix of order n), the Heisenberg group of dimension 1
Definition 1.3: Let L (M) be the Banach algebra that con-
2n 1 is the group of upper triangular matrices of the sists of all complex valued functions on the group M - an
1 a b unimodular Lie group, which are integrable with respect
form 0 In c (1.1) to the Harr measure of M and multiplication is defined by
convolution on M.
0 0 1
Let us denote the restriction of L1 (M) on any
Let ) is the group of all automorphisms of
n 1
Aut( subgroup N of M by L1 (M)|N. Then
n 1
then for any
n
a ( a1 , a2 ,...an ) 1
L M |N F |N : F L1 M where F |N is the re-
n
b (b1 , b2 ,...bn ) n
, c and ab ai bi , de- striction of the function F on N.
i 1
n
fine be the group of semi direct
n 1
G 2 PRILIMINARIES.
n 1 n
product of and by the group homomorphism Let J is real vector group which is direct product of
n 1

: n
Aut( n 1
) which is defined by, and
n
and K is real vector group which is direct prod-
(a) (b,c)= (b + ac , c) (1.2) uct of G and
n
then the group G can be identified with
The inverse of an element in G is defined by the closed subgroup G x {0} of K and J can be identified
For X= ((a, b); c) G, with the closed subgroup
n 1
{0}x
n
of K.
X 1 = ((a, b); c) 1 n 1 n n
Let L = x x be the group of the direct
= ( c( a, b); c)
n 1 n n
= (( a + bc, b); c) (1.3) product of , and .
Where c( a, b) = ( c) ( a, b) The inverse of element X in L is defined by
For X = ((a, b); c,d) L,
The multiplication of two elements X and Y in G is de-
fined by X 1 = ((a, b); c, d) 1
For X = ((a, b); c) , Y = ((a’, b’); c’) G, = ( d ( a, b); c, d)
= ( a+bd, b); c, d) (2.1)
X · Y = ((a, b); c) ((a’, b’); c’)
= ((a, b) + c(a’, b’); c + c’) Where d ( a, b)= ( d) ( a, b)
IJSER © 2010
http://www.ijser.org
International Journal of Scientific & Engineering Research, Volume 1, Issue 2, November -2010 2
ISSN 2229-5518

The multiplication of two elements X and Y in L is de- fined by

fined by (f |G )((a, b), 0, c) = f |G (c(a, b), 0, c)
For X = ((a, b); c,d) , Y = ((a’, b’); c’,d’) L,
is a topological isomorphism.
Proof follows from the fact that mapping is
X·Y = ((a, b); c ,d) ((a’, b’); c’,d’) 1
= ((a, b)+d(a’, b’); c+c’ ,d+d’) continuous and its inverse defined by,
1
= ((a, b)+(a’+b’d, b’) ; c+c’ ,d+d’) (f | G )((a, b), 0, c) = f |G ((-c(a, b)), 0, c)
= ((a+a’+b’d, b+b’) ; c+c’ ,d+d’) (2.2) is also continuous.
Where d(a’, b’) = (d)(a’, b’).
Corollary 2.3 The mapping : L1 ( J ) L1 (G ) de-
In such a case the group G can be identified with the
fined by
n 1 n
closed subgroup {0}x of L and J can be
(f |J )((a, b), 0, c) = f |G (c(a, b), 0, c)
n 1 n
identified with the closed subgroup x {0} is a topological isomorphism.
of L. Proof follows from the fact that mapping is conti-
Let the subspace of all complex valued functions on L 1
nuous and its inverse defined by,
is denoted by L1E (L) such that L1E (L)|G = L1 (G) and 1
(f | G )((a, b), c, 0) = f | J ((-c(a, b)), c, 0)
L1E (L)|J = L1 (J). is also continuous.
Definition 2.1 For every f L 1
(L) , define a function Remark: For I L1E L , I is the image of I under
E

f as follows. For all ((a, b); c, d) L, mapping . Let E = I |G, then

I |G = I |G = E
1
f ((a, b); c, d) = f (c(a, b); 0, d + c) (2.3) Theorem 1. Let I be a subset of L E L , then E I |G is a
left ideal in the algebra L ( J ) if and only if I I |J is
1
n
It is noted that for all ((a, b); c, d) L and k the an ideal in the algebra L ( J ) .
1

function f is invariant because, Proof: First suppose I I |J is an ideal in the algebra

f (k(a,b); c k, d + k) = f ((a, b); c, d) (2.4)
L1 ( J ) .
Further it should be noted that restricted functions
By considering the group and the
n
1 1
K G
f |G L (G) and f |J L (J).
mapping f f which is defined by,
Definition 2.2: For every v L1 (G) or v L1 (J) and
f ( a, b ; c, d) f ( c a, b ;0, c d )
for any F L1E (L) two convolutions product on the
it is easy to show that I I |J is an ideal in the algebra
group L are defined by,
(i) v F ((a,b) ; c, d) L (J ) .
1

= F [((x, y); z) 1 (( a, b); c, d)]u ((x, y); z)dxdydz Conversely suppose that I I |J is an ideal in the alge-
bra L (J ) .
G 1

= F [-z(a-x, b-y); c, d-z)]u ((x, y); z)dxdydz (2.5) We know that v c I I and v c I I
G
for any where
1
(ii) v c F ((a, b) ; c, d) v L (J )
= F [(a-x, b-y);c-z, d)]u ((x, y); z)dxdydz (2.6) v c I v c ( F |J ), F I and
J
v I v F, F I .
where dx dy dz is the lebesgue measure on group G. c c

If I is the image of I under the mapping , then we

Corollary 2.1: For each v (G) , F L1E (L) and for all
have, v I v cI I
((a, b); c, d) L
v F((a, b); c, d) = v c F((a, b); c, d) and by taking the restriction on the group G,
proof of this lemma is easily given by the help of (2.4), we have v I |G v I |G I |G
(2.5), (2.6). So that v E E.
Corollary 2.2 The mapping : L1 (G ) L1 (G ) de- This proves that E I |G is a left ideal in the algebra
IJSER © 2010
http://www.ijser.org
International Journal of Scientific & Engineering Research, Volume 1, Issue 2, November -2010 3
ISSN 2229-5518

L1 ( J ) . Ann. Math., 68, pp. 709–712.

3. RESULTS
From the above theorem the following results can be veri-
fied easily.
(i) If be a subspace of the space L1 ( K ) such that

I= |J is an ideal in L1 ( J ) , then (i) I = |J is a max-

imal ideal in the algebra L ( J ) if and only if E |G is
1

a left maximal ideal in the algebra L (G ) .

1

(ii) I= |J is a closed ideal in the algebra L1 ( J ) if and

only if E |G is a left closed ideal in the algebra
L1 (G) .
(iii) I= |J is a dense ideal in the algebra L1 ( J ) if and
only if E |G is a left dense ideal in the algebra
L1 (G) .

ACKNOWLEDGMENT

We are thankful to Prof. L. N. Joshi, Retd. Prof in mathe-

matics, D.K.V. Science College, Jamnagar and Prof. J. N.
Chauhan, Mathematics Department, M. & N. Virani
Science College, Rajkot for their cooperation in the prepa-
ration of this paper. We are also thankful to the numerous
referees for their helpful and valuable comments.

REFERENCES
[1] Rudin,W., 1962, “Fourier analysis on groups,” Inters-
cience publ, NewYork.
[2] C. A. Akemann and G. K. Pedersen, Ideal perturbations
of elements in algebras, Math. Scand. 41 (1977)
117-139.
[3] H. J. Dauns, The primitive ideal space of a -algebra,
Canadian J. Math. 26 (1974) 42-49
[4] Beurling, A., 1949, “On the spectral synthesis of
bounded functions,” Acta. Math., 81, pp. 225–238.
[5] Helson, H., 1952, “On ideal structure of group alge-
bras,” Ark. Math., 2, pp. 83–86.
[6] Reiter, H.J., 1948, “On certain class of ideals in the L1-
algebra of a locally compact abelian group,” Hans.
Am. Soc, 75, pp. 505–509.
[7] Calderon, A.P., 1956, “Ideals in group algebra, sym-
posium on Harmonic analysis and related integral
transforms,” Cornell University (imimeographed).
[8] Hers, C.S., 1958, “Spectral synthesis for the circle,”
IJSER © 2010
http://www.ijser.org