Language:
EN
| Published:
30-09-2003
|
Abstract
| pp. 7-8
For any infinite subset X of the rationals and a subset F ⊆ X which has no isolated points in X we construct a function f : X→X such that f(f(x)) = x for each x∈X and F is the set of discontinuity points of f.
Władysław Kulpa
,
Szymon Plewik
,
Marian Turzański
Language:
EN
| Published:
30-09-2003
|
Abstract
| pp. 9-16
The Bolzano-Weierstrass principle of choice is the oldest method of the set theory, traditionally used in mathematical analysis. We are extending it towards transfinite sequences of steps indexed by ordinals. We are introducing the notions: hiker's tracks, hiker's maps and principles Pn(X,Y,m); which are used similarly in finite, countable and uncountable cases. New proofs of Ramsey's theorem and Erdős-Rado theorem are presented as some applications
Language:
EN
| Published:
30-09-2003
|
Abstract
| pp. 17-39
We define several types of Lucas and Frobenius pseudoprimes and prove some theorems on these pseudoprimes. In particular: There exist infinitely many arithmetic progressions formed by three different Frobenius-Fibonacci pseudoprimes.
Language:
EN
| Published:
30-09-2003
|
Abstract
| pp. 41-51
We will deal with numbers given by the relation Hn(k) = [(k+1)n-\binom{n}{2}k2-nk-1]/k3, where k is equal to 1, 2 or 3. These numbers arise from a generalization Bernoulli's inequality. In this paper some results about divisibility and primality of the numbers Hn(l), Hn(2) and Hn(3) are found. For example any positive integer n>1 does not divide Hn(2) and n ≡ 2mod4 is the necessary condition for divisibility Hn(l) and Hn(3) by n>2. In addition certain properties of their divisibility are used for finding primes among these numbers.
Language:
EN
| Published:
30-09-2003
|
Abstract
| pp. 53-66
In this paper Kummer's elements in the Stickelberger ideal of the group ring of the Galois group of the extension ℚ(ζ)/ℚ over the ring of rational integers are studied. A special linear operator is constructed for better understanding to these elements, and Kummer's elements are mapped to Kummer's vectors. Then one computational method is presented and the coherence between its results and the property of being essential for Kummer's vectors is shown.