cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A071605 Number of ordered pairs (a,b) of elements of the symmetric group S_n such that the pair a,b generates S_n.

Original entry on oeis.org

1, 3, 18, 216, 6840, 228960, 15573600, 994533120, 85232891520, 8641918252800, 1068888956889600, 155398203460684800, 26564263279602048000
Offset: 1

Views

Author

Sharon Sela (sharonsela(AT)hotmail.com), Jun 02 2002

Keywords

Comments

a(n) is an Eulerian function of S_n. - Kenneth G. Hawes, Nov 25 2019

Crossrefs

Programs

  • GAP
    a := function(n)
      local tom, mu, lens, orders, num, k;
      tom := TableOfMarks(Concatenation("S",String(n)));
      if tom = fail then tom := TableOfMarks(SymmetricGroup(n)); fi;
      mu :=  MoebiusTom(tom).mu;
      lens := LengthsTom(tom);
      orders := OrdersTom(tom);
      num := 0;
      for k in [1 .. Length(lens)] do
        if IsBound(mu[k]) then
          num := num + mu[k] * lens[k] * orders[k]^2;
        fi;
      od;
      return num;
    end; # Stephen A. Silver, Feb 20 2013

Formula

Except for n=2 (because of the "replacement") in A040175, a(n) = n! * A040175(n).
a(n) = 2 * A001691(n) for n > 2.

Extensions

a(10)-a(13) added by Stephen A. Silver, Feb 20 2013

A086373 Number of ordered triples (a,b,c) of elements of the symmetric group S_n such that a,b,c generate S_n.

Original entry on oeis.org

1, 7, 168, 10080, 1401120, 303730560, 109469465280, 56335746378240, 41263790481123840, 41372254858231987200, 55175243131277553715200, 95478523289749232323891200, 209996618265179127555767193600
Offset: 1

Views

Author

Yuval Dekel (dekelyuval(AT)hotmail.com), Sep 06 2003

Keywords

Crossrefs

Programs

  • GAP
    a := function(n)
      local tom, mu, lens, orders, num, k;
      tom := TableOfMarks(Concatenation("S",String(n)));
      if tom = fail then tom := TableOfMarks(SymmetricGroup(n)); fi;
      mu :=  MoebiusTom(tom).mu;
      lens := LengthsTom(tom);
      orders := OrdersTom(tom);
      num := 0;
      for k in [1 .. Length(lens)] do
        if IsBound(mu[k]) then
          num := num + mu[k] * lens[k] * orders[k]^3;
        fi;
      od;
      return num;
    end; # Stephen A. Silver, Feb 20 2013

Extensions

1 more term from David Wasserman, Mar 10 2005
a(6)-a(13) from Stephen A. Silver, Feb 20 2013

A261750 Number of conjugacy classes of two-element generating sets in the symmetric group S_n.

Original entry on oeis.org

0, 1, 2, 5, 31, 163, 1576
Offset: 1

Views

Author

Attila Egri-Nagy, Aug 30 2015

Keywords

Comments

Two generating sets are considered to be the same if they differ only by some relabeling of the points, i.e., conjugating by some element of S_n. For instance, the generating set {(1,2), (1,2,3,4)} is the same as {(2,3),(1,2,3,4)} by the relabeling 1->2, 2->3, 3->4, 4->1. As a non-example, the generating sets {(1,2),(1,2,3,4,5)} and {(1,3),(1,2,3,4,5)} are different, since the points in the transpositions are differently placed in the 5-cycle.

Crossrefs

Cf. A001691.

Programs

  • GAP
    # GAP 4.7 code for calculating the number of distinct 2-generating sets of
    # symmetric groups.
    # This code is written for readability, and to minimize package dependencies.
    # 2015 Attila Egri-Nagy
    # decides whether the given generating sets generate the symmetric group of
    # degree n or not
    IsSn := function(gens,n)
      return Size(Group(gens))=Factorial(n);
    end;
    # returns all degree n permutations (i.e., elements of the symmetric group)
    AllPermsDegn := function(n)
      return AsList(SymmetricGroup(IsPermGroup,n));
    end;
    # first 5 entries of A001691 calculated in an inefficient manner
    # taking all sets of cardinality 2 and check
    gensets := List([1..5],
                    x->Filtered(Combinations(AllPermsDegn(x),2),
                            y->IsSn(y,x)));
    Display(List(gensets,Size));
    # returns the conjugacy class representative of P under G
    # calculates the conjugacy class of P and returns the minimum element
    # P - set of permutations
    # G - permutation group
    ConjClRep := function(P, G)
      return Minimum(Set(AsList(G), x-> Set(P, y->y^x)));
    end;
    Display(List([1..5],
            x->Size(Set(gensets[x],
                    y->ConjClRep(y,SymmetricGroup(IsPermGroup,x))))));
Showing 1-3 of 3 results.