On elements of order four in certain free central extensions of groups

Author(s):  
Ralph Stöhr

Let F be a non-cyclic free group, R a normal subgroup of F and G = F/R, i.e.where π is the natural projection of F onto G, is a free presentation of G. Let R′ denote the commutator subgroup of R. The quotient F/[R′,F] is a free central extensionof the group F/R′, the latter being a free abelianized extension of G. While F/R′ is torsion-free (see, e.g. [2], p. 23), elements of finite order may occur in R′/[R′,F], the kernel of the free central extension (l·2). Since C. K. Gupta [1] discovered elements of order 2 in the free centre-by-metabelian group F/[F″,F] (i.e. (1·2) in the case R = F′), torsion in F/[R′,F] has been studied by a number of authors (see, e.g. [4–13]). Clearly the elements of finite order in F/[R′,F] form a subgroup T of the abelian group R′/[R′,F]. It will be convenient to write T additively. By a result of Kuz'min [5], any element of T has order 2 or 4. Moreover, it was pointed out in [5] that elements of order 4 may really occur. On the other hand, it has been shown in [11] that, if G has no 2-torsion, then T is an elementary abelian 2-group isomorphic to H4(G, ℤ2). So if T contains an element of order 4, then G must have 2-torsion. We also mention a result of Zerck [13], who proved that 2T is an invariant of G, i.e. it does not depend on the particular choice of the free presentation (1·1).

1995 ◽  
Vol 118 (3) ◽  
pp. 449-466 ◽  
Author(s):  
Ralph Stöhr

In this paper we study the homology of groups with coefficients in metabelian Lie powers, and apply the results to obtain information about elements of finite order in certain free central extensions of groups. Perhaps the most prominent example to which our results apply is the relatively free groupwhere Fd is the (absolutely) free group of rank d. Thus Fd(Bc) is the free group of rank d in the variety Bc of all groups which are both centre-by-(nilpotent of class ≤ c − 1)-by-abelian and soluble of derived length ≤ 3. It was pointed out in [1] that the order of any torsion element in Fd(Bc) divides c if c is odd and 2c if c is even. This, however, is a conditional result as it does not answer the question of whether or not there are any torsion elements in (1·1). Up to now, this question had only been answered in case when c is a prime number [1] or c = 4 [8]. In these cases Fd (Bc) is torsion-free if d ≤ 3, and elements of finite order do occur in Fd(Bc) if d ≥ 4. Moreover, the torsion elements in Fd(Bc) form a subgroup, and the precise structure of this torsion subgroup was exhibited in [1] in the case when c is a prime and in [8] for c = 4. In the present paper we add to this knowledge. On the one hand, we show that for any prime p dividing c the group Fd(Bc) has no elements of order p for all d up to a certain upper bound, which takes arbitrarily large values as c varies over all multiples of p. On the other hand, we show that for prime powers does contain elements of order p whenever d ≥ 4. Finally, we exhibit the precise structure of the p-torsion subgroup of when p ≠ 2. Precise statements are given below (Corollaries 1 and 2). Our results on (1·1) are a special case of more general results (Theorems 1′−3′) which refer to a much wider class of groups, and which are, in their turn, a consequence of our main results on the homology of metabelian Lie powers (Theorems 1–3).


Author(s):  
I. J. Leary

Throughout this paper p denotes an odd prime. The groups we shall consider are central extensions of a cyclic subgroup by Cp ⊕ Cp, and may be presented asThe group P(n) is defined for each n ≥ 3, and has order pn. The group P(3) is the non-abelian group of order p3 and exponent p. The mod-p cohomology rings of the other groups of order p3 have been known for some time (see [14] or [5] for that of the non-abelian metacyclic group), and so this paper completes the calculation of the mod-p cohomology rings of the groups of order p3.


2014 ◽  
Vol 58 (1) ◽  
pp. 13-22
Author(s):  
Roman Wituła ◽  
Edyta Hetmaniok ◽  
Damian Słota

Abstract In the paper we present the selected properties of composition relation of the convergent and divergent permutations connected with commutation. We note that a permutation on ℕ is called the convergent permutation if for each convergent series ∑an of real terms, the p-rearranged series ∑ap(n) is also convergent. All the other permutations on ℕ are called the divergent permutations. We have proven, among others, that, for many permutations p on ℕ, the family of divergent permutations q on ℕ commuting with p possesses cardinality of the continuum. For example, the permutations p on ℕ having finite order possess this property. On the other hand, an example of a convergent permutation which commutes only with some convergent permutations is also presented.


1986 ◽  
Vol 100 (2) ◽  
pp. 281-301 ◽  
Author(s):  
Felix Leinen ◽  
Richard E. Phillips

Throughout, p will be a fixed prime, and will denote the class of all locally finite p-groups. For a fixed Abelian p-group A, we letwhere ζ(P) denotes the centre of P. Notice that A is not a class in the usual group-theoretic sense, since it is not closed under isomorphisms.


Helia ◽  
2000 ◽  
Vol 23 (33) ◽  
pp. 25-32
Author(s):  
P.S. Shindrova

SUMMARY Downy mildew caused by the fungus Plasmopara halstedii is the main disease on sunflower in Bulgaria. In recent years a number of authors have reported the occurrence of new more virulent races of the pathogen. According to other authors these races demonstrate resistance to the fungicides used up to now. This fact is rather alarming and imposes the necessity of annual researches with the aim of following the changes in the downy mildew race variability. In the period 1995-1997 downy mildew isolates were collected from the following locations: Bourgas, Boyanovo, Karnobat, Ognyanovo, Selanovtsi, Kroushari, Lovech, Koubrat, Brashlyan, Sitovo, Tervel, Targovishte, IWS “Dobroudja” and Dobrich. The samples were assessed for virulence on a set of sunflower differential - lines under greenhouse conditions. The obtained results do not reveal a great race variability of downy mildew population in Bulgaria. In the period of study two races of the pathogen were identified: race 1 which infects the differential lines without genes for resistance to the pathogen. It is distributed in all sunflower production areas of the country. The other one is race 2. It is of limited distribution and has been registered in individual fields of north-east and north-west Bulgaria. It attacks the differential lines carrying the resistance gene Pl-1.


2011 ◽  
Vol 85 (3) ◽  
pp. 463-475 ◽  
Author(s):  
MEI-RU CHEN ◽  
ZONG-XUAN CHEN

AbstractIn this paper, we investigate properties of finite-order transcendental meromorphic solutions, rational solutions and polynomial solutions of the difference Painlevé I equation where a, b and c are constants, ∣a∣+∣b∣≠0.


1904 ◽  
Vol 24 ◽  
pp. 233-239 ◽  
Author(s):  
Hugh Marshall

When thio-urea is treated with suitable oxidising agents in presence of acids, salts are formed corresponding to the general formula (CSN2H4)2X2:—Of these salts the di-nitrate is very sparingly soluble, and is precipitated on the addition of nitric acid or a nitrate to solutions of the other salts. The salts, as a class, are not very stable, and their solutions decompose, especially on warming, with formation of sulphur, thio-urea, cyanamide, and free acid. A corresponding decomposition results immediately on the addition of alkali, and this constitutes a very characteristic reaction for these salts.


1982 ◽  
Vol 47 (1) ◽  
pp. 191-196 ◽  
Author(s):  
George Boolos

Let ‘ϕ’, ‘χ’, and ‘ψ’ be variables ranging over functions from the sentence letters P0, P1, … Pn, … of (propositional) modal logic to sentences of P(eano) Arithmetic), and for each sentence A of modal logic, inductively define Aϕ by[and similarly for other nonmodal propositional connectives]; andwhere Bew(x) is the standard provability predicate for PA and ⌈F⌉ is the PA numeral for the Gödel number of the formula F of PA. Then for any ϕ, (−□⊥)ϕ = −Bew(⌈⊥⌉), which is the consistency assertion for PA; a sentence S is undecidable in PA iff both and , where ϕ(p0) = S. If ψ(p0) is the undecidable sentence constructed by Gödel, then ⊬PA (−□⊥→ −□p0 & − □ − p0)ψ and ⊢PA(P0 ↔ −□⊥)ψ. However, if ψ(p0) is the undecidable sentence constructed by Rosser, then the situation is the other way around: ⊬PA(P0 ↔ −□⊥)ψ and ⊢PA (−□⊥→ −□−p0 & −□−p0)ψ. We call a sentence S of PA extremely undecidable if for all modal sentences A containing no sentence letter other than p0, if for some ψ, ⊬PAAψ, then ⊬PAAϕ, where ϕ(p0) = S. (So, roughly speaking, a sentence is extremely undecidable if it can be proved to have only those modal-logically characterizable properties that every sentence can be proved to have.) Thus extremely undecidable sentences are undecidable, but neither the Godel nor the Rosser sentence is extremely undecidable. It will follow at once from the main theorem of this paper that there are infinitely many inequivalent extremely undecidable sentences.


Author(s):  
B. Choudhary

Integral transformations analogous to the Nörlund means have been introduced and investigated by Kuttner, Knopp and Vanderburg(6), (5), (4). It is known that with any regular Nörlund mean (N, p) there is associated a functionregular for |z| < 1, and if we have two Nörlund means (N, p) and (N, r), where (N, pr is regular, while the function is regular for |z| ≤ 1 and different) from zero at z = 1, then q(z) = r(z)p(z) belongs to a regular Nörlund mean (N, q). Concerning Nörlund means Peyerimhoff(7) and Miesner (3) have recently obtained the relation between the convergence fields of the Nörlund means (N, p) and (N, r) on the one hand and the convergence field of the Nörlund mean (N, q) on the other hand.


1973 ◽  
Vol 15 (2) ◽  
pp. 243-256 ◽  
Author(s):  
T. K. Sheng

It is well known that no rational number is approximable to order higher than 1. Roth [3] showed that an algebraic number is not approximable to order greater than 2. On the other hand it is easy to construct numbers, the Liouville numbers, which are approximable to any order (see [2], p. 162). We are led to the question, “Let Nn(α, β) denote the number of distinct rational points with denominators ≦ n contained in an interval (α, β). What is the behaviour of Nn(α, + 1/n) as α varies on the real line?” We shall prove that and that there are “compressions” and “rarefactions” of rational points on the real line.


Sign in / Sign up

Export Citation Format

Share Document