Counting racks of order n

Abstract: A rack on

[n]

can be thought of as a set of maps

(f_{x})_{x i n [n]}

, where each

f_{x}

is a permutation of

[n]

such that

f_{(x) f_{y}} = f_{y}^{- 1} f_{x} f_{y}

for all

x

and

y

. In 2013, Blackburn showed that the number of isomorphism classes of racks on

[n]

is at least

2^{(1 / 4 - o (1)) n^{2}}

and at most

2^{(c + o (1)) n^{2}}

, where

c a p p r o x 1.557

; in this paper we improve the upper bound to

2^{(1 / 4 + o (1)) n^{2}}

, matching the lower bound. The proof involves considering racks as loopless, edge-coloured directed multigraphs on

[n]

, where we have an edge of colour

y

between

x

and

z

if and only if

(x) f_{y} = z

, and applying various combinatorial tools.

Full work available at URL: https://arxiv.org/abs/1607.07036

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

Cites Work

Cited In (4)

Uses Software

This page was built for publication: Counting racks of order \(n\)