|
Frucht's Theorem
Frucht's theorem is a theorem in algebraic graph theory conjectured by Dénes Kőnig in 1936 and proved by Robert Frucht in 1939. It states that every finite group is the group of symmetries of a finite undirected graph. More strongly, for any finite group ''G'' there exist infinitely many non-isomorphic simple connected graphs such that the automorphism group of each of them is isomorphic to ''G''. Proof idea The main idea of the proof is to observe that the Cayley graph of ''G'', with the addition of colors and orientations on its edges to distinguish the generators of ''G'' from each other, has the desired automorphism group. Therefore, if each of these edges is replaced by an appropriate subgraph, such that each replacement subgraph is itself asymmetric and two replacements are isomorphic if and only if they replace edges of the same color, then the undirected graph created by performing these replacements will also have ''G'' as its symmetry group., discussion following ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frucht Graph
In the mathematical field of graph theory, the Frucht graph is a cubic graph with 12 vertices, 18 edges, and no nontrivial symmetries. It was first described by Robert Frucht in 1939. The Frucht graph is a pancyclic, Halin graph with chromatic number 3, chromatic index 3, radius 3, and diameter 4. Like every Halin graph, the Frucht graph is polyhedral (planar and 3-vertex-connected) and Hamiltonian, with girth 3. Its independence number is 5. The Frucht graph can be constructed from the LCF notation: . Algebraic properties The Frucht graph is one of the five smallest cubic graphs possessing only a single graph automorphism, the identity (that is, every vertex can be distinguished topologically from every other vertex). Such graphs are called asymmetric (or identity) graphs. Frucht's theorem states that any group can be realized as the group of symmetries of a graph,. and a strengthening of this theorem also due to Frucht states that any group can be realized as the symm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trivial Group
In mathematics, a trivial group or zero group is a group consisting of a single element. All such groups are isomorphic, so one often speaks of the trivial group. The single element of the trivial group is the identity element and so it is usually denoted as such: 0, 1, or e depending on the context. If the group operation is denoted \, \cdot \, then it is defined by e \cdot e = e. The similarly defined is also a group since its only element is its own inverse, and is hence the same as the trivial group. The trivial group is distinct from the empty set, which has no elements, hence lacks an identity element, and so cannot be a group. Definitions Given any group G, the group consisting of only the identity element is a subgroup of G, and, being the trivial group, is called the of G. The term, when referred to "G has no nontrivial proper subgroups" refers to the only subgroups of G being the trivial group \ and the group G itself. Properties The trivial group is cycl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tree (graph Theory)
In graph theory, a tree is an undirected graph in which any two vertices are connected by ''exactly one'' path, or equivalently a connected acyclic undirected graph. A forest is an undirected graph in which any two vertices are connected by ''at most one'' path, or equivalently an acyclic undirected graph, or equivalently a disjoint union of trees. A polytreeSee . (or directed tree or oriented treeSee .See . or singly connected networkSee .) is a directed acyclic graph (DAG) whose underlying undirected graph is a tree. A polyforest (or directed forest or oriented forest) is a directed acyclic graph whose underlying undirected graph is a forest. The various kinds of data structures referred to as trees in computer science have underlying graphs that are trees in graph theory, although such data structures are generally rooted trees. A rooted tree may be directed, called a directed rooted tree, either making all its edges point away from the root—in which case it is called ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Camille Jordan
Marie Ennemond Camille Jordan (; 5 January 1838 – 22 January 1922) was a French mathematician, known both for his foundational work in group theory and for his influential ''Cours d'analyse''. Biography Jordan was born in Lyon and educated at the École polytechnique. He was an engineer by profession; later in life he taught at the École polytechnique and the Collège de France, where he had a reputation for eccentric choices of notation. He is remembered now by name in a number of results: * The Jordan curve theorem, a topological result required in complex analysis * The Jordan normal form and the Jordan matrix in linear algebra * In mathematical analysis, Jordan measure (or ''Jordan content'') is an area measure that predates measure theory * In group theory, the Jordan–Hölder theorem on composition series is a basic result. * Jordan's theorem on finite linear groups Jordan's work did much to bring Galois theory into the mainstream. He also investigated the Math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Electronic Journal Of Combinatorics
The ''Electronic Journal of Combinatorics'' is a peer-reviewed open access scientific journal covering research in combinatorial mathematics. The journal was established in 1994 by Herbert Wilf (University of Pennsylvania) and Neil Calkin ( Georgia Institute of Technology). The Electronic Journal of Combinatorics is a founding member of the Free Journal Network. According to the ''Journal Citation Reports'', the journal had a 2017 impact factor of 0.762. Editors-in-chief Current The current editors-in-chief are: * Maria Axenovich, Karlsruhe Institute of Technology, Germany * Miklós Bóna, University of Florida, United States * Julia Böttcher, London School of Economics, United Kingdom * Richard A. Brualdi, University of Wisconsin, Madison, United States * Eric Fusy, CNRS/LIX, École Polytechnique, France * Catherine Greenhill, UNSW Sydney, Australia * Brendan McKay, Australian National University, Australia * Bojan Mohar, Simon Fraser University, Canada * Marc Noy, Univ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distinguishing Number
The ruling made by the judge or panel of judges must be based on the evidence at hand and the standard binding precedents covering the subject-matter (they must be ''followed''). Definition In law, to distinguish a case means a court decides the holding or legal reasoning of a precedent case will not apply due to materially different facts between the two cases. Two formal constraints constrain the later court: the expressed relevant factors (also known as considerations, tests, questions or determinants) in the ''ratio'' (legal reasoning) of the earlier case must be recited or their equivalent recited or the earlier case makes an exception for their application in the circumstances otherwise it envisages, and the ruling in the later case must not expressly doubt (criticise) the result reached in the precedent case.Lamond, Grant"Precedent and Analogy in Legal Reasoning: 2.1 Precedents as laying down rules:2.1.2 The practice of distinguishing". ''Stanford Encyclopedia of Philos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Strongly Regular Graph
In graph theory, a strongly regular graph (SRG) is defined as follows. Let be a regular graph with vertices and degree . is said to be strongly regular if there are also integers and such that: * Every two adjacent vertices have common neighbours. * Every two non-adjacent vertices have common neighbours. The complement of an is also strongly regular. It is a . A strongly regular graph is a distance-regular graph with diameter 2 whenever μ is non-zero. It is a locally linear graph whenever . Etymology A strongly regular graph is denoted an srg(''v'', ''k'', λ, μ) in the literature. By convention, graphs which satisfy the definition trivially are excluded from detailed studies and lists of strongly regular graphs. These include the disjoint union of one or more equal-sized complete graphs, and their complements, the complete multipartite graphs with equal-sized independent sets. Andries Brouwer and Hendrik van Maldeghem (see #References) use an alternate but ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Median Graph
In graph theory, a division of mathematics, a median graph is an undirected graph in which every three vertices ''a'', ''b'', and ''c'' have a unique ''median'': a vertex ''m''(''a'',''b'',''c'') that belongs to shortest paths between each pair of ''a'', ''b'', and ''c''. The concept of median graphs has long been studied, for instance by or (more explicitly) by , but the first paper to call them "median graphs" appears to be . As Chung, Graham, and Saks write, "median graphs arise naturally in the study of ordered sets and discrete distributive lattices, and have an extensive literature".. In phylogenetics, the Buneman graph representing all maximum parsimony evolutionary trees is a median graph. Median graphs also arise in social choice theory: if a set of alternatives has the structure of a median graph, it is possible to derive in an unambiguous way a majority preference among them. Additional surveys of median graphs are given by , , and . Examples Every tree is a me ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distributive Lattice
In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets. Definition As in the case of arbitrary lattices, one can choose to consider a distributive lattice ''L'' either as a structure of order theory or of universal algebra. Both views and their mutual correspondence are discussed in the article on lattices. In the present situation, the algebraic description appears to be more convenient. A lattice (''L'',∨,∧) is distributive if the following additional identity holds for all ''x'', ''y'', and ''z'' in ''L'': : ''x'' ∧ (''y'' ∨ ''z'') = (''x'' ∧ ''y'') ∨ (''x'' ∧ ''z''). Viewing lattices as partiall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Birkhoff's Representation Theorem
:''This is about lattice theory. For other similarly named results, see Birkhoff's theorem (other).'' In mathematics, Birkhoff's representation theorem for distributive lattices states that the elements of any finite distributive lattice can be represented as finite sets, in such a way that the lattice operations correspond to unions and intersections of sets. The theorem can be interpreted as providing a one-to-one correspondence between distributive lattices and partial orders, between quasi-ordinal knowledge spaces and preorders, or between finite topological spaces and preorders. It is named after Garrett Birkhoff, who published a proof of it in 1937.. The name “Birkhoff's representation theorem” has also been applied to two other results of Birkhoff, one from 1935 on the representation of Boolean algebras as families of sets closed under union, intersection, and complement (so-called ''fields of sets'', closely related to the ''rings of sets'' used by Birkho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Partial Order
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary relation indicating that, for certain pairs of elements in the set, one of the elements precedes the other in the ordering. The relation itself is called a "partial order." The word ''partial'' in the names "partial order" and "partially ordered set" is used as an indication that not every pair of elements needs to be comparable. That is, there may be pairs of elements for which neither element precedes the other in the poset. Partial orders thus generalize total orders, in which every pair is comparable. Informal definition A partial order defines a notion of comparison. Two elements ''x'' and ''y'' may stand in any of four mutually exclusive relationships to each other: either ''x'' ''y'', or ''x'' and ''y'' are ''inco ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Coloring
In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices of a graph such that no two adjacent vertices are of the same color; this is called a vertex coloring. Similarly, an edge coloring assigns a color to each edge so that no two adjacent edges are of the same color, and a face coloring of a planar graph assigns a color to each face or region so that no two faces that share a boundary have the same color. Vertex coloring is often used to introduce graph coloring problems, since other coloring problems can be transformed into a vertex coloring instance. For example, an edge coloring of a graph is just a vertex coloring of its line graph, and a face coloring of a plane graph is just a vertex coloring of its dual. However, non-vertex coloring problems are often stated and studied as-is. This ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
