We consider the following problem: For a system consisting of two submodules, the behavior of one submodule is known as well as the desired behavior S of the global system. What should be the behavior of the second submodule such that the behavior of the composition of the two submodules conforms to S ? Solutions to this problem have been described in the context of various specification formal...

1. [10 points] Determine whether the following statements are true or false (you have to include proofs/counterexamples): (a) Let R be an integral domain, F – a free R-module of finite rank, and M – a torsion R-module. Then there is no injective homomorphism from F to M . Solution: True. Suppose there was an injective homomorpism φ : F → M . Then let N = φ(F ); N is a submodule of M , and there...

This paper focuses on the engineering trade-offs in designing capacitor voltage balancing schemes for modular multilevel converters (MMC) HVDC: regulation performance and switching loss. MMC is driven by the on/off switch operation of numerous submodules and the key design concern is balancing submodule capacitor voltages minimizing switching transition among submodules because it represents th...

BRST-resolution is studied for the principally graded Wakimoto module of ŝl2 recently found in [9]. The submodule structure is completely determined and irreducible representations can be obtained as the zero-th cohomology group. e-mail:[email protected]

‎A module $M$ is lifting if and only if $M$ is amply supplemented and‎ ‎every coclosed submodule of $M$ is a direct summand‎. ‎In this paper‎, ‎we are‎ ‎interested in a generalization of lifting modules by removing the condition‎"‎amply supplemented‎" ‎and just focus on modules such that every non-cosingular‎ ‎submodule of them is a summand‎. ‎We call these modules NS‎. ‎We investigate some gen...

The cross-characteristic permutation modules for the actions of the finite classical groups on singular 1-spaces of their natural modules are studied. The composition factors and submodule lattices are determined.

Altered brain morphometry has been widely acknowledged in chronic pain, and recent studies have implicated altered network dynamics, as opposed to properties of individual brain regions, in supporting persistent pain. Structural covariance analysis determines the inter-regional association in morphological metrics, such as gray matter volume, and such structural associations may be altered in c...

An Ockham algebra L = (L,∧,∨, f, 0, 1) that satisfies the identity f2n+m = fm, n ∈ N and m ∈ N0, is called a Kn,m-algebra. Generalizing some results obtained in [2], J. Varlet and T. Blyth, in [3, Chapter 8], study congruences on K1,1-algebras. In particular, they describe the complement (when it exists) of a principal congruence and characterize these congruences that are complemented. In this...

We prove how any (elementary) topos may be reconstructed from the data of two complemented subtoposes together with a pair of left exact “glueing functors”. This generalizes the classical glueing theorem for toposes, which deals with the special case of an open subtopos and its closed complement. Our glueing analysis applies in a particularly simple form to a locally closed subtopos and its com...