0708-1300/fact

From Drorbn
Revision as of 17:03, 18 February 2008 by Franklin (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

If then .

Proof

Assume that is an isomorphism. Let be the matrix of in the canonical basis and the maximum of the absolute values of the entries of . If we evaluate in all the vectors of who's entries have absolute values less than or equal to (there are of such elements) then we get elements who's entries have absolute value less than or equal to (there are of such elements in ). Since is injective we must have for every . Replacing by its inverse if necessary we can assume that but if this is the case the inequality above can not be true for arbitrarily large values of .