Dear Shaun,
Thanks for your message.
I think there is no isomorphism between
Hom( A, Hom(A, C^*)) and Hom( A \otimes A, C^* ).
There is an isomorphism between Hom(A, Hom(A,C^*))
and the group of all functions T: A x A --> C^*
that are multiplicative in both components, i.e.,
T(ab, c) = T(a, c)T(b, c) and T(a, bc) = T(a, b)T(a,c).
Am I right?
My previous question is equivalent to the question:
How to create the group of all non-degenerate functions T : A x A --> C^* that
are multiplicative in both components such that T(a, b) = T(b, a), for all a,b
\in A.
Non-degenerate here means that: If T(a, b) = 1 for all b \in A, then a=identity.
Thanks,
Dan
--- On Thu, 10/9/08, Shaun V. Ault <[EMAIL PROTECTED]> wrote:
From: Shaun V. Ault <[EMAIL PROTECTED]>
Subject: Re: [GAP Forum] Symmetric bicharacters
To: [EMAIL PROTECTED]
Date: Thursday, October 9, 2008, 7:36 AM
Dear Dan,
Perhaps you meant "homomorphisms"? Surely there are no isomorphisms
f : A
--> Hom(A, C^*), since there is an isomorphism on homomorphism sets:
adj : Hom( A, Hom(A, C^*) ) \cong Hom( A \otimes A, C^* ),
and the condition that (f(a))(b) = (f(b))(a) for all a, b in A implies that
adj(f) is a homomorphism f' with the property that f'(a \otimes b)
= f'(b
\otimes a) for all a in A. Such an f' will not be injective unless A
is
trivial, and in that case, f' will not be surjective.
On the other hand, the homomorphisms A --> Hom(A, C^*) with the above
property can be identified with the representations A \otimes A -->
GL(C)
such that a \otimes b induces the same transformation on C as b \otimes
a
for any pair a, b in A. Unfortunately, I don't know enough representation
theory to say much more about the latter.
Hope this helps,
Shaun V. Ault
Department of Mathematics
Fordham University
441 E. Fordham Rd.
Bronx, NY 10458
Dan Lanke
<[EMAIL PROTECTED]
com> To
Sent by: [EMAIL PROTECTED]
[EMAIL PROTECTED] cc
-system.org
Subject
[GAP Forum] Symmetric bicharacters
10/08/2008 11:11
PM
Please respond to
[EMAIL PROTECTED]
om
Dear GAP Forum,
Let A be a finite abelian group. Let C^* denote the multiplicative group of
non-zero complex numbers. Let Hom(A, C^*) denote the group of all
homomorphisms from A to C^*.
I would like to create the group of all isomorphisms f : A --> Hom(A, C^*)
that satisfy
(f(a))(b) = (f(b))(a), for all a,b \in A.
Could you please point me in the right direction?
Many thanks,
Dan
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
