Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square SqB/A M , which is also a complex of B-modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism ρ : M ≃ −→ SqB/A M then the pair (M,ρ) is called a rigid complex over B relative to A...

a module $m$ is called $emph{h}$-cofinitely supplemented if for every cofinite submodule $e$ (i.e. $m/e$ is finitely generated) of $m$ there exists a direct summand $d$ of $m$ such that $m = e + x$ holds if and only if $m = d + x$, for every submodule $x$ of $m$. in this paper we study factors, direct summands and direct sums of $emph{h}$-cofinitely supplemented modules. let $m$ be an $emph{h}$...

Theorem 1.1 immediately implies that 2π∗(S ) ⊂ Im(E), which is suggested by but does not follow from Selick’s exponent theorem. With Barratt, Cohen, Gray and Mahowald [B-C-G&], we gave simple proofs of weaker compression theorems, and deduced that the E2 term of the EHP spectral sequence π∗(S ) ⇒ π ∗ is a Z/2 module, and that 4 is the order of the identity on ΩW (n), where W (n) is the fiber of...

This paper describes a semi-automatic system for road verification from high resolution orthophotos in an urban context. The system combines several road detection and road verification approaches from current literature to form a more general solution. Each road detection / verification approach is realized as an independent module representing a unique road model and thus a unique strategy. T...

In this paper we defined the concept of module amenability of Banach algebras and module connes amenability of module dual Banach algebras.Also we assert the concept of module Arens regularity that is different with [1] and investigate the relation between module amenability of Banach algebras and connes module amenability of module second dual Banach algebras.In the following we studythe...

Let be a module over commutative ring with identity. In this paper we intoduce the concept of Strongly Pseudo Nearly Semi-2-Absorbing submodule, where proper submodule an -module is said to if whenever , for implies that either or generalization 2_Absorbing semi 2-Absorbing and strong form (Nearly–2–Absorbing, Pseudo_2_Absorbing, Semi–2–Absorbing) submodules. Several properties characterization...

Static verifiers usually stop after they find a first bug in a program under analysis. This slows down the process of finding and fixing of bugs of the same kind in a given Linux kernel module. In order to solve this problem we used the static verifier CPAchecker with option to continue analysis after finding of a first bug. Besides we extended LDV Tools – a toolset for verification of Linux ke...

We show that Liouville gravity arises as the limit of pure Einstein gravity in 2+ ε dimensions as ε goes to zero, provided Newton’s constant scales with ε. Our procedure – spherical reduction, dualization, limit, dualizing back – passes several consistency tests: geometric properties, interactions with matter and the Bekenstein-Hawking entropy are as expected from Einstein gravity. Platinum Jub...

Dualizing marked Petri nets results in tokens for transitions (t-tokens). A marked transition can strictly not be enabled, even if there are sufficient ”enabling” tokens (p-tokens) on its input places. On the other hand, t-tokens can be moved by the firing of places. This permits flows of t-tokens which describe sequences of non-events. Their benefit to simulation is the possibility to model (a...