Related papers: Equational proofs of Jacobson's Theorem

Tverberg's theorem asserts that every (k-1)(d+1)+1 points in R^d can be partitioned into k parts, so that the convex hulls of the parts have a common intersection. Calder and Eckhoff asked whether there is a purely combinatorial deduction…

We define and examine the class of {\it strongly \( J^{\#} \)-clean rings} consisting of those rings $R$ such that each element of $R$ is the sum of an idempotent from $R$ and an element from $J^{\#}(R)$ that commute with each other. More…

We prove that every commutative JB$^*$-triple has numerical index one. We also revisit the notion of commutativity in JB$^*$-triples to show that a JBW$^*$-triple $M$ has numerical index one precisely when it is commutative, while…

Let $A(\ell,n,k)$ denote the number of $\ell$-tuples of commuting permutations of $n$ elements whose permutation action results in exactly $k$ orbits or connected components. We provide a new proof of an explicit formula for $A(\ell,n,k)$…

In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…

In this paper, using the canonical correspondence between the idempotents and clopens, we obtain several new results on lifting idempotents. The Zariski clopens of the maximal spectrum are precisely determined, then as an application,…

We define topologically semiperfect (complete, separated, right linear) topological rings and characterize them by equivalent conditions. We show that the endomorphism ring of a module, endowed with the finite topology, is topologically…

We examine the consequences of having a total division operation $\frac{x}{y}$ on commutative rings. We consider two forms of binary division, one derived from a unary inverse, the other defined directly as a general operation; each are…

The Jacobi polynomial has been advocated by many authors as a useful tool to evolve non-singlet structure functions to higher $Q^2$. In this work, it is found that the convergence of the polynomial sum is not absolute, as there is always a…

Let $a$ be a regular element of a ring $R$. If either $K:=\rm{r}_R(a)$ has the exchange property or every power of $a$ is regular, then we prove that for every positive integer $n$ there exist decompositions $$ R_R = K \oplus X_n \oplus Y_n…

Let G be a group which acts on a commutative ring k. We exhibit an induction formula which expresses an element x_G with tr_G(x_G)=1 by elements x_P with tr_P(x_P)=1, where P varies over prime order subgroups of P.

Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…

We study algebras satisfying a two-term multilinear identity, namely one of the form $x_1 \cdots x_n= q x_{\sigma(1)} \cdots x_{\sigma(n)}$, where $q$ is a parameter from the base field. We show that such algebras with $q=1$ and $\sigma$…

We assumed that, for every natural number k, there is a natural number u such that the (k-1)th term of G(u) is k^k, and that G(u) terminates finitely. It immediately follows that every Goodstein Sequence G(m) over the natural numbers must…

If $k$ is a field, $A$ and $B$ $k$-algebras, $M$ a faithful left $A$-module, and $N$ a faithful left $B$-module, we recall the proof that the left $A\otimes_k B$-module $M\otimes_k N$ is again faithful. If $k$ is a general commutative ring,…

To determine whether a number is congruent or not is an old and difficult topic and progress is slow. The paper presents a new theorem when a prime number is a congruent number or not. The proof is not necessarily any simpler or shorter…

We prove that a Hamilton-Jacobi equation in 1D with periodic forcing has a set of generalized solutions such that each solution is a sum of linear and continuous periodic functions; we also give a condition of uniqueness of this solution in…

We show that the compositions of positive integers may be interpreted in terms of powers of some power series, over arbitrary commutative ring. As consequences, several closed formulas for the compositions as well as for the generalized…

We study criteria for a ring - or more generally, for a small category - to be Gorenstein and for a module over it to be of finite projective dimension. The goal is to unify the universal coefficient theorems found in the literature and to…

Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a…