For classical Lie superalgebras of type I, we provide necessary and sufficient conditions for a Verma supermodule $\Delta (\lambda )$ to be such that every nonzero homomorphism from another Verma supermodule to $\Delta (\lambda )$ is injective. This is applied to describe the socle of the cokernel of an inclusion of Verma supermodules over the periplectic Lie superalgebras $\mathfrak {pe} (n)$ and, furthermore, to reduce the problem of description of $\mathrm {Ext}^1_{\mathcal O}(L(\mu ),\Delta (\lambda ))$ for $\mathfrak {pe} (n)$ to the similar problem for the Lie algebra $\mathfrak {gl}(n)$ . Additionally, we study the projective and injective dimensions of structural supermodules in parabolic category $\mathcal O^{\mathfrak {p}}$ for classical Lie superalgebras. In particular, we completely determine these dimensions for structural supermodules over the periplectic Lie superalgebra $\mathfrak {pe} (n)$ and the orthosymplectic Lie superalgebra $\mathfrak {osp}(2|2n)$ .

Recently, universities and Small and Medium Enterprises (SMEs) have initiated the development of nanosatellites because of their low cost, small size and short development time. The challenging aspects for these satellites are their small surface area for heat dissipation due to their limited size. There is not enough space for mounting radiators for heat dissipation. As a result, thermal modelling becomes a very important element in designing a small satellite. The paper presents detailed and simplified generic thermal models for CubeSat panels and also for the complete satellite. The detailed model takes all thermal resistances associated with the respective layers into account, while in the simplified model, the layers with similar materials have been combined and are represented by a single thermal resistance. The proposed models are then applied to a CubeSat standard nanosatellite called AraMiS-C1, developed at Politecnico di Torino, Italy. Thermal resistance measured through both models is compared, and the results are similar. The absorbed power and the corresponding temperature differences between different points of the single panel and complete satellite are measured. In order to verify the theoretical results, thermal resistance of the AraMiS-C1 and its panels are measured through experimental set-ups. Theoretical and measured values are in close agreement.

The main purpose of this paper is to give a new, elementary proof of Flanigan’s theorem, which says that a given ring A has a maximal essential extension ME(A) if and only if the two-sided annihilator of A is zero. Moreover, we discuss the problem of description of ME(A) for a given right ideal A of a ring with an identity.

Let 𝒦 be the class of all right R-modules that are kernels of nonzero homomorphisms φ:E1→E2 for some pair of indecomposable injective right R-modules E1,E2. In a previous paper, we completely characterized when two direct sums A1⊕⋯⊕An and B1⊕⋯⊕Bm of finitely many modules Ai and Bj in 𝒦 are isomorphic. Here we consider the case in which there are arbitrarily, possibly infinitely, many Ai and Bj in 𝒦. In both the finite and the infinite case, the behaviour is very similar to that which occurs if we substitute the class 𝒦 with the class 𝒰 of all uniserial right R-modules (a module is uniserial when its lattice of submodules is linearly ordered).

Equivalences and translations between consequence relations abound in logic. The notion of equivalence can be denned syntactically, in terms of translations of formulas, and order-theoretically, in terms of the associated lattices of theories. W. Blok and D. Pigozzi proved in [4] that the two definitions coincide in the case of an algebraizable sentential deductive system. A refined treatment of this equivalence was provided by W. Blok and B. Jónsson in [3]. Other authors have extended this result to the cases of κ-deductive systems and of consequence relations on associative, commutative, multiple conclusion sequents. Our main result subsumes all existing results in the literature and reveals their common character. The proofs are of order-theoretic and categorical nature.

We describe the structure of finitely generated cotorsion modules over commutative noetherian rings. Also we characterize the so-called covering morphisms between finitely generated modules over these rings.

AMS 2000 Mathematics subject classification: Primary 16D10. Secondary 13C11

A module of a ring of differential operators $\mathcal{D}$ over a smooth surface has order $1$ if it is isomorphic to a factor module of $\mathcal{D}$ by a cyclic ideal generated by an operator of order $1$. Let $k$ be a positive integer. We give conditions under which an indecomposable $\mathcal{D}$-module of order $1$ is GK-critical of length $k$. We also give examples of indecomposable, non-critical, $\mathcal{D}$-modules whose subfactors have order $1$.

AMS 2000 Mathematics subject classification: Primary 16S32. Secondary 37F75

Let R be a not necessarily commutative local ring, M a free R-module, and π ∈ GL(M) such that B(π) = im(π –1)is a subspace of M. Then π = σ1…σtρ, where σi are simple mappings of given types, ρ is a simple mapping, B(sgr;i) and B(ρ) are subspaces and t ≤ dim B(π).

A continuum structure function γ is a non-decreasing mapping from the unit hypercube to the unit interval. Minimal path (cut) sets of upper (lower) simple continuum structure functions are introduced and are used to determine bounds on the distribution of γ (Χ) when X is a vector of associated random variables and when γ is right (left)-continuous. It is shown that, if γ admits of a modular decomposition, improved bounds may be obtained.

The article studies the class of abelian groups G such that in every direct sum decomposition G = A ⊕ B, A is 5-projective. Such groups are called pds groups and they properly include the quasi-projective groups.

The pds torsion groups are fully determined.

The torsion-free case depends on a lemma that establishes freedom in the non-indecomposable case for several classes of groups. There is evidence suggesting freedom in the general reduced torsion-free case but this is not established and prompts a logical discussion. It is shown, for example, that pds torsion-free groups must be Whitehead if they are not indecomposable, but that there exists Whitehead groups that are not pds if there exist non-free Whitehead groups.

The mixed case is characterized and examples are given.