Related papers: Primitive quantales
In this paper, we study the classes of rings in which every proper (regular) ideal can be factored as an invertible ideal times a nonempty product of proper radical ideals. More precisely, we investigate the stability of these properties…
We prove an explicit upper bound on the number of real quadratic fields that admit a universal quadratic form of a given rank, thus establishing a density zero statement. More generally, we obtain such a result for totally positive definite…
In a paper on the taxonomy of 2-primal rings, examples of various types of rings that are related to commutativity such as reduced, symmetric, duo, reversible and PS~I were given in order to show that the ring class inclusions were strict.…
A compact classification of the projective lines defined over (commutative) rings (with unity) of all orders up to thirty-one is given. There are altogether sixty-five different types of them. For each type we introduce the total number of…
The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.
In this paper we generalize the theorem of Ein-Lazarsfeld-Smith (concerning the behavior of symbolic powers of prime ideals in regular rings finitely generated over a field of characteristic 0) to arbitrary regular rings containing a field.…
We study the primitive recursive analogue of computable categoricity spectra for various natural classes of structures. We show that these notions coincide for all relatively $\Delta_{2}^{0}$-categorical equivalence structures and linear…
In this paper, the new concept of quasi-prime ideal is introduced which at the same time generalizes the `prime ideal' and `primary ideal' notions. Then a natural topology on the set of quasi-prime ideals of a ring is introduced which…
In this article, we define the concept of an $S$-$k$-irreducible ideal and $S$-$k$-maximal ideal in a commutative semiring. We also establish several results concerning $S$-$k$-primary ideals and prove the existence theorem and the…
We construct the commutative Poisson algebra of classical Hamiltonians in field theory. We pose the problem of quantization of this Poisson algebra. We also make some interesting computations in the known quadratic part of the quantum…
In the present paper, we investigate the commutativity of quotient ring $R/P$ where $R$ is any ring and $P$ is a prime ideal of $R$ which admits generalized derivations are satisfying some algebraic identities acting on prime ideals $P$.
Given a $p$-adic field $K$ and a nilpotent uniform pro-$p$ group $G$, we prove that all primitive ideals in the $K$-rational Iwasawa algebra $KG$ are maximal, and can be reduced to a particular standard form. Setting $\mathcal{L}$ as the…
The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 =…
A cover of an associative (not necessarily commutative nor unital) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $\sigma(R)$ of $R$ is the…
We give a classification of $1$-primitive near-rings using sandwich centralizer near-rings
We study primitive elements in the Ringel-Hall algebra H(A) of an algebra A over a finite field associated with a quiver with automorphism. When A is a tame hereditary algebra, we give a description of primitive elements in H(A) which…
Let $q=p^k$ be a prime power, let $\mathbb{F}_q$ be a finite field and let $n\geq2$ be an integer. This note investigates the existence small primitive normal elements in finite field extensions $\mathbb{F}_{q^n}$. It is shown that a small…
We prove that if the initial ideal of a prime ideal is Borel-fixed and the dimension of the quotient ring is less than or equal to two, then given any non-minimal associated prime ideal of the initial ideal it contains another associated…
Let $R$ be an associative ring. We define a subset $S_{R}^{a}$, where $a\in R$ of $R$ as $S_{R}^{a}=\{b\in R \mid aRb=(0)\}$. Then, the set $P_{R} = \bigcap_{a\in R} S_{R}^{a}$ call it the source of primeness of $R$. We first examine some…
We establish the primary decomposition and uniqueness of primary decomposition for k-ideals in commutative Noetherian semirings.