We study representations of the normalizer subgroup N of a maximal torus of the classical group of type C, Sp(n). We obtain a formula of the irreducible characters of N, and give the branching rule ...
This is a preview. Log in through your library . Abstract Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback