Language:
EN
| Published:
30-09-2003
|
Abstract
| pp. 7-8
For any infinite subsetXof the rationals and a subsetF ⊆ Xwhich has no isolated points inXwe construct a function f:X→Xsuch thatf(f(x)) = xfor eachx∈XandFis the set of discontinuity pointsof 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 settheory, traditionallyused in mathematical analysis. We are extending it towards transfinite sequences of steps indexed by ordinals.We are introducingthe notions: hiker's tracks,hiker's maps and principlesPn(X,Y,m);which are usedsimilarly in finite,countableand uncountablecases. Newproofs ofRamsey'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 sometheoremson thesepseudoprimes.In particular: Thereexistinfinitelymany arithmetic progressions formed by three differentFrobenius-Fibonacci pseudoprimes.
Language:
EN
| Published:
30-09-2003
|
Abstract
| pp. 41-51
We will deal with numbersgiven by therelation Hn(k) = [(k+1)n-\binom{n}{2}k2-nk-1]/k3, wherekisequal to1,2 or 3. Thesenumbersarise from a generalizationBernoulli's inequality.In this paper some results aboutdivisibilityand primality of thenumbers Hn(l),Hn(2) and Hn(3)are found.For exampleany positive integer n>1 does not divideHn(2)andn ≡ 2mod4 isthenecessaryconditionfor divisibilityHn(l)and Hn(3)byn>2. In addition certain propertiesof their divisibility are used for finding primes among these numbers.
Language:
EN
| Published:
30-09-2003
|
Abstract
| pp. 53-66
In this paperKummer's elementsin theStickelberger ideal of thegroup ringof theGaloisgroupof theextension ℚ(ζ)/ℚovertheringof rationalintegers are studied. A special linear operatoris constructedfor better understandingto these elements,andKummer's elementsaremappedtoKummer's vectors. Then onecomputational method is presentedand the coherence between its results and theproperty of being essential for Kummer's vectorsis shown.