By a rotation in a Euclidean space V of even dimension we mean an orthogonal linear operator on V which is an orthogonal direct sum of rotations in 2-dimensional linear subspaces of V by a common angle α ∈ [0,π]. We present a criterion for the existence of a 2-dimensional subspace of V which is invariant under a given pair of rotations, in terms of the vanishing of a determinant associated with that pair. This criterion is constructive, whenever it is satisfied. It is also used to prove that every...

Existence of proper Gorenstein projective resolutions and Tate cohomology is proved over rings with a dualizing complex. The proofs are based on Bousfield Localization which is originally a method from algebraic topology.

In this paper we introduce the notion of existentially closed Leibniz algebras. Then we use HNN-extensions of Leibniz algebras in order to prove an embedding theorem.

Let $R$ be a ring. In two previous articles [12, 14] we studied the homotopy category $𝐊\left(R\text{-}\mathrm{Proj}\right)$ of projective $R$-modules. We produced a set of generators for this category, proved that the category is ${\aleph }_1$-compactly generated for any ring $R$, and showed that it need not always be compactly generated, but is for sufficiently nice $R$. We furthermore analyzed the inclusion $j_{!}^{}:𝐊\left(R\text{-}\mathrm{Proj}\right)\to 𝐊\left(R\text{-}\mathrm{Flat}\right)$ and the orthogonal subcategory $𝒮={𝐊\left(R\text{-}\mathrm{Proj}\right)}^{\perp }$. And we even showed that the inclusion $𝒮\to 𝐊\left(R\text{-}\mathrm{Flat}\right)$ has a right adjoint; this forces some natural map to be an equivalence...

In analogy with earlier work on the forward-backward case, we consider an explicit construction of the forward-forward double stochastic product integral ${\prod }^{\to \to }(1+dr)$ with generator $dr=\lambda (d{A}^{†}\otimes dA-dA\otimes d{A}^{†})$. The method of construction is to approximate the product integral by a discrete double product ${\prod }_{(j,k)\in {\mathbb{N}}_m\times \mathbb{N}ₙ}^{\to \to }\Gamma \left(R_{m,n}^{(j,k)}\right)=\Gamma \left({\prod }_{(j,k)\in {\mathbb{N}}_m\times \mathbb{N}ₙ}^{\to \to }\left(R_{m,n}^{(j,k)}\right)\right)$ of second quantised rotations $R_{m,n}^{(j,k)}$ in different planes using the embedding of ${ℂ}^m\oplus ℂⁿ$ into L²(ℝ) ⊕ L²(ℝ) in which the standard orthonormal bases of ${ℂ}^m$ and ℂⁿ are mapped to the orthonormal sets consisting of normalised indicator functions of...

We study effectively the Cartan geometry of Levi-nondegenerate C 6-smooth hypersurfaces M 3 in ℂ2. Notably, we present the so-called curvature function of a related Tanaka-type normal connection explicitly in terms of a graphing function for M, which is the initial, single available datum. Vanishing of this curvature function then characterizes explicitly the local biholomorphic equivalence of such M 3 ⊂ ℂ2 to the Heisenberg sphere ℍ3, such M’s being necessarily real analytic.

Partially supported by grant RFFI 98-01-01020.Let Uc be the variety of associative algebras generated by the algebra of all upper triangular matrices, the field being arbitrary. We prove that the upper exponent of any subvariety V ⊂ Uc coincides with the lower exponent and is an integer.

Using derived categories, we develop an alternative approach to defining Koszulness for positively graded algebras where the degree zero part is not necessarily semisimple.

An $R$-module $M$ is said to be an extending module if every closed submodule of $M$ is a direct summand. In this paper we introduce and investigate the concept of a type 2 $\tau$-extending module, where $\tau$ is a hereditary torsion theory on $\text{Mod}$-$R$. An $R$-module $M$ is called type 2 $\tau$-extending if every type 2 $\tau$-closed submodule of $M$ is a direct summand of $M$. If ${\tau }_I$ is the torsion theory on $\text{Mod}$-$R$ corresponding to an idempotent ideal $I$ of $R$ and $M$ is a type 2 ${\tau }_I$-extending $R$-module, then the question of whether or not $M/MI$ is...