Never mind, you're correct. I was thinking of the Tannaka-Krein duality,
which shows the representations form a monoid.
I regards to your reference to GAP's matrix representation system, I was
actually thinking of using the matrix representation for my implementation
to store and compute the pr
Actually, the Peter-Weyl Theorem is a generalization of the Pontryagin
duality, and by extending the definition of the homomorphisms from the
circle group to generalized unitary matricies asserts the existence of an
algebraic dual group even if the group is not necessarily abelian. I
referenced
I'm referring to the dual group in the context of the Petery-Weyl theorem
from harmonic analysis, which applies to any compact group. The dual group
consists of irreducible homomorphisms from the group to the space of
unitary operators. And by matrix representations, I mean defining the
element
ver finite rings.
> I'm not trying to be discouraging, but in short, more details would be
> appreciated.
>
>
>
> On Tue, Apr 23, 2013 at 6:32 PM, Tyler Hannan
>
> > wrote:
>
>> Hello,
>> I thought that working with Group Theory for my GSoC 2013 p
Hello,
I thought that working with Group Theory for my GSoC 2013 project would be
ideal.
I have familiarized myself with the GAP library and their approach to group
theory
problems, and have a fairly extensive knowledge of group theory (at the
undergraduate
level, at any rate).
The standa