On strongly prime semiring.
Dutta, T.K., Das, M.L. (2007)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
Dutta, T.K., Das, M.L. (2007)
Bulletin of the Malaysian Mathematical Sciences Society. Second Series
Similarity:
Joshi, Kanchan, Sharma, R.K. (2010)
Beiträge zur Algebra und Geometrie
Similarity:
Magdalena Jastrzebska, Adam Grabowski (2006)
Formalized Mathematics
Similarity:
We formalized some basic properties of the Möbius function which is defined classically as [...] as e.g., its multiplicativity. To enable smooth reasoning about the sum of this number-theoretic function, we introduced an underlying many-sorted set indexed by the set of natural numbers. Its elements are just values of the Möbius function.The second part of the paper is devoted to the notion of the radical of number, i.e. the product of its all prime factors.The formalization (which is...
Jeffrey Bergen, Piotr Grzeszczuk (2012)
Colloquium Mathematicae
Similarity:
We examine when the nil and prime radicals of an algebra are stable under q-skew σ-derivations. We provide an example which shows that even if q is not a root of 1 or if δ and σ commute in characteristic 0, then the nil and prime radicals need not be δ-stable. However, when certain finiteness conditions are placed on δ or σ, then the nil and prime radicals are δ-stable.
K. Ramachandra (1971)
Acta Arithmetica
Similarity:
P. Gallagher (1974)
Acta Arithmetica
Similarity:
Yücel Tiraş, Harmanci, Abdullah (2000)
Czechoslovak Mathematical Journal
Similarity:
We characterize prime submodules of for a principal ideal domain and investigate the primary decomposition of any submodule into primary submodules of
K. Szymiczek (1964)
Colloquium Mathematicae
Similarity:
Marco Riccardi (2006)
Formalized Mathematics
Similarity:
The first four sections of this article include some auxiliary theorems related to number and finite sequence of numbers, in particular a primality test, the Pocklington's theorem (see [19]). The last section presents the formalization of Bertrand's postulate closely following the book [1], pp. 7-9.
Jiahai Kan (2004)
Acta Arithmetica
Similarity:
Paul Erdös, Aleksandar Ivić (1982)
Publications de l'Institut Mathématique
Similarity: