{\left( {\mathfrak{V},\mathfrak{W}} \right)}{\text{-cotorsion pairs}}

Let R be a unital associative ring and two classes of left R-modules. In this paper we introduce the notion of a In analogy to classical cotorsion pairs as defined by Salce [10], a pair of subclasses and is called a if it is maximal with respect to the classes and the condition for all and Basic properties of are stated and several examples in the category of abelian groups are studied. Received: 17 March 2005     

On Linear Codes over $${\mathbb{Z}}_{2^{s}}$$

In an earlier paper the authors studied simplex codes of type α and β over and obtained some known binary linear and nonlinear codes as Gray images of these codes. In this correspondence, we study weight distributions of simplex codes of type α and β over The generalized Gray map is then used to construct binary codes. The linear codes meet the Griesmer bound and a few non-linear codes are obtained that meet the Plotkin/Johnson bound. We also give the weight hierarchies of the first order Reed-Muller codes over The above codes are also shown to satisfy the chain condition.A part of this paper is contained in his Ph.D. Thesis from IIT Kanpur, India     

\mathcal{P}\mathcal{A}{\text{-isomorphisms}} of inverse semigroups

A partial automorphism of a semigroup S is any isomorphism between its subsemigroups, and the set all partial automorphisms of S with respect to composition is an inverse monoid called the partial automorphism monoid of S. Two semigroups are said to be if their partial automorphism monoids are isomorphic. A class of semigroups is called if it contains every semigroup to some semigroup from Although the class of all inverse semigroups is not we prove that the class of inverse semigroups, in which no maximal isolated subgroup is a direct product of an involution-free periodic group and the two-element cyclic group, is It follows that the class of all combinatorial inverse semigroups (those with no nontrivial subgroups) is A semigroup is called if it is isomorphic or antiisomorphic to any semigroup that is to it. We show that combinatorial inverse semigroups which are either shortly connected [5] or quasi-archimedean [10] are To Ralph McKenzieReceived April 15, 2004; accepted in final form October 7, 2004.     

Minimal non-$${\mathcal {F}}$$ -groups

Let be a saturated formation. We describe minimal non- -, minimal non- -, and minimal non-metabelian groups. Dedicated to L. A. Shemetkov on the occasion of his seventieth birthday.     

Minimal graphs in {M \times \mathbb{R}}

We study minimal graphs in . First, we establish some relations between the geometry of the domain and the existence of certain minimal graphs. We then discuss the problem of finding the maximal number of disjoint domains Ω ⊂ M that admit a minimal graph that vanishes on ∂Ω. When M is two-dimensional and has non-negative sectional curvature, we prove that this number is 3. This was proved by Tkachev in . Maria Fernanda Elbert was partially supported by CNPq and Faperj.     

$${\mathcal{C}}_{0}$$ ( X)-algebras,stability and strongly self-absorbing $${\mathcal{C}}^{*}$$ -algebras

We study permanence properties of the classes of stable and so-called -stable -algebras, respectively. More precisely, we show that a (X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for -algebras absorbing the Jiang–Su algebra tensorially). Furthermore, we prove that if is a K ₁-injective strongly self-absorbing -algebra, then A absorbs tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a -algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of -absorbing -algebras. Research supported by: Deutsche Forschungsgemeinschaft (through the SFB 478), by the EU-Network Quantum Spaces - Noncommutative Geometry (Contract No. HPRN-CT-2002-00280), and by the Center for Advanced Studies in Mathematics at Ben-Gurion University     

The number of self-dual codes over $${Z_{p^3}}$$

Let p be a prime number. In this paper, we consider codes over the ring of integers modulo p ³ and give a characterization of self-duality. This leads to a construction of self-dual codes and a mass formula, which counts the number of such codes over .      

Trajectory of an Observer Tracking the Motion of an Object around a Convex Set in $${{\mathbb{R}}^{3}}$$

