- #1

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

## Main Question or Discussion Point

When working over a field of characteristic not 2, or otherwise with modules over a ring where 2 is invertible, there is no ambiguity in what one means by symmetric or anti-symmetric rank 2 tensors. All of definitions of the anti-symmetric tensors

Similarly for symmetric tensors.

When 2 is not invertible, the different definitions can give different groups. Is there standard terminology and notation for the various possibilities? The only one I'm aware of is that the module [itex]\wedge^2 M[/itex] refers to the second in the list of definitions above.

- The module of anti-symmetric tensors is the quotient of [itex]M \otimes M[/itex] by the relations [itex]x \otimes y = -(y \otimes x)[/itex].
- The module of anti-symmetric tensors is the quotient of [itex]M \otimes M[/itex] by the relations [itex]x \otimes x = 0[/itex].
- The module of anti-symmetric tensors is the image of the anti-symmetrization operation [itex]x \otimes y \mapsto (1/2)(x \otimes y - y \otimes x)[/itex] on [itex]M \otimes M[/itex]
- The module of anti-symmetric tensors is the kernel of the symmetrization operation [itex]x \otimes y \mapsto (1/2)(x \otimes y + y \otimes x)[/itex]

Similarly for symmetric tensors.

When 2 is not invertible, the different definitions can give different groups. Is there standard terminology and notation for the various possibilities? The only one I'm aware of is that the module [itex]\wedge^2 M[/itex] refers to the second in the list of definitions above.