Related papers: Formally real involutions on central simple algebr…
It is a classical fact that every $n$-element set of positive reals has at least $\binom{n+1}{2}+1$ distinct subset sums, with equality exactly for homogeneous arithmetic progressions (when $n\geq 4$). We establish stability versions of…
For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…
We define a Real version of smooth Deligne cohomology for manifolds with involution which interpolates between equivariant sheaf cohomology and smooth imaginary-valued forms. Our main result is a classification of Real line bundles with…
In this paper is proved that a complex algebraic function on complexification of a real algebraic curve is equivalent to real algebraic function, if and only if the divisor of preimage of critical values is stable under the involution of…
Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation whose value at 0 is 0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by…
An integro-differential ring is a differential ring that is closed under an integration operation satisfying the fundamental theorem of calculus. Via the Newton--Leibniz formula, a generalized evaluation is defined in terms of integration…
In the theory of species, differential as well as integral operators are known to arise in a natural way. In this paper, we shall prove that they precisely fit together in the algebraic framework of integro-differential rings, which are…
We associate a real distribution to any complex Lie algebroid that we call distribution of real elements and a new invariant that we call real rank, given by the pointwise rank of this distribution. When the real rank is constant, we obtain…
Associative algebras with involution over a field of zero characteristic are considered. It is proved that in this case for any finitely generated associative algebra with involution there exists a finite dimensional algebra with involution…
An element of a group is called $\textit{strongly reversible}$ or $\textit{strongly real}$ if it can be expressed as a product of two involutions. We provide necessary and sufficient conditions for an element of $\mathrm{SL}(n,\mathbb{C})$…
We study the numbers of involutions and their relation to Frobenius-Schur indicators in the groups $\mathrm{SO}^{\pm}(n,q)$ and $\Omega^{\pm}(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture…
Let (X_R, 0) be a germ of real analytic subset in (R^N, 0) of pure dimension n+1 with an isolated singularity at 0. Let (f_R,0) : (X_R, 0) --> (R,0) a real analytic germ with an isolated singularity at 0, such that its complexification f_C…
Let $G$ be a linear Lie group that acts on it's Lie algebra $\mathfrak{g}$ by the adjoint action: $\mathrm{Ad}(g)X=gXg^{-1}$. An element $X\in \mathfrak {g}$ is called $\mathrm{Ad}_G$-real if $-X = \mathrm{Ad}(g)X $ for some $g\in G$. An…
In this paper, we introduce a partial order on rings with involution, which is a generalization of the partial order on the set of projections in a Rickart *-ring. We prove that a *-ring with the natural partial order form a sectionally…
Let $R$ be a ring and $Z(R)$ be the center of $R.$ The aim of this paper is to define the notions of centrally extended Jordan derivations and centrally extended Jordan $\ast$-derivations, and to prove some results involving these mappings.…
This paper describes a new kind of inverse for elements in associative ring, that is the complete inverse, as the unique solution of a certain set of equations. This inverse exists for an element $a$ if and only if the Drazin inverse of $a$…
A celebrated theorem of P.M.Cohn says that for any two division rings (not necessarily finite dimensional) over a field F, their amalgamated product over F is a domain which can be embedded in a division ring. Note that even with the two…
Let R be a ring, M a left R-module, I an infinite set, N either the direct sum or product of |I| copies of M, and E the endomorphism ring of N as a left R-module. In this note it is shown that E is not the union of a chain of |I| or fewer…
We show that the principal types of the closed terms of the affine fragment of $\lambda$-calculus, with respect to a simple type discipline, are structurally isomorphic to their interpretations, as partial involutions, in a natural Geometry…
We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral.…