Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Ciao!

Let $A$ be a finite abelian group, and let

$ \psi : A \times A \to \mathbb{Q}/\mathbb{Z} $

be an alternating, non-degenerate bilinear form on $A$. Maybe I should say what I mean by these words; bilinear means it is linear in each argument separately; alternating means that $\psi(a,a) = 0$ for all $a$; non-degenerate means that, if $\psi(a,b) = 0$ for all $b$, then $a$ must be $0$.

Why must $A$ have square cardinality?

I believe it will follow from the following theorem in Linear algebra:

Theorem. Let $V$ be a finite dimensional vector space over a field $K$ that has an alternating, non-degenerate bilinear form on it (from $V \times V \to K$). Then dim $V$ is even.

My idea was to proceed as follows: If the size of $A$ is not square, then for some prime $p$, $A(p)$ is not square, where $A(p)$ means the $p$-primary part of $A$. The original $\psi$ induces a map on $A(p)$ that is non-degenerate, alternating and bilinear. I then wanted to say that $A(p)$ is an $\mathbb{F}_p$-vector space, and then applying the theorem I am done, but this is not true, e.g, $\mathbb{Z}/25\mathbb{Z}$ is not an $\mathbb{F}_5$-vector space.

Any pointers anyone?

share|improve this question

1 Answer 1

up vote 1 down vote accepted

After not receiving a response here, Giuseppe asked in Mathoverflow, where an answer has been given.

I post this in the hope that Giuseppe will "accept" so the question does not appear un-answered here.

share|improve this answer
    
Accepted as requested. –  Giuseppe Mar 30 '11 at 17:29

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.