Herzog–Schönheim Conjecture
   HOME
*





Herzog–Schönheim Conjecture
In mathematics, the Herzog–Schönheim conjecture is a combinatorial problem in the area of group theory, posed by Marcel Herzog and Jochanan Schönheim in 1974. Let G be a group, and let :A=\ be a finite system of left cosets of subgroups G_1,\ldots,G_k of G. Herzog and Schönheim conjectured that if A forms a partition of G with k>1, then the (finite) indices :G_1\ldots, :G_k/math> cannot be distinct. In contrast, if repeated indices are allowed, then partitioning a group into cosets is easy: if H is any subgroup of G with index k= :H\infty then G can be partitioned into k left cosets of H. Subnormal subgroups In 2004, Zhi-Wei Sun proved an extended version of the Herzog–Schönheim conjecture in the case where G_1,\ldots,G_k are subnormal in G.. A basic lemma in Sun's proof states that if G_1,\ldots,G_k are subnormal and of finite index in G, then :\bigg :\bigcap_^kG_i\bigg \bigg, \ \prod_^k :G_i/math> and hence :P\bigg(\bigg :\bigcap_^kG_i\bigg \bigg) =\bigcup_^kP( :G ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Arithmetic Progression
An arithmetic progression or arithmetic sequence () is a sequence of numbers such that the difference between the consecutive terms is constant. For instance, the sequence 5, 7, 9, 11, 13, 15, . . . is an arithmetic progression with a common difference of 2. If the initial term of an arithmetic progression is a and the common difference of successive members is d, then the n-th term of the sequence (a_n) is given by: :a_n = a + (n - 1)d, If there are ''m'' terms in the AP, then a_m represents the last term which is given by: :a_m = a + (m - 1)d. A finite portion of an arithmetic progression is called a finite arithmetic progression and sometimes just called an arithmetic progression. The sum of a finite arithmetic progression is called an arithmetic series. Sum Computation of the sum 2 + 5 + 8 + 11 + 14. When the sequence is reversed and added to itself term by term, the resulting sequence has a single repeated value in it, equal to the sum of the first and last numbers ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Combinatorial Group Theory
In mathematics, combinatorial group theory is the theory of free groups, and the concept of a presentation of a group by generators and relations. It is much used in geometric topology, the fundamental group of a simplicial complex having in a natural and geometric way such a presentation. A very closely related topic is geometric group theory, which today largely subsumes combinatorial group theory, using techniques from outside combinatorics besides. It also comprises a number of algorithmically insoluble problems, most notably the word problem for groups; and the classical Burnside problem. History See for a detailed history of combinatorial group theory. A proto-form is found in the 1856 icosian calculus of William Rowan Hamilton, where he studied the icosahedral symmetry group via the edge graph of the dodecahedron. The foundations of combinatorial group theory were laid by Walther von Dyck, student of Felix Klein Christian Felix Klein (; 25 April 1849 – 22 Ju ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Regular Polygon
In Euclidean geometry, a regular polygon is a polygon that is Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either convex polygon, convex, star polygon, star or Skew polygon, skew. In the limit (mathematics), limit, a sequence of regular polygons with an increasing number of sides approximates a circle, if the perimeter or area is fixed, or a regular apeirogon (effectively a Line (geometry), straight line), if the edge length is fixed. General properties ''These properties apply to all regular polygons, whether convex or star polygon, star.'' A regular ''n''-sided polygon has rotational symmetry of order ''n''. All vertices of a regular polygon lie on a common circle (the circumscribed circle); i.e., they are concyclic points. That is, a regular polygon is a cyclic polygon. Together with the property of equal-length sides, this implies that every regular p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Richard Rado
Richard Rado FRS (28 April 1906 – 23 December 1989) was a German-born British mathematician whose research concerned combinatorics and graph theory. He was Jewish and left Germany to escape Nazi persecution. He earned two PhDs: in 1933 from the University of Berlin, and in 1935 from the University of Cambridge. He was interviewed in Berlin by Lord Cherwell for a scholarship given by the chemist Sir Robert Mond which provided financial support to study at Cambridge. After he was awarded the scholarship, Rado and his wife left for the UK in 1933. He was appointed Professor of Mathematics at the University of Reading in 1954 and remained there until he retired in 1971. Contributions Rado made contributions in combinatorics and graph theory including 18 papers with Paul Erdős. In graph theory, the Rado graph, a countably infinite graph containing all countably infinite graphs as induced subgraphs, is named after Rado. He rediscovered it in 1964 after previous works on the same g ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Harold Davenport
Harold Davenport FRS (30 October 1907 – 9 June 1969) was an English mathematician, known for his extensive work in number theory. Early life Born on 30 October 1907 in Huncoat, Lancashire, Davenport was educated at Accrington Grammar School, the University of Manchester (graduating in 1927), and Trinity College, Cambridge. He became a research student of John Edensor Littlewood, working on the question of the distribution of quadratic residues. First steps in research The attack on the distribution question leads quickly to problems that are now seen to be special cases of those on local zeta-functions, for the particular case of some special hyperelliptic curves such as Y^2 = X(X-1)(X-2)\ldots (X-k). Bounds for the zeroes of the local zeta-function immediately imply bounds for sums \sum \chi(X(X-1)(X-2)\ldots (X-k)), where χ is the Legendre symbol '' modulo'' a prime number ''p'', and the sum is taken over a complete set of residues mod ''p''. In the light of this co ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Donald J
Donald is a masculine given name derived from the Gaelic name ''Dòmhnall''.. This comes from the Proto-Celtic *''Dumno-ualos'' ("world-ruler" or "world-wielder"). The final -''d'' in ''Donald'' is partly derived from a misinterpretation of the Gaelic pronunciation by English speakers, and partly associated with the spelling of similar-sounding Germanic names, such as ''Ronald''. A short form of ''Donald'' is ''Don Don, don or DON and variants may refer to: Places *County Donegal, Ireland, Chapman code DON *Don (river), a river in European Russia *Don River (other), several other rivers with the name *Don, Benin, a town in Benin *Don, Dang, a vill ...''. Pet forms of ''Donald'' include ''Donnie'' and ''Donny''. The feminine given name ''Donella'' is derived from ''Donald''. ''Donald'' has cognates in other Celtic languages: Irish language, Modern Irish ''Dónal'' (anglicised as ''Donal'' and ''Donall'');. Scottish Gaelic ''Dòmhnall'', ''Domhnull'' and ''Dòmhnull'' ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Leon Mirsky
Leonid Mirsky (19 December 1918 – 1 December 1983) was a Russian-British mathematician who worked in number theory, linear algebra, and combinatorics.... Mirsky's theorem is named after him. Biography Mirsky was born in Russia on 19 December 1918 to a medical family, but his parents sent him to live with his aunt and uncle, a wool merchant in Germany, when he was eight. His uncle's family moved to Bradford, England in 1933, bringing Mirsky with them. He studied at Herne Bay High School and King's College, London, graduating in 1940. Because of the evacuation of London during the Blitz, students at King's College were moved to Bristol University, where Mirsky earned a master's degree. He took a short-term faculty position at Sheffield University in 1942, and then a similar position in Manchester; he returned to Sheffield in 1945, where (except for a term as visiting faculty at Bristol) he would stay for the rest of his career. He became a lecturer in 1947, earned a Ph.D. from Sh ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Paul Erdős
Paul Erdős ( hu, Erdős Pál ; 26 March 1913 – 20 September 1996) was a Hungarian mathematician. He was one of the most prolific mathematicians and producers of mathematical conjectures of the 20th century. pursued and proposed problems in discrete mathematics, graph theory, number theory, mathematical analysis, approximation theory, set theory, and probability theory. Much of his work centered around discrete mathematics, cracking many previously unsolved problems in the field. He championed and contributed to Ramsey theory, which studies the conditions in which order necessarily appears. Overall, his work leaned towards solving previously open problems, rather than developing or exploring new areas of mathematics. Erdős published around 1,500 mathematical papers during his lifetime, a figure that remains unsurpassed. He firmly believed mathematics to be a social activity, living an itinerant lifestyle with the sole purpose of writing mathematical papers with other mathem ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Covering System
In mathematics, a covering system (also called a complete residue system) is a collection :\ of finitely many residue classes a_i(\mathrm\ ) = \ whose union contains every integer. Examples and definitions The notion of covering system was introduced by Paul Erdős in the early 1930s. The following are examples of covering systems: # \, # \, # \. A covering system is called ''disjoint'' (or ''exact'') if no two members overlap. A covering system is called ''distinct'' (or ''incongruent'') if all the moduli n_i are different (and bigger than 1). Hough and Nielsen (2019) proved that any distinct covering system has a modulus that is divisible by either 2 or 3. A covering system is called ''irredundant'' (or ''minimal'') if all the residue classes are required to cover the integers. The first two examples are disjoint. The third example is distinct. A system (i.e., an unordered multi-set) :\ of finitely many residue classes is called an m-cover if it covers every integer ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Divisor
In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible or evenly divisible by another integer m if m is a divisor of n; this implies dividing n by m leaves no remainder. Definition An integer is divisible by a nonzero integer if there exists an integer such that n=km. This is written as :m\mid n. Other ways of saying the same thing are that divides , is a divisor of , is a factor of , and is a multiple of . If does not divide , then the notation is m\not\mid n. Usually, is required to be nonzero, but is allowed to be zero. With this convention, m \mid 0 for every nonzero integer . Some definitions omit the requirement that m be nonzero. General Divisors can be negative as well as positive, although sometimes the term is restricted to positive divisors. For example, there are six divisors of 4; they ar ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Group Theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field (mathematics), fields, and vector spaces, can all be seen as groups endowed with additional operation (mathematics), operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right. Various physical systems, such as crystals and the hydrogen atom, and Standard Model, three of the four known fundamental forces in the universe, may be modelled by symmetry groups. Thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is also ce ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]