Doklady Mathematics - An object t moving in $${{\mathbb{R}}^{3}}$$ goes around a solid convex set along the shortest path $$\mathcal{T}$$ under observation. The task of an observer f (moving at the...     

On lattices of convex sets in {\mathbb{R}}^{n}

Properties of several sorts of lattices of convex subsets of are examined. The lattice of convex sets containing the origin turns out, for n > 1, to satisfy a set of identities strictly between those of the lattice of all convex subsets of and the lattice of all convex subsets of The lattices of arbitrary, of open bounded, and of compact convex sets in all satisfy the same identities, but the last of these is join-semidistributive, while for n > 1 the first two are not. The lattice of relatively convex subsets of a fixed set satisfies some, but in general not all of the identities of the lattice of “genuine” convex subsets of To the memory of Ivan RivalReceived April 22, 2003; accepted in final form February 16, 2005.This revised version was published online in August 2005 with a corrected cover date.     

A {\mathsf{D}}-induced duality and its applications

This paper attempts to extend the notion of duality for convex cones, by basing it on a prescribed conic ordering and a fixed bilinear mapping. This is an extension of the standard definition of dual cones, in the sense that the nonnegativity of the inner-product is replaced by a pre-specified conic ordering, defined by a convex cone , and the inner-product itself is replaced by a general multi-dimensional bilinear mapping. This new type of duality is termed the -induced duality in the paper. We further introduce the notion of -induced polar sets within the same framework, which can be viewed as a generalization of the -induced dual cones and is convenient to use for some practical applications. Properties of the extended duality, including the extended bi-polar theorem, are proven. Furthermore, attention is paid to the computation and approximation of the -induced dual objects. We discuss, as examples, applications of the newly introduced -induced duality concepts in robust conic optimization and the duality theory for multi-objective conic optimization. Research supported in part by the Foundation ‘Vereniging Trustfonds Erasmus Universiteit Rotterdam’ in The Netherlands, and in part by Hong Kong RGC Earmarked Grants CUHK4174/03E and CUHK418406.     

Compactness and local compactness for {\mathbb{R}}-trees

We establish (geometric) criteria for an -tree to be compact and to be locally compact. It follows that locally compact -trees are separable. Received: 10 September 2007     

On nonatomic submeasures on {\mathbb{N}}

A submeasure μ defined on the subsets of is nonatomic if for every ℓ ≥ 1 there exists a partition of into a finite number of parts on which μ is bounded from above by 1/ℓ. In this paper we answer several natural questions concerning nonatomic submeasures d _F that are determined (like the standard density) by a family F of finite subsets of . We first show that if the number of n-element sets in F grows at most exponentially with n, then d _F is nonatomic; but if this growth condition fails, then d _F need not be nonatomic in general. We next prove that, for a nonatomic submeasure d _F , the minimal number of sets in a 1/ℓ-small partition of can grow arbitrarily fast with ℓ. We also give a simple example of a nonatomic submeasure that is not equivalent to a submeasure of type d _F . The second author acknowledges a generous support of the Foundation for Polish Science.     

Foliations and polynomial diffeomorphisms of $${\mathbb{R}^{3}}$$

Let be a C ² map and let Spec(Y) denote the set of eigenvalues of the derivative DY _p , when p varies in . We begin proving that if, for some ϵ > 0, then the foliation with made up by the level surfaces {k = constant}, consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek’s Jacobian Conjecture for polynomial maps of The first author was supported by CNPq-Brazil Grant 306992/2003-5. The first and second author were supported by FAPESP-Brazil Grant 03/03107-9.     

On self-dual codes over {\mathbb{F}}_5

The purpose of this paper is to improve the upper bounds of the minimum distances of self-dual codes over for lengths [22, 26, 28, 32–40]. In particular, we prove that there is no [22, 11, 9] self-dual code over , whose existence was left open in 1982. We also show that both the Hamming weight enumerator and the Lee weight enumerator of a putative [24, 12, 10] self-dual code over are unique. Using the building-up construction, we show that there are exactly nine inequivalent optimal self-dual [18, 9, 7] codes over up to the monomial equivalence, and construct one new optimal self-dual [20, 10, 8] code over and at least 40 new inequivalent optimal self-dual [22, 11, 8] codes.      

Certain invariants of extension algebras of C({\mathbb{T}}^{2})

In this paper, we compute certain invariants of extension algebras of the torus algebra by , where is the C*-algebra of compact operators on an infinite dimensional separable Hilbert space H. These extension algebras are also constructed up to isomorphism. Received: 5 July 2007, Revised: 14 February 2008     

Determinantal Resolution of the Universal Subscheme in $$\mathcal{S}{\text{ }} \times {\text{ }}H_{d + 1} $$

We construct a determinantal resolution of singularities for the universal subscheme in and prove that it is isomorphic to the variety of total pairs .     

Surfaces in $${\mathbb {P}^{4}}$$ fibered in cubics

Any algebraic surface in which is fibered in cubics, so that the generic fibre is a twisted cubic, gives rise to a curve Γ in a suitable compactification X of the space of smooth rational cubics of In this paper the case n = 4 is addressed and the corresponding space X is studied. We apply our results to complete the classification of smooth, rational surfaces in ruled in cubics. This work is within the framework of the national research project “Geometry on Algebraic Varieties” Cofin 2006 of MIUR.     

Characterizing cryptogroups with a finite number of $${\mathcal{H}}$$ -classes in each $${\mathcal{D}}$$ -class by their subsemigroups

We construct a family of completely regular semigroups with the property that each completely regular semigroup S with a finite number of -classes in each -class is non-cryptic if and only if S contains an isomorphic image of a member of . Each member F of is an ideal extension of a Rees matrix semigroup J by a cyclic group B with a zero adjoined and the identity of B is the identity of F. Here with I and Λ finite, G is given by generators and relations, and P is given explicitly. Within completely regular semigroups, the cryptic property is equivalent to where is the natural partial order and a if and only if a ² = ab = ba. Hence the above result can be formulated in terms of and .      

Invariant surfaces with constant mean curvature in $${\mathbb{H}}^2 \times {\mathbb{R}}$$

We classify the profile curves of all surfaces with constant mean curvature in the product space , which are invariant under the action of a 1-parameter subgroup of isometries. The author was supported by INdAM (Italy) and Fapesp (Brazil).