Related papers: When the extension property does not hold
Given a set $F$ of words, one associates to each word $w$ in $F$ an undirected graph, called its extension graph, and which describes the possible extensions of $w$ on the left and on the right. We investigate the family of sets of words…
Let $A$ be a quasi-hereditary algebra. We prove that in many cases, a tilting module is rigid (i.e. has identical radical and socle series) if it does not have certain subquotients whose composition factors extend more than one layer in the…
In this paper we prove a theorem about the coefficients in a block of a half integral weight modular form. We show that the result of Serre and Stark for weight 1/2 forms does not generalize to higher higher weights. Let f be a half…
The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…
The main theorem in this paper is a far-reaching generalization of Gleason's theorem on the weight enumerators of codes which applies to arbitrary-genus weight enumerators of self-dual codes defined over a large class of finite rings and…
The MacWilliams' Extension Theorem is a classical result by Florence Jessie MacWilliams. It shows that every linear isometry between linear block-codes endowed with the Hamming distance can be extended to a linear isometry of the ambient…
The notion of a symmetric extension extends the usual notion of forcing by identifying a particular class of names which forms an intermediate model of ZF between the ground model and the generic extension, and often the axiom of choice…
We study certain filtrations of indecomposable injective modules over classical Lie superalgebras, applying a general approach for noetherian rings developed by Brown, Jategaonkar, Lenagan, and Warfield. To indicate the consequences of our…
There is a long-standing problem of algebra to extend the symmetric monoidal structure of abelian groups, given by the tensor product, to a non abelian setting. In this paper we show that such an extension is possible. Morover our non…
The non-Abelian Stokes theorem for loop variables associated with nontrivial loops (knots and links) is derived. It is shown that a loop variable is in general different from unity even if the field strength vanishes everywhere on the…
For a function space $X(\OO)$ satisfying weak assumptions we prove that the generic function in $X(\OO)$ is totally unbounded, hence non-extendable. We provide several examples of such spaces; they are mainly localized versions of classical…
Let H[a_0,n] be the class of functions p(z)=a_0+a_nz^n+... which are analytic in the open unit disk U. For p(z)in H[1,2], M. Nunokawa, S. Owa, N. Uyanik and H. Shiraishi (Math. Comput. Modelling. 55 (2012), 1245-1250) have shown some…
We define a variable-length code having the property that no (non-empty) prefix of each its codeword is a suffix of any other one, and vice versa. This kind of code can be seen as an extension of two well-known codes in literature, called…
We give a criterion for the non-vanishing of some generalised modular symbols. The criterion is in terms of the non-vanishing of some classes on the compact dual of the locally symmetric manifold. As an application, we construct non-zero…
In this work we investigate the c_0-extension property. This property generalizes Sobczyk's theorem in the context of nonseparable Banach spaces. We prove that a sufficient condition for a Banach space to have this property is that its…
We give an example of a dynamical system which is mixing relative to one of its factors, but for which relative mixing of order three does not hold.
We study the complexity of reachability problems on branching extensions of vector addition systems, which allows us to derive new non-elementary complexity bounds for fragments and variants of propositional linear logic. We show that…
J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions.…
In set theory without the axiom of Choice ZF, we prove that for every commutative field IK, the following statement D_{\IK}: "On every non null IK-vector space, there exists a non null linear form" implies the existence of a IK-linear…
We construct a class of linear codes by choosing a proper defining set and determine their complete weight enumerators and weight enumerators. The results show that they are at most three-weight codes and they are suitable for applications…