Montreal Math ClubMathematics students in Montreal - Étudiants de mathématiques à Montréal

 Montreal Math Club :: Mathematics :: Combinatorics Share |

# Combinatorial Groups

Go to page : 1, 2
AuthorMessage

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Combinatorial Groups   Mon Dec 20, 2010 10:29 pm I have tried to write an equivalent definition of a combinatorial group, inspired by the Burnside definition of a transitive group.Burnside wrote: 133. Definition. A permutation-group is called transitive when, by means of its permutations, a given symbol a1 can be changed into every other symbol a2, a3, ..., an operated on by the group. When it has not this property, the group is called intransitive.Here is what I got :Equivalent definitionLet H be a closed subset of n permutations of the symmetric group Sn that permutes the symbols a1,......, an.H is called combinatorial group if H is transitive, i.e, by means of its permutations, a given symbol a1 can be changed into every other symbol a1, a2, a3, ..., an operated by H.Example :==== The next piece that I need to explain why GroupeCombinatoire' = Lin is the Big Bijection Theory.To understand the Big Bijection Theory one must understand the Relativity Theory.Mainly, the Relativity Theory says that the time flows with the same speed all over*, and, yes, we can synchronize clocks for two events to be linearly compared, even that a direct link cause-effect is not possible to establish between them.Thus, every box/slot/cube/ball/label ever produced has two simultaneous attributes :- a unique ID number (a name)- a unique time-stamp, that can be always compared, by the theory of relativity, with others time-stamps.The Big Bijection Theory sustains that there is an Unique Original Bijection between the IDs of objects and their time-stamps.Thus, a named-slots structure is the very same combinatorial thing with a linear order structure.-----------------* excepting, for academic rigor, accelerated environments such as roller coasters or discos.

Pythagoras

Posts : 19
Join date : 2010-10-29

 Subject: Re: Combinatorial Groups   Tue Dec 21, 2010 1:18 pm nick wrote: the Big Bijection TheoryHey bro, do you ever heard about the Big Bijection Theory ?Nick, just for academic honesty, why don't you tell fellows where do you saw the very first time the combinatorial group ?

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Tue Dec 21, 2010 1:23 pm Dig Da Link, bros,Dig Da Link !=======================Look here.There are people that are studying 4D synthetic geometry. One day, someone will write a computer program that will train the user to develop his 4D intuition. Some stunt man will wire himself to the computer, and he will obtain the 4D intuition.I think that these kind of intuition's experiments must come in a natural manner. If I will ever understand a combinatorial identity likea Normal Subgroup = a Group ( a Group) or whatever is a group labeled with another group, this must come naturally, like the snow in a beautiful winter as this one.

Pythagoras

Posts : 23
Join date : 2010-10-23

 Subject: Re: Combinatorial Groups   Wed Dec 22, 2010 11:34 am Nick, this is no more about sets and/or arrows.This is about Graphs and/or Groups.After you point a node in a graph, you get a set of neighbors.After you point a node in a group, you get a lin of neighbors.

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Wed Dec 22, 2010 1:10 pm Dr. Post wrote:After you point a node in a graph, you get a set of neighbors.After you point a node in a group, you get a lin of neighbors.That's exactly what I am saying. Moreover,After I point a node in a cube, I get a cyc of neighbors. a cyc from Cyclops, not from bananas or strawberries.

Pythagoras

Posts : 23
Join date : 2010-10-23

 Subject: Re: Combinatorial Groups   Wed Dec 22, 2010 6:44 pm Nick, here is one good news : The century is XXI ! here is is 12-puzzle !http://magnolia-heights.com/sporadicgames/m12/manual.html

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Wed Dec 22, 2010 9:00 pm Dr. Post wrote:The century is XXI !So what ?It's on UQAM labels factory to produce nice labels, like group-labels.

Pythagoras

Posts : 23
Join date : 2010-10-23

 Subject: Re: Combinatorial Groups   Thu Dec 23, 2010 12:15 am Nick, let's bypass bla bla. and let me ask you something,If you ever need to quote about UQAM species,would you useJoyal ?orJoyal of Saint-Majorique ?

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Thu Dec 23, 2010 12:56 am Who wrote the very first time Subset = Set.Set?Doc, this is about the natural generalization of Cardinal Numbers and Ordinals Numbers.Normally I use UQAM teachers and not Joyal of Saint-Majorique .

Pythagoras

Posts : 23
Join date : 2010-10-23

 Subject: Re: Combinatorial Groups   Thu Dec 23, 2010 1:35 am you know,this natural generalization of Cardinal Numbers and Ordinal Numbers exists only in your imagination, like all Math in the world.Math does not exists in books, but in the heads of people that claim them selves mathematicians.Until another claim, you should use "Nick of Longueuil" to point who did this generalization.

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Thu Dec 23, 2010 1:52 am My maximal claim is to be the very first student that understood the Theory of Species.Until another claim, Group' remains Lin, via the Big Bijection Theory.

Pythagoras

Posts : 19
Join date : 2010-10-29

 Subject: Re: Combinatorial Groups   Fri Dec 24, 2010 11:03 am After you point a node in a graph, you get a set of neighbors,After you point a node in a group, you get a lin of neighbors,After you point a node in a cube, you a cyc of neighbors, andAfter you point a node in a function, you get an X of neighbors.==============Let's stick on subject :Nick, on this planet, Z2×Z2 is :{111, 1ii, 1jj, 1kk, i1i, j1j, k1k, ii1, jj1, kk1, ijk, jik, ikj, kij, kji, jki }When labeling, you have one special element and four choices for the first label. To label the rest, is to label { i, j, k, ijk, jik, ikj, kiji, kji, jki } that is an Ens3.all over you get X.Ens3;(X.Ens3)' = Ens3 + X.Ens2

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Fri Dec 24, 2010 11:55 am My combinatorial Z2×Z2 is :{ 1ijk, i1kj, jk1i, kji1 } (Z2× Z2)' = Lin3There are six realizations and not four. The Stab is the group itself Z2×Z2 and not Aut(Z2×Z2 ).

Pythagoras

Posts : 23
Join date : 2010-10-23

 Subject: Re: Combinatorial Groups   Fri Dec 24, 2010 8:28 pm nick wrote: the Big Bijection Theory.Thus, every box/slot/cube/ball/label ever produced has two simultaneous attributes :- a unique ID number (a name)- a unique time-stamp, that can be always compared, by the theory of relativity, with others time-stamps.The only solution I see is to develop the Big Bijection Theory.Thus, every abstract group has two attributes :- a Burnside group ( primitive of some lin )- a Cayley group ( or Cayley table )Marry Christmas everyone !

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Sat Dec 25, 2010 8:13 am G funk wrote:Nick, on this planet, Z2×Z2 is :{ 111, 1ii, 1jj, 1kk, i1i, j1j, k1k, ii1, jj1, kk1, ijk, jik, ikj, kij, kji, jki } And what happens if an extraterrestrial brother reads the set above ? Do you think that it will verify the axioms ? No !It will say : here is the Aut (Z2×Z2) !

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Tue Dec 28, 2010 11:33 am Ok.Let's take Frobenius of order 20 with degree 5, sharply double transitive.ID.........12345[1, 2, 3, 4, 5]...23451 [1, 3, 5, 2, 4]...34512[1, 4, 2, 5, 3]...45123 [1, 5, 4, 3, 2]...51234[2, 5], [3, 4]...15432[1, 3], [4, 5]...32154[1, 5], [2, 4]...54321 [1, 2], [3, 5]...21543[1, 4], [2, 3]...43215[2, 3, 5, 4]...13524[2, 4, 5, 3]...14253[1, 4, 3, 5]...42531[1, 5, 3, 4]...52413[1, 2, 5, 4]...25314[1, 4, 5, 2]...41352[1, 3, 2, 5]...35241[1, 5, 2, 3]...53142[1, 2, 4, 3]...24135[1, 3, 4, 2]...31425and let's take the derivative :*23452345* 345*245*23 5*234*543232*545432* 2*543432*5*3524*42534253*524*3253*44*3523524*53*4224*353*425A close look reveals that da stabilizer of this structure is ={ (), (2453), (25)(34), (2354) }= Z4, or C4.Doc, doesn't this looks like F5'=Z4 ?and, generally speaking,Field'=Cyc ?

Pythagoras

Posts : 19
Join date : 2010-10-29

 Subject: Re: Combinatorial Groups   Tue Dec 28, 2010 11:16 pm Nick, we give up ! Here is the correct formula for your cube :CUBE' = X. [Cyc4(X6) + Cyc3(X8) + Cyc2(X12)]After pinning a special point, another point becomes very special.The remaining liberty of moving (relabeling) is described by- either a Cyc4(X6)- either a Cyc3(X8)- or a Cyc2(X12) (no coefficients are needed), where aCyc(aLin) expresses the solidity.The e.g.f. is x(1/4+1/3+1/2)x^24 hence you have 13/12.25! = 26!/24 distinct labellings (with 26 distinct labels)---- So, after pinning a point in aField, everybody will believe that the pinned point is 0, and the remaining liberty is aCyc one... Who's next ? do you have an example of endo-species aSpecies that has no primitive ?

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Wed Dec 29, 2010 1:23 am OK. For the reader that tries to follow these posts, here is the dictionary : transposition canonThe nice photos were taken with a solar system of transpositions: (0, 1), (0, 2),......,(0, n-1).What I (at least) have claimed is :E± = TaquinP4bic = Z2×Z2 and aGroup'= aLinP5/Z2 = F5 and aField' = aCyc

Pythagoras

Posts : 23
Join date : 2010-10-23

 Subject: Re: Combinatorial Groups   Wed Dec 29, 2010 5:47 pm Take one from me :Since for each n there is precisely one Boolean Algebra, we must have :BooleanAlgebra = Ens

Pythagoras

Posts : 19
Join date : 2010-10-29

 Subject: Re: Combinatorial Groups   Wed Dec 29, 2010 7:37 pm Doc is right, Nick.powerset (A), A×A, AA are in the same situation.The secret of trees is that those nodes have a very small amount of structure around them; the trees are the most "naked" structures among others. A tree acting on its nodes is equal to the tree of edges (with concatenation).They are very complex and simultaneously exposed structure, hence their generosity as species.To compare, take a look here to see the mess inside a finite vector space : http://math.illinoisstate.edu/psissok/publ/art3.pdf

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Wed Dec 29, 2010 11:23 pm Yep. To integrate a field, one must add a point (namely infinity) and consider the Möbius transformations - that form a sharply triple transitive group.Möbius Fields -----> Affine Fields -----> Cycs, Groups ----- >Lins That's the way aha aha !Fellows, my inquiry comes to its end... as doctor said, we can not find new things about boolean algebras using the four basic operations of species (of numbers). When passing to species we loose axioms, constants, relations, operations: plenty of useful things that make math. Nevertheless, an object caught in a simple combinatorial equation must be a fundamental math object that deserves to be studied.

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Sun Jan 02, 2011 3:08 pm Again good news !I have found new tables of species. It is no more about derivation, but is about disintegration !Probably, the word "derivation" was used to help the student to remember what he has to do when passing to e.g.f.http://www.labmath.uqam.ca/~annales/volumes/17-1/PDF/011-037.pdfHence :(Z6/A5b)/Z2 ----disintegration---> P5/Z2 ----disintegration---> C4 ----disintegration---> L3A Möbius Field disintegrates into an Affine Field that disintegrates into a Cyclic Group that disintegrates into a Lin.http://home.wlu.edu/~dresdeng/smallrings/Other good news is that there are intermediary objects between groups and fields, that could be rings.They are more than sharply transitive and less that sharply double transitive.Again, let's take C7, P7, C7/Z3 and P7/Z3 from tables.meaning respectively group (Z7) , some ring, some ring, and field (F7)One can see those species as linear transformations a.x+b over Z7, where- a belongs to {1}- a belongs to {1, 6}- a belongs to {1, 2, 4} or- a belongs to {1, 2, 3, 4, 5, 6} respectively.

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Tue Jan 04, 2011 10:18 am And here is the new inquiry.Once accepted the identity-free representation of a permutation group (a closed subset of permutations), e.g. the Diamond {12abc, 12bca, 12cab, 21bac, 21cba, 21acb} has order 6 and degree 5, also written as a rectangle12abc12bca12cab21bac21cba21acbthat works since anyone of these xyztu may be appointed as identity,the four basic operations with species become :Sum :Means just to put nearby two rectangles,Product : - the new degree is the sum of the degrees- the lines of the new rectangle are the all concatenations of the lines of the two tablesDisintegration :Means to reduce the degree with one and to clean up the messed rectangle(s) new degree = degree - 1new order' = order/degreeComposition :It is the wreath productMeans to substitute the symbols in the first rectangle with lines and copies of lines of the second rectangle.new degree = degree1×degree2new order = order1×(order2)^degree1Hall (1959) describes the composition (wreath product).

Pythagoras

Posts : 19
Join date : 2010-10-29

 Subject: Re: Combinatorial Groups   Tue Jan 04, 2011 6:31 pm Ok.so, a species is no more some clouds or traines des nuages in the blue sky that suffers magical interferences with other clouds, but is a permutation group (or a series of).Let's call this group a ground group.Nick, will you explain :- why the ground group of a group G is the group acting on itself and not Aut(G)- why the ground group of a field F is not (F,+), not (F, ×) but (F, ax+b)etc etc. Does a math structure has a unique ground group and how do you obtain it ?

Euclid

Posts : 95
Join date : 2009-09-15
Age : 56
Location : Alexandria

 Subject: Re: Combinatorial Groups   Tue Jan 04, 2011 8:00 pm Fellows,Didn't happened to you to hear people comparing math with poetry or music ?Well, this is what they were talking about : to find the ground group(s) of some given structure.

 Subject: Re: Combinatorial Groups

 Combinatorial Groups
 Page 1 of 2 Go to page : 1, 2
 Similar topics