Cyclic central extension of a free abelian group

2 central extension of a free abelian group

Let be a free abelian group of finite rank, and let

be a central extension with associated commutator map , where

Properties

Induced extraspecial 2-group

Now is an elementary abelian 2-group, and we have an induced -bilinear form

By Correspondence between quadratic forms and alternating bilinear forms at 2 we have a quadratic form

with pullback

We may then define the central subgroup

whence (Internal direct product) is the kernel of the projection , and

is a central extension with associated squaring map ,¹ #m/thm/group thus is an extraspecial 2-group.

Liftings of

Using this notation, a map is an automorphism in such that iff

for the pullback of some quadratic form with polar form ,² and we have

See also

• 2 central extension of an elementary abelian 2-group

#state/develop | #lang/en | #SemBr