Related papers: Why all rings should have a 1
In this paper, we introduce a new class of rings calling them {\it 2-UNJ rings}, which generalize the well-known 2-UJ, 2-UU and UNJ rings. Specifically, a ring $R$ is called 2-UNJ if, for every unit $u$ of $R$, the inclusion $u^2 \in 1 +…
In this paper we describe the ideal category of a ring R as preadditive proper category. Further it is also shown that the cones in this category is a ring with appropriate addition and multiplication.
We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…
We perform the computations necessary to establish a multiplicity one statement for the irreducible representations of a finite spin group which in turn yields the classification of irreducible representations of finite spin groups. (The…
It is proved that if a left brace $A$ has the operation $\ast$ associative, then $A$ is a two-sided brace. Consequently, $A$ is a Jacobson radical ring. This answers a question of Ced\'o, Gateva-Ivanova and Smoktunowicz.
We give an overview on recent results concerning additive unit representations. Furthermore the solutions of some open questions are included. The central problem is whether and how certain rings are (additively) generated by their units.…
We introduce the class of sober rings and investigate it through several key results, highlighting connections to some other known classes of rings. We analyze sufficient conditions for a ring to be sober, as well as necessary conditions.…
We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…
We define a closure operation for rings of mixed characteristic and verify that the closure is a ring. We then show that this closure produces a ring with good properties with respect to its Fontaine ring and give an example to show that…
For an extension A/B of neither necessarily associative nor necessarily unital rings, we investigate the connection between simplicity of A with a property that we call A-simplicity of B. By this we mean that there is no non-trivial ideal I…
In [1], finite associative rings wih identity and such that the set of all zero-divisors form and ideal M, called the Jacobson Radical, of cube zero and square non-zero, were constructed for all the characteristics. These rings are…
Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The…
Suppose that a binary operation $\circ$ on a finite set $X$ is injective in each variable separately and also associative. It is easy to prove that $(X,\circ)$ must be a group. In this paper we examine what happens if one knows only that a…
In this article, we identify the existence of a divisibility relationship between the number of ring homomorphisms and surjective group homomorphisms. We demonstrate that for finite cyclic structures, the number of ring homomorphisms from…
The main result of this paper is that in order to prove the local uniformization theorem for local rings it is enough to prove it for rank one valuations. Our proof does not depend on the nature of the class of local rings for which we want…
We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2)…
An associative ring $A$ gives rise to the Lie ring $A^{(-)}=(A,[a,b ]=ab-ba)$. The subject of isomorphisms of Lie rings $A^{(-)}$ and $[A,A]$ has attracted considerable attention in the literature. We prove that if the identity element of…
In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings considered are arbitrary otherwise.
A ring $R$ is (strongly) 2-nil-clean if every element in $R$ is the sum of two idempotents and a nilpotent (that commute). Fundamental properties of such rings are discussed. Let $R$ be a 2-primal ring. If $R$ is strongly 2-nil-clean, we…