arXiv++ Combinatorics

Let $m, n\in{\mathbb N}$. In this paper we study the right permutation action of the symmetric group ${\mathfrak S}_{2n}$ on the set of all the Brauer $n$-diagrams. A new basis for the free ${\mathbb Z}$-module ${\mathfrak B}_n$ spanned by these Brauer $n$-diagrams is constructed, which yields Specht filtrations for ${\mathfrak B}_n$. For any $2m$-dimensional vector space $V$ over a field of arbitrary characteristic, we give an explicit and characteristic free description of the annihilator of the $n$-tensor space $V^{\otimes n}$ in the Brauer algebra ${\mathfrak B}_n(-2m)$. In particular, we show that it is a ${\mathfrak S}_{2n}$-submodule of ${\mathfrak B}_n(-2m)$.

We investigate the notion of cyclicity for convolutional codes as it has been introduced by Piret and Roos in the seventies. Codes of this type are described as submodules of the module of all vector polynomials in one variable with some additional generalized cyclic structure but also as specific left ideals in a skew polynomial ring. Extending a result of Piret, we show in a purely algebraic setting that these ideals are always principal. This leads to the notion of a generator polynomial just like for cyclic block codes. Similarly a control polynomial can be introduced by considering the right annihilator ideal. An algorithmic procedure is developed which produces unique reduced generator and control polynomials. We also show how basic code properties and a minimal generator matrix can be read off from these objects. A close link between polynomial and vector description of the codes is provided by certain generalized circulant matrices.

The Orlik-Solomon algebra A of a matroid is isomorphic to the quotient of an exterior algebra E by a defining ideal I. We find an explicit presentation of the annihilator ideal of I or, equivalently, the E-module dual to A. As an application of that we provide a necessary, combinatorial condition for the algebra A to be quadratic. We show that this is stronger than matroid being line-closed thereby resolving (negatively) a conjecture by Falk. We also show that our condition is not sufficient for the quadraticity.