# $k$-linear form is the sum of a symmetric and a skew-symmetric one

This is a problem from the book "Finite Dimensional Vector Spaces" by Paul R. Halmos:

If $$w$$ a $$k$$-linear form, and if the characteristic of the underlying field of scalars is different from 2 (that is, if $$1+1 \ne 0$$), then $$w$$ is the sum of a symmetric $$k$$-linear form and a skew-symmetric one.

I know how to prove this for a bilinear form $$w$$. Let $$a = \dfrac{w + w^T}{2}$$ and $$b = \dfrac{w - w^T}{2}$$, then $$a$$ is symmetric and b is skew-symmetric. How can I prove this for any $$k$$-linear form?

$$k$$-linear form on $$V$$ is a multilinear form on $$V_1 \bigoplus \cdots \bigoplus V_k$$ where $$V_1 = \cdots = V_k = V$$

I'm thinking about making a symmetric form $$w_{sym} = \sum_{\pi \in S_k}{\pi w}$$ and skew-symmetric $$w_{skew} = \sum_{\pi \in S_k}{(\mathbb{sign} \pi) \pi w}$$ ...

• Does $k$ mean the underlying field? – Joppy Jun 26 at 13:42
• @joppy I've added definition of $k$-linear form – Andreo Jun 26 at 21:00
• I don’t think that this is true in general. For $k=3$, you should be able to find a form which is not a sum of a symmetric and an alternating form. – Joppy Jun 27 at 2:12
• This is an exercise from FDVS and as it is written in the preface, some statements in the exercises may be true or false. And if they are false reader should prove it or find a counter example. – Andreo Jun 27 at 4:28
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 16, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://math.stackexchange.com/questions/3274574/k-linear-form-is-the-sum-of-a-symmetric-and-a-skew-symmetric-one", "fetch_time": 1568816443000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2019-39/segments/1568514573289.83/warc/CC-MAIN-20190918131429-20190918153429-00059.warc.gz", "warc_record_offset": 588183475, "warc_record_length": 30214, "token_count": 463, "char_count": 1414, "score": 3.59375, "int_score": 4, "crawl": "CC-MAIN-2019-39", "snapshot_type": "latest", "language": "en", "language_score": 0.8560945391654968, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00004-of-00064.parquet"}