Dynamic algebras combine the classes of Boolean (B ∨ ′ 0) and regular (R ∪ ; ∗) algebras into a single finitely axiomatized variety (B R 3) resembling an R-module with “scalar” multiplication 3. The basic result is that ∗ is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynam...

In this paper, the theory of complex numbers is formalized and the theorem library of complex numbers is embedded in HOL4, the theorem prover of High Order Logics. The theorem library introduces a data type C by an R × R type abbreviation, and defines arithmetic operations of complex numbers in terms of group and field theories. Moreover, the polar and exponential forms are provided for simplif...

we introduce the class of “right almost v-rings” which is properly between the classes of right v-rings and right good rings. a ring r is called a right almost v-ring if every simple r-module is almost injective. it is proved that r is a right almost v-ring if and only if for every r-module m, any complement of every simple submodule of m is a direct summand. moreover, r is a right almost v-rin...

in this study, the impact of internal r&d; expenditure, technology imports and interaction effects between human capital and technology imports on value added of iranian large industries are investigated over the period of 1994-2008. for this purpose, an endogenous growth model is used in which production is a function of labor, capital stock, human capital, internal r&d; expenditure, technolog...

 In this paper, a new homological dimension of modules, copresented dimension, is defined. We study some basic properties of this homological dimension. Some ring extensions are considered, too. For instance, we prove that if $Sgeq R$ is a finite normalizing extension and $S_R$ is a projective module, then for each right $S$-module $M_S$, the copresented dimension of $M_S$ does not exceed the c...

the author studies the $bf r$$g$-module $a$ such that $bf r$ is an associative ring‎, ‎a group $g$ has infinite section $p$-rank (or infinite 0-rank)‎, ‎$c_{g}(a)=1$‎, ‎and for every‎ ‎proper subgroup $h$ of infinite section $p$-rank (or infinite 0-rank respectively) the quotient module $a/c_{a}(h)$ is‎ ‎a finite $bf r$-module‎. ‎it is proved that if the group $g$ under‎ ‎consideration is local...

an r-module m is called strongly noncosingular if it has no nonzero rad-small (cosingular) homomorphic image in the sense of harada. it is proven that (1) an r-module m is strongly noncosingular if and only if m is coatomic and noncosingular; (2) a right perfect ring r is artinian hereditary serial if and only if the class of injective modules coincides with the class of (strongly) noncosingula...

Primary-like and weakly primary-like submodules are two new generalizations of primary ideals from rings to modules. In fact, the class of primary-like submodules of a module lie between primary submodules and weakly primary-like submodules properly. In this note, we show that these three classes coincide when their elements are submodules of a multiplication module and satisfy the primeful pro...

let $r$ be a commutative ring with identity and let $m$ be an $r$-module. a proper submodule $p$ of $m$ is called strongly prime submodule if $(p + rx : m)ysubseteq p$ for $x, yin m$, implies that $xin p$ or $yin p$. in this paper, we study more properties of strongly prime submodules. it is shown that a finitely generated $r$-module $m$ is artinian if and only if $m$ is noetherian and every st...

$R$-module. In this paper, we explore more properties of $Max$-injective modules and we study some conditions under which the maximal spectrum of $M$ is a $Max$-spectral space for its Zariski topology.