THE ORDER OF ELEMENTS IN SYLOW p-subgroups OF THE SYMMETRIC GROUP
|
|
- Frederica Lawson
- 5 years ago
- Views:
Transcription
1 THE ORDER OF ELEMENTS IN SYLOW p-subgroups OF THE SYMMETRIC GROUP JAN-CHRISTOPH SCHLAGE-PUCHTA Abstract. Define a random variable ξ n by choosing a conjugacy class C of the Sylow p-subgroup of S p n by random, and let ξ n be the logarithm of the order of an element in C. We show that ξ n has bounded variance and mean order log n + O, which differs greatly from the average order of elements chosen with equal probability. In a sequence of papers [2] [8], P. Erdős and P. Turán developed a statistical theory of the symmetric group S n on n letters. Here a statistical theory describes properties of almost all elements of a sequence of groups, or statements on densities of certain elements or other associated structures, e.g. characters. P. Turán posed the problem of developing a statistical theory for subgroups of S n, in particular for Sylow subgroups. This was done by P. P. Pálfy and M. Szalay [9], [0], []. In particular, in the second of these papers they proved the following: Theorem. Define the random variable ζ n as follows: Choose an element g of P n, the Sylow p- subgroup of S p n, by random, and define ζ n = og, where og is the order of g. Then ζ n has bounded variance, and there are positive constants c, c 2, such that c n < M n < c 2 n, where M n denotes the mean value of ζ n. Recently M. Abért and B. Virág [] showed, that the mean value is in fact asymptotically equal to c p n, where c p is given as solution of the equation cp /c p log cp + log c p = log /p. In this note the analogous question is studied, however, we choose a conjugacy class instead of an element. Define h n k to be the number of conjugacy classes of P n consisting of elements of order p k. Our approach is based on the following Theorem, the second half of which was proven by P. P. Pálfy and M. Szalay [9]. Theorem 2. For n, k we have the recurrence relation h n+ k = p hn k p h n k + h n k + p h n k. In particular, for, the total number of conjugacy classes, we have = [p γ+ p Pn γ] δ p, where 0 < γ < is a constant depending on p, and δ p = if p = 2, and 0 otherwise. Using this recurrence relation we will prove the following theorem. Define ξ n to be oc, where C is a conjugacy class chosen among the conjugacy classes of P n at random. This research was supported through a European Community Marie Curie Fellowship. Disclaimer: The author is solely responsible for information communicated and the European Community is not responsible for any view or result expressed. Keywords: Symmetric group, Sylow subgroups, statistical group theory MSC-Index 20P05
2 2 JAN-CHRISTOPH SCHLAGE-PUCHTA Theorem 3. The random variable ξ n has mean value log n + O and has bounded variance. Comparing Theorem and Theorem 3, one sees that there are few conjugacy classes of order c p n, containing almost all elements, whereas almost all conjugacy classes are of order log n but contain a neglectable proportion of all elements. It is interesting to note that P. Erdős and P. Turán discovered the converse phenomenon in the symmetric group S n : Almost all elements of S n have order e /2+o log2 n, whereas almost all conjugacy classes have order e c+o n, where c is some positive constant. To prove Theorem 2, note that P n+ = P n C p, where C p is the cyclic group of order p. To count the conjugacy classes in P n+, we distinguish three cases: Conjugacy classes, which are contained in the base group P n P n, and which are embedded in the diagonal of this product, conjugacy classes which are non-diagonally contained in the base group, and conjugacy classes, which are not contained in the base group. Clearly, these cases are disjoint and cover all possibilities. The conjugacy classes of the first kind correspond to conjugacy classes of P n, and the action of C p leaves these conjugacy classes invariant, hence, there are h n k conjugacy classes of elements of order p k of the first kind. There are h n k p h n k conjugacy classes in P n P n which do not contain diagonal elements, and the action of C p does not leave any such class invariant, hence, there are p h nk p h n k conjugacy classes of the second kind. To count conjugacy classes of the third kind, write an element of P n+ as f, σ, where f : {,..., p} P n, and σ C p. Conjugation cannot change σ, hence, the total number of conjugacy classes of the third kind equals p times the number of conjugacy classes of elements having σ = 2. For an element x P n and an integer i p, define the function g by gi = x, gj = for j i. Then we find f, σ g,id = h, σ, where fj, j i, i + hj = xfi, j = i. fi + x, j = i + In particular, every element of the third kind is conjugated to an element f, σ with fi = for all i. Moreover, choosing gi = x for all i {,..., p}, we find that conjugacy classes of the third kind correspond to conjugacy classes of P n. Finally, the order of f, σ in P n+ equals p times the order of p i= fi in P n, hence, there are h n k conjugacy classes of elements of order k in P n+ of the third kind. Adding up the contribution of these three classes yields the recurrence relation. The formula for follows from this by induction. A different proof of this formula counting characters was given by P. P. Pálfy and M. Szalay [9]. We begin the proof of Theorem 3 with two simple remarks: First it is obvious from the definition that for fixed n, h n k is increasing with k. Further note that h n+ > h n + p, thus, for n, h n tends to. We will write α n k := h nk and β n k := h p nk hn k. h n k h n k We first collect some properties of α and β. Proposition 4. Define α and β as above, and assume that k n. We have β n k = + p h n k p + pp h n k 2h n k p + p h n k p + pp h n k h n k p 2 2 We have log β n k h n k p. 3 We have α n k = β k k pn k β k+ kβ k+ k + pn k β n k β n n.
3 THE ORDER OF ELEMENTS IN SYLOW p-subgroups OF THE SYMMETRIC GROUP 3 4 We have β n n = p n h nn. Furthermore, for p = 2, we have hn 2 n 2 β n n = + O. 5 As k tends to, the asymptotic log α n k p n k p k h k k holds. Before we prove this, we indicate how Theorem 3 follows from Proposition 4. Obviously, for fixed n, α n k is increasing with k, α n = h 0, and α nn nn + =, hence, for n there is a unique integer k 0 n with the property α n k 0 /2 < α n k o +. By 4.5 we get p k0 n k0 log 2 log α n k 0 p h k0 k 0 Taking logarithms again and using the value for h k0 k 0 given by Theorem, we get log log 2 + o n k 0 + k 0 logp γ + p γ pk0 p. From this inequality it is easy to see that k 0 log n + O. In the same way, starting from the inequality α n k 0 + > /2, we get k 0 log n + O, thus k 0 = log n + O. We want to show that k 0 is close to the mean value of ξ n, and that the variance of ξ n is bounded. Both statements follow at once, if we can show that the mean value of ξ n k 0 2 is bounded. We estimate this value as follows. Eξ n k 0 2 = h n k h n k k k 0 2 k=0 = α n k + α n kk k 0 2 k=0 k 0 k=0 α n k + k k k=k 0+ α n kk k 0 2. To estimate these sums, we note first that α n k 2 > α n k for k greater than some absolute constant, for by 4.5 we have log α n k log α n k p h k k = + o p h k k, and since the right hand side tends to, it will eventually become 2. Using this fact together with the definition of k 0, we obtain the estimates α n k 0 d < 2 2d, α n k 0 + d > 2d /2 = log 2 2 d + O2 2d. Hence, both sums in the estimate for Eξ n k 0 2 can be estimated by converging sums of the form d 2 2 d, and we obtain Eξ n k 0 2, which proves Theorem 3. Therefore, it remains to prove Proposition 4.. In the definition of β n k, replace the values of h in the first fraction with the recurrence relation to obtain β n k = h n k p p + p h n k + pp h n k 2 hn k h n k p + p h n k + pp h n k h n k = + p h n k p + pp h n k 2h n k p + p h n k p + pp h n k h n k p. 2. We use the 2. To give an upper bound, we estimate the denominator by. In the numerator we replace h n k 2 by h n k, which increases the fraction, too. Thus we obtain the upper bound
4 4 JAN-CHRISTOPH SCHLAGE-PUCHTA + p 2 h n k p. In the same way we obtain a lower bound, and both bounds together yield a bound for log β n k. 3. This statement follows from the definition of α by a simple computation: p h n k hn k = β n k h n k h n k = β n kβ n k p β k k pn k α n k = h nk h n k h n k h n k + hnn = β n kβ n k p β k k pn k βn k + β n k + p β k+ k + pn k β n n β n n p β n n. Now rearranging terms according to the exponent proves our claim. 4. To compute β n n, it suffices to compute h n n. We have h n n = p hn n p h n n + h n n + p h n n 2 = p h n n h n n 2. From this we deduce by induction that h n n = p n h h 0. But h h 0 = p, since P is cyclic of order p, and we get Now assume that p = 2. Then we have β n n = h nn = p n. h n n 2 = 2 hn n 2 2 h n n 2 + h n n 2 + h n n 3 = 2 hn n 2 hn n + h n n + h n n 3 = h n n h n n h n n 2 + h n n 3 = 2h n n + h n n 3, which implies h n n 2 h n n ; using this estimate to bound h n n h n n 3, we obtain From this we obtain Now we can compute β n n : β n n = h nn 2 h n n h n n 2 = h n n + Oh n 2 n 2. hn n h n n 2 2 = h nn h n n + Oh n 2 n 2 hn n h n n = h n n hn 2 n O + h n n + O = + 2h nn h n n 2 hn 2 n 2 + O h n n hn 2 n 2 = + O, where in the last line we used the recurrence relation in the form = 2 h n n 2 + Oh n n. 2 h n n 2
5 THE ORDER OF ELEMENTS IN SYLOW p-subgroups OF THE SYMMETRIC GROUP 5 5. By 4.3 we can express α in terms of β, and then we will use 4.2 and 4.4 to estimate the resulting expression. We have log α n k = p n k log β k k + p n k log β k+ k + log β k+ k log β n k log β n n 3 n k p k = p + O n p n k p 2k k k k 2 κ + O p n κ log β κ ν. h k k κ=k+ The first error term is of lesser order than the main term, provided that k. To bound the second error term, we first consider the sum over the range k + 2 κ n. Using 4.2, we find κ κ p n κ log β κ ν p n κ h κ ν p κ=k+2 ν=k κ=k+2 κ=k+2 ν=k p n κ κ k + h κ k p n k h k+ k. As can be seen from 4.2 and 4.3, we have h n n 2 as n, hence, the last quantity is p of the same order of magnitude as n k h k+ k+, which is negligible compared to the main term provided that k. To bound the term coming from κ = k +, we distinguish the cases p = 2 and p 3. In the latter case, 4.2 implies that log β k+ k + log β k+ k + h k k p h k k 2. As in the proof of 4.4 we find that h k k h k k = p k = oh k k, hence, for k, h k k 2 = oh k k, and the contribution of this term is negligible. If on the other hand p = 2, we use 4.4 to deduce log β k+ k + log β k+ k + h k+ k + + O hk k. h k+ k + Since h k+ k + h k k 2 h k k 4, we obtain log β k+ k + log β k+ k + h k k 2 + h k k 3/2 = oh kk. Hence, the main term in 3 dominates the error terms as k, and 4.5 is proven. ν=k References [] M Abért, B. Virág, Dimension and randomness in groups acting on rooted trees, to appear. [2] P. Erdős, P. Turán, On some problems of a statistical group theory. I. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 4 965, [3] P. Erdős, P. Turán, On some problems of a statistical group theory. II. Acta Math. Acad. Sci. Hungar , [4] P. Erdős, P. Turán, On some problems of a statistical group theory. III. Acta Math. Acad. Sci. Hungar , [5] P. Erdős, P. Turán, On some problems of a statistical group theory. IV. Acta Math. Acad. Sci. Hungar 9 968, [6] P. Erdős, P. Turán, On some problems of a statistical group theory. V. Period. Math. Hungar. 97, 5 3. [7] P. Erdős, P. Turán, On some problems of a statistical group theory. VI. J. Indian Math. Soc , [8] P. Erdős, P. Turán, On some problems of a statistical group theory. VII. Period. Math. Hungar , [9] P. P. Pálfy, M. Szalay, The distribution of the character degrees of the symmetric p-groups, Acta Math. Hungar , [0] P. P. Pálfy, M. Szalay, On a problem of P. Turán concerning Sylow subgroups, in: Studies in pure mathematics to the memory of P. Turán, , Birkhäuser, Basel, 983. [] P. P. Pálfy, M. Szalay, Further probabilistic results on the symmetric p-groups, Acta Math. Hugar ,
6 6 JAN-CHRISTOPH SCHLAGE-PUCHTA J.-C. Schlage-Puchta Mathematisches Institut Eckerstr Freiburg Germany
NORMAL GROWTH OF LARGE GROUPS
NORMAL GROWTH OF LARGE GROUPS Thomas W. Müller and Jan-Christoph Puchta Abstract. For a finitely generated group Γ, denote with s n(γ) the number of normal subgroups of index n. A. Lubotzky proved that
More informationThe Degree of the Splitting Field of a Random Polynomial over a Finite Field
The Degree of the Splitting Field of a Random Polynomial over a Finite Field John D. Dixon and Daniel Panario School of Mathematics and Statistics Carleton University, Ottawa, Canada {jdixon,daniel}@math.carleton.ca
More informationThe Degree of the Splitting Field of a Random Polynomial over a Finite Field
The Degree of the Splitting Field of a Random Polynomial over a Finite Field John D. Dixon and Daniel Panario School of Mathematics and Statistics Carleton University, Ottawa, Canada fjdixon,danielg@math.carleton.ca
More informationA SURVEY ON THE ESTIMATION OF COMMUTATIVITY IN FINITE GROUPS
A SURVEY ON THE ESTIMATION OF COMMUTATIVITY IN FINITE GROUPS A K DAS, R K NATH, AND M R POURNAKI Abstract Let G be a finite group and let C = {(x, y G G xy = yx} Then Pr(G = C / G 2 is the probability
More informationPacking Ferrers Shapes
Packing Ferrers Shapes Noga Alon Miklós Bóna Joel Spencer February 22, 2002 Abstract Answering a question of Wilf, we show that if n is sufficiently large, then one cannot cover an n p(n) rectangle using
More informationarxiv: v1 [math.co] 22 May 2014
Using recurrence relations to count certain elements in symmetric groups arxiv:1405.5620v1 [math.co] 22 May 2014 S.P. GLASBY Abstract. We use the fact that certain cosets of the stabilizer of points are
More informationMathematical Induction Assignments
1 Mathematical Induction Assignments Prove the Following using Principle of Mathematical induction 1) Prove that for any positive integer number n, n 3 + 2 n is divisible by 3 2) Prove that 1 3 + 2 3 +
More informationProbabilistic number theory and random permutations: Functional limit theory
The Riemann Zeta Function and Related Themes 2006, pp. 9 27 Probabilistic number theory and random permutations: Functional limit theory Gutti Jogesh Babu Dedicated to Professor K. Ramachandra on his 70th
More information#A31 INTEGERS 11 (2011) COMPLETELY MULTIPLICATIVE AUTOMATIC FUNCTIONS
#A3 INTEGERS (20) COMPLETELY MULTIPLICATIVE AUTOMATIC FUNCTIONS Jan-Christoph Schlage-Puchta Department of Mathematics, Universiteit Gent, Gent, Belgium jcsp@cage.ugent.be Received: 3//0, Accepted: /6/,
More informationA Survey on the Estimation of Commutativity in Finite Groups
Southeast Asian Bulletin of Mathematics (2013) 37: 161 180 Southeast Asian Bulletin of Mathematics c SEAMS. 2013 A Survey on the Estimation of Commutativity in Finite Groups A.K. Das and R.K. Nath Department
More informationSome remarks on the Erdős Turán conjecture
ACTA ARITHMETICA LXIII.4 (1993) Some remarks on the Erdős Turán conjecture by Martin Helm (Mainz) Notation. In additive number theory an increasing sequence of natural numbers is called an asymptotic basis
More informationCSC 344 Algorithms and Complexity. Proof by Mathematical Induction
CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results
More informationCHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH Abstract. We show that for every subset E of positive density in the set of integer squarematrices
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationThe Kadec-Pe lczynski theorem in L p, 1 p < 2
The Kadec-Pe lczynski theorem in L p, 1 p < 2 I. Berkes and R. Tichy Abstract By a classical result of Kadec and Pe lczynski (1962), every normalized weakly null sequence in L p, p > 2 contains a subsequence
More informationRELATIVE N-TH NON-COMMUTING GRAPHS OF FINITE GROUPS. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulletin of the Iranian Mathematical Society Vol. 39 No. 4 (2013), pp 663-674. RELATIVE N-TH NON-COMMUTING GRAPHS OF FINITE GROUPS A. ERFANIAN AND B. TOLUE Communicated by Ali Reza Ashrafi Abstract. Suppose
More informationMATH 301 INTRO TO ANALYSIS FALL 2016
MATH 301 INTRO TO ANALYSIS FALL 016 Homework 04 Professional Problem Consider the recursive sequence defined by x 1 = 3 and +1 = 1 4 for n 1. (a) Prove that ( ) converges. (Hint: show that ( ) is decreasing
More informationLimit Theorems for Exchangeable Random Variables via Martingales
Limit Theorems for Exchangeable Random Variables via Martingales Neville Weber, University of Sydney. May 15, 2006 Probabilistic Symmetries and Their Applications A sequence of random variables {X 1, X
More informationarxiv: v2 [math.nt] 4 Jun 2016
ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the
More informationDecomposing oriented graphs into transitive tournaments
Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote
More information6 CARDINALITY OF SETS
6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationCONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP
Uno, K. Osaka J. Math. 41 (2004), 11 36 CONJECTURES ON CHARACTER DEGREES FOR THE SIMPLE THOMPSON GROUP Dedicated to Professor Yukio Tsushima on his sixtieth birthday KATSUHIRO UNO 1. Introduction (Received
More informationDiscrete Mathematics. Spring 2017
Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder
More informationAnnouncements. CSE332: Data Abstractions Lecture 2: Math Review; Algorithm Analysis. Today. Mathematical induction. Dan Grossman Spring 2010
Announcements CSE332: Data Abstractions Lecture 2: Math Review; Algorithm Analysis Dan Grossman Spring 2010 Project 1 posted Section materials on using Eclipse will be very useful if you have never used
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationCDM Combinatorial Principles
CDM Combinatorial Principles 1 Counting Klaus Sutner Carnegie Mellon University Pigeon Hole 22-in-exclusion 2017/12/15 23:16 Inclusion/Exclusion Counting 3 Aside: Ranking and Unranking 4 Counting is arguably
More information(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G.
(1) Let G be a finite group and let P be a normal p-subgroup of G. Show that P is contained in every Sylow p-subgroup of G. (2) Determine all groups of order 21 up to isomorphism. (3) Let P be s Sylow
More informationHOMEWORK #2 - MATH 3260
HOMEWORK # - MATH 36 ASSIGNED: JANUARAY 3, 3 DUE: FEBRUARY 1, AT :3PM 1) a) Give by listing the sequence of vertices 4 Hamiltonian cycles in K 9 no two of which have an edge in common. Solution: Here is
More informationLinear independence, a unifying approach to shadow theorems
Linear independence, a unifying approach to shadow theorems by Peter Frankl, Rényi Institute, Budapest, Hungary Abstract The intersection shadow theorem of Katona is an important tool in extremal set theory.
More informationLogarithmic scaling of planar random walk s local times
Logarithmic scaling of planar random walk s local times Péter Nándori * and Zeyu Shen ** * Department of Mathematics, University of Maryland ** Courant Institute, New York University October 9, 2015 Abstract
More informationNAVARRO VERTICES AND NORMAL SUBGROUPS IN GROUPS OF ODD ORDER
NAVARRO VERTICES AND NORMAL SUBGROUPS IN GROUPS OF ODD ORDER JAMES P. COSSEY Abstract. Let p be a prime and suppose G is a finite solvable group and χ is an ordinary irreducible character of G. Navarro
More informationDimension and randomness in groups acting on rooted trees arxiv:math/ v2 [math.gr] 12 Feb 2003
Dimension and randomness in groups acting on rooted trees arxiv:math/0212191v2 [math.gr] 12 Feb 2003 by Miklós Abért and Bálint Virág February 11, 2003 Abstract We explore the structure of the p-adic automorphism
More informationTHE DIOPHANTINE EQUATION P (x) = n! AND A RESULT OF M. OVERHOLT. Florian Luca Mathematical Institute, UNAM, Mexico
GLASNIK MATEMATIČKI Vol. 37(57(2002, 269 273 THE IOPHANTINE EQUATION P (x = n! AN A RESULT OF M. OVERHOLT Florian Luca Mathematical Institute, UNAM, Mexico Abstract. In this note, we show that the ABC-conjecture
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationON MATCHINGS IN GROUPS
ON MATCHINGS IN GROUPS JOZSEF LOSONCZY Abstract. A matching property conceived for lattices is examined in the context of an arbitrary abelian group. The Dyson e-transform and the Cauchy Davenport inequality
More informationarxiv: v1 [math.ds] 13 Jul 2015
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH arxiv:1507.03380v1 [math.ds] 13 Jul 2015 Abstract. We show that for every subset E of positive density
More informationAMENABLE ACTIONS AND ALMOST INVARIANT SETS
AMENABLE ACTIONS AND ALMOST INVARIANT SETS ALEXANDER S. KECHRIS AND TODOR TSANKOV Abstract. In this paper, we study the connections between properties of the action of a countable group Γ on a countable
More informationAbstract Algebra, HW6 Solutions. Chapter 5
Abstract Algebra, HW6 Solutions Chapter 5 6 We note that lcm(3,5)15 So, we need to come up with two disjoint cycles of lengths 3 and 5 The obvious choices are (13) and (45678) So if we consider the element
More informationRemarks on a Ramsey theory for trees
Remarks on a Ramsey theory for trees János Pach EPFL, Lausanne and Rényi Institute, Budapest József Solymosi University of British Columbia, Vancouver Gábor Tardos Simon Fraser University and Rényi Institute,
More informationHIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION
ISSN 2066-6594 Ann Acad Rom Sci Ser Math Appl Vol 10, No 1/2018 HIGHER-ORDER DIFFERENCES AND HIGHER-ORDER PARTIAL SUMS OF EULER S PARTITION FUNCTION Mircea Merca Dedicated to Professor Mihail Megan on
More informationIDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I
IDEA CASS GROUPS OF CYCOTOMIC NUMBER FIEDS I FRANZ EMMERMEYER Abstract. Following Hasse s example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields
More informationDistribution of integer partitions with large number of summands
ACTA ARITHMETICA LXXVIII4 (997 Distribution of integer partitions with large number of summands by Hsien-Kuei Hwang (Taipei Introduction Let p(n denote the number of partitions of n (into positive integers
More informationNotes on Field Extensions
Notes on Field Extensions Ryan C. Reich 16 June 2006 1 Definitions Throughout, F K is a finite field extension. We fix once and for all an algebraic closure M for both and an embedding of F in M. When
More informationConstructions in Ramsey theory
Constructions in Ramsey theory Dhruv Mubayi Andrew Suk Abstract We provide several constructions for problems in Ramsey theory. First, we prove a superexponential lower bound for the classical 4-uniform
More informationOn W -S-permutable Subgroups of Finite Groups
Rend. Sem. Mat. Univ. Padova 1xx (201x) Rendiconti del Seminario Matematico della Università di Padova c European Mathematical Society On W -S-permutable Subgroups of Finite Groups Jinxin Gao Xiuyun Guo
More informationNew lower bounds for hypergraph Ramsey numbers
New lower bounds for hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum N such that for every red-blue coloring of the k-tuples of {1,..., N}, there
More informationIdeal class groups of cyclotomic number fields I
ACTA ARITHMETICA XXII.4 (1995) Ideal class groups of cyclotomic number fields I by Franz emmermeyer (Heidelberg) 1. Notation. et K be number fields; we will use the following notation: O K is the ring
More informationC241 Homework Assignment 7
C24 Homework Assignment 7. Prove that for all whole numbers n, n i 2 = n(n + (2n + The proof is by induction on k with hypothesis H(k i 2 = k(k + (2k + base case: To prove H(, i 2 = = = 2 3 = ( + (2 +
More informationDisjoint Subgraphs in Sparse Graphs 1
Disjoint Subgraphs in Sparse Graphs 1 Jacques Verstraëte Department of Pure Mathematics and Mathematical Statistics Centre for Mathematical Sciences Wilberforce Road Cambridge CB3 OWB, UK jbav2@dpmms.cam.ac.uk
More informationOn the Turán number of forests
On the Turán number of forests Bernard Lidický Hong Liu Cory Palmer April 13, 01 Abstract The Turán number of a graph H, ex(n, H, is the maximum number of edges in a graph on n vertices which does not
More informationHomework Problems, Math 200, Fall 2011 (Robert Boltje)
Homework Problems, Math 200, Fall 2011 (Robert Boltje) Due Friday, September 30: ( ) 0 a 1. Let S be the set of all matrices with entries a, b Z. Show 0 b that S is a semigroup under matrix multiplication
More informationC.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series
C.7 Numerical series Pag. 147 Proof of the converging criteria for series Theorem 5.29 (Comparison test) Let and be positive-term series such that 0, for any k 0. i) If the series converges, then also
More informationApproximation by polynomials with bounded coefficients
Journal of Number Theory 27 (2007) 03 7 www.elsevier.com/locate/jnt Approximation by polynomials with bounded coefficients Toufik Zaimi Département de mathématiques, Centre universitaire Larbi Ben M hidi,
More informationMathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch
Mathematical Research Letters 3, 619 627 (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION Hanspeter Kraft and Frank Kutzschebauch Abstract. We show that every algebraic action of a linearly reductive
More informationMath 210A: Algebra, Homework 5
Math 210A: Algebra, Homework 5 Ian Coley November 5, 2013 Problem 1. Prove that two elements σ and τ in S n are conjugate if and only if type σ = type τ. Suppose first that σ and τ are cycles. Suppose
More informationHouston Journal of Mathematics c 2050 University of Houston Volume 76, No. 1, Communicated by George Washington
Houston Journal of Mathematics c 2050 University of Houston Volume 76, No., 2050 SUMS OF PRIME DIVISORS AND MERSENNE NUMBERS WILLIAM D. BANKS AND FLORIAN LUCA Communicated by George Washington Abstract.
More informationSubhypergraph counts in extremal and random hypergraphs and the fractional q-independence
Subhypergraph counts in extremal and random hypergraphs and the fractional q-independence Andrzej Dudek adudek@emory.edu Andrzej Ruciński rucinski@amu.edu.pl June 21, 2008 Joanna Polcyn joaska@amu.edu.pl
More informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More informationSign elements in symmetric groups
Dept. of Mathematical Sciences University of Copenhagen, Denmark Nagoya, September 4, 2008 Introduction Work in progress Question by G. Navarro about characters in symmetric groups, related to a paper
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationCHARACTER EXPANSIVENESS IN FINITE GROUPS
CHARACTER EXPANSIVENESS IN FINITE GROUPS Abstract. We say that a finite group G is conjugacy expansive if for any normal subset S and any conjugacy class C of G the normal set SC consists of at least as
More informationA proof of a partition conjecture of Bateman and Erdős
proof of a partition conjecture of Bateman and Erdős Jason P. Bell Department of Mathematics University of California, San Diego La Jolla C, 92093-0112. US jbell@math.ucsd.edu 1 Proposed Running Head:
More informationPolynomial Properties in Unitriangular Matrices 1
Journal of Algebra 244, 343 351 (2001) doi:10.1006/jabr.2001.8896, available online at http://www.idealibrary.com on Polynomial Properties in Unitriangular Matrices 1 Antonio Vera-López and J. M. Arregi
More informationA guide to Proof by Induction
A guide to Proof by Induction Adapted from L. R. A. Casse, A Bridging Course in Mathematics, The Mathematics Learning Centre, University of Adelaide, 1996. Inductive reasoning is where we observe of a
More informationOn the mean connected induced subgraph order of cographs
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 71(1) (018), Pages 161 183 On the mean connected induced subgraph order of cographs Matthew E Kroeker Lucas Mol Ortrud R Oellermann University of Winnipeg Winnipeg,
More informationON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS
ON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS GUNTER MALLE Abstract. We propose a modification of the predictions of the Cohen Lenstra heuristic for class groups of number fields in the case where
More informationOn prime factors of subset sums
On prime factors of subset sums by P. Erdös, A. Sárközy and C.L. Stewart * 1 Introduction For any set X let X denote its cardinality and for any integer n larger than one let ω(n) denote the number of
More informationProducts of Factorials Modulo p
Products of Factorials Modulo p Florian Luca and Pantelimon Stănică IMATE, UNAM, Ap. Postal 6-3 Xangari, CP. 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx Auburn University Montgomery,
More informationDiagonal matrix solutions of a discrete-time Lyapunov inequality
Diagonal matrix solutions of a discrete-time Lyapunov inequality Harald K. Wimmer Mathematisches Institut Universität Würzburg D-97074 Würzburg, Germany February 3, 1997 Abstract Diagonal solutions of
More informationBehrend s Theorem for Sequences Containing No k-element Arithmetic Progression of a Certain Type
Behrend s Theorem for Sequences Containing No k-element Arithmetic Progression of a Certain Type T. C. Brown Citation data: T.C. Brown, Behrend s theorem for sequences containing no k-element arithmetic
More informationA NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS
A NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS ERNIE CROOT AND OLOF SISASK Abstract. We present a proof of Roth s theorem that follows a slightly different structure to the usual proofs, in that
More informationLANDAU S THEOREM, FIELDS OF VALUES FOR CHARACTERS, AND SOLVABLE GROUPS arxiv: v1 [math.gr] 26 Jun 2015
LANDAU S THEOREM, FIELDS OF VALUES FOR CHARACTERS, AND SOLVABLE GROUPS arxiv:1506.08169v1 [math.gr] 26 Jun 2015 MARK L. LEWIS Abstract. When G is solvable group, we prove that the number of conjugacy classes
More informationApproximation exponents for algebraic functions in positive characteristic
ACTA ARITHMETICA LX.4 (1992) Approximation exponents for algebraic functions in positive characteristic by Bernard de Mathan (Talence) In this paper, we study rational approximations for algebraic functions
More informationEuropean Journal of Combinatorics
European Journal of ombinatorics 34 (013) 905 915 ontents lists available at SciVerse ScienceDirect European Journal of ombinatorics journal homepage: wwwelseviercom/locate/ejc Rainbow Turán problem for
More informationThe cycle polynomial of a permutation group
The cycle polynomial of a permutation group Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife, U.K. pjc0@st-andrews.ac.uk Jason Semeraro Department
More informationOn the law of the iterated logarithm for the discrepancy of lacunary sequences
On the law of the iterated logarithm for the discrepancy of lacunary sequences Christoph Aistleitner Abstract A classical result of Philipp (1975) states that for any sequence (n k ) k 1 of integers satisfying
More informationLower Bounds for q-ary Codes with Large Covering Radius
Lower Bounds for q-ary Codes with Large Covering Radius Wolfgang Haas Immanuel Halupczok Jan-Christoph Schlage-Puchta Albert-Ludwigs-Universität Mathematisches Institut Eckerstr. 1 79104 Freiburg, Germany
More informationConditional moment representations for dependent random variables
Conditional moment representations for dependent random variables W lodzimierz Bryc Department of Mathematics University of Cincinnati Cincinnati, OH 45 22-0025 bryc@ucbeh.san.uc.edu November 9, 995 Abstract
More informationON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS
ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. We construct an infinite family of imaginary quadratic number fields with 2-class groups of type (2, 2, 2 whose
More informationOn the number of cyclic subgroups of a finite Abelian group
Bull. Math. Soc. Sci. Math. Roumanie Tome 55103) No. 4, 2012, 423 428 On the number of cyclic subgroups of a finite Abelian group by László Tóth Abstract We prove by using simple number-theoretic arguments
More informationCONJUGATE FACTORIZATIONS OF FINITE GROUPS. Communicated by Patrizia Longobardi. 1. Introduction
International Journal of Group Theory ISSN (print): 2251-7650, ISSN (on-line): 2251-7669 Vol. 4 No. 2 (2015), pp. 69-78. c 2015 University of Isfahan www.theoryofgroups.ir www.ui.ac.ir CONJUGATE FACTORIZATIONS
More informationk-protected VERTICES IN BINARY SEARCH TREES
k-protected VERTICES IN BINARY SEARCH TREES MIKLÓS BÓNA Abstract. We show that for every k, the probability that a randomly selected vertex of a random binary search tree on n nodes is at distance k from
More informationCISC-102 Fall 2017 Week 3. Principle of Mathematical Induction
Week 3 1 of 17 CISC-102 Fall 2017 Week 3 Principle of Mathematical Induction A proposition is defined as a statement that is either true or false. We will at times make a declarative statement as a proposition
More informationOn Descents in Standard Young Tableaux arxiv:math/ v1 [math.co] 3 Jul 2000
On Descents in Standard Young Tableaux arxiv:math/0007016v1 [math.co] 3 Jul 000 Peter A. Hästö Department of Mathematics, University of Helsinki, P.O. Box 4, 00014, Helsinki, Finland, E-mail: peter.hasto@helsinki.fi.
More informationRESEARCH PROBLEMS IN NUMBER THEORY
Annales Univ. Sci. Budapest., Sect. Comp. 43 (2014) 267 277 RESEARCH PROBLEMS IN NUMBER THEORY Nguyen Cong Hao (Hue, Vietnam) Imre Kátai and Bui Minh Phong (Budapest, Hungary) Communicated by László Germán
More informationExcluding a Long Double Path Minor
journal of combinatorial theory, Series B 66, 1123 (1996) article no. 0002 Excluding a Long Double Path Minor Guoli Ding Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana 70803
More informationA PROOF FOR GOLDBACH S CONJECTURE
Journal of Mathematical Sciences: Advances and Applications Volume 22, 2013, Pages 45-52 A PROOF FOR GOLDBACH S CONJECTURE Department of Mathematics Azad Mashhad University Mashhad Iran e-mail: hsazegar@gmailcom
More informationarxiv: v1 [math.co] 28 Jan 2019
THE BROWN-ERDŐS-SÓS CONJECTURE IN FINITE ABELIAN GROUPS arxiv:191.9871v1 [math.co] 28 Jan 219 JÓZSEF SOLYMOSI AND CHING WONG Abstract. The Brown-Erdős-Sós conjecture, one of the central conjectures in
More informationSOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1<j<co be
SOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1
More informationVertex colorings of graphs without short odd cycles
Vertex colorings of graphs without short odd cycles Andrzej Dudek and Reshma Ramadurai Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 1513, USA {adudek,rramadur}@andrew.cmu.edu
More informationMath 4320, Spring 2011
Math 4320, Spring 2011 Prelim 2 with solutions 1. For n =16, 17, 18, 19 or 20, express Z n (A product can have one or more factors.) as a product of cyclic groups. Solution. For n = 16, G = Z n = {[1],
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More informationDisjointness conditions in free products of. distributive lattices: An application of Ramsay's theorem. Harry Lakser< 1)
Proc. Univ. of Houston Lattice Theory Conf..Houston 1973 Disjointness conditions in free products of distributive lattices: An application of Ramsay's theorem. Harry Lakser< 1) 1. Introduction. Let L be
More informationNon-averaging subsets and non-vanishing transversals
Non-averaging subsets and non-vanishing transversals Noga Alon Imre Z. Ruzsa Abstract It is shown that every set of n integers contains a subset of size Ω(n 1/6 ) in which no element is the average of
More informationinv lve a journal of mathematics 2009 Vol. 2, No. 1 Atoms of the relative block monoid mathematical sciences publishers
inv lve a journal of mathematics Atoms of the relative block monoid Nicholas Baeth and Justin Hoffmeier mathematical sciences publishers 2009 Vol. 2, No. INVOLVE 2:(2009 Atoms of the relative block monoid
More informationGROWTH IN GROUPS I: SUM-PRODUCT. 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define
GROWTH IN GROUPS I: SUM-PRODUCT NICK GILL 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define } A + {{ + A } = {a 1 + + a n a 1,..., a n A}; n A } {{ A} = {a
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationChromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz
Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz Jacob Fox Choongbum Lee Benny Sudakov Abstract For a graph G, let χ(g) denote its chromatic number and σ(g) denote
More informationOn the orders of primitive groups
Journal of Algebra 258 (2002) 631 640 www.elsevier.com/locate/jalgebra On the orders of primitive groups Attila Maróti 1 School of Mathematics and Statistics, University of Birmingham, Birmingham B15 2TT,
More information