Cutting corners: introducing the gamma-values gamma[1], gamma[2], gamma[3], gamma[4], `...` 

 

 

Now, I am really going to cut corners. With the final part of the last section in mind, that we embarked on a study of solutions of Gauss factorial congruences like (e.g.): 

 

 

 

 

 

etc 

 

 

and one clear message quickly presented itself, that an especially significant case was when n = `^`(p, alpha) 

 

But when one tries finding solutions of (e.g) at n = `^`(p, alpha) one quickly senses that as soon as alpha goes up in value to 2 (then 3, then 4, then 5, ... ) (and now I am resorting to crudely inaccurate speech, to give you a sense; I shall make it more precise shortly) the value of: 

 

 

 

 

gets further and further away from being 1 as alpha increases in size. 

 

What exactly do I mean by that broad statement?  

 

First, let me introduce a simplification of the notation in the last Gauss factorial object:   

 

The very meaning of that object is that it is the product of all the residues in the quarter interval [1, `+`(`*`(`/`(1, 4), `*`({`+`(`^`(p, alpha), `-`(1))})))] that are relatively prime to `^`(p, alpha), i.e. do not have a prime factor in common with `^`(p, alpha). But - since the only prime dividing `^`(p, alpha) is p itself, then  

 

factorial((`+`(`*`(`/`(1, 4), `*`({`+`(`^`(p, alpha), `-`(1))}))))[`^`(p, alpha)]) may be more be more succinctly written - without altering its meaning - as factorial((`+`(`*`(`/`(1, 4), `*`({`+`(`^`(p, alpha), `-`(1))}))))[p]) 

 

Now, we give a precise meaning to " further and further away from being 1 as alpha increases in size ". 

 

Let gamma[alpha] be the order with respect to the modulus `^`(p, alpha) of the Gauss factorial factorial((`+`(`*`(`/`(1, 4), `*`({`+`(`^`(p, alpha), `-`(1))}))))[p]), then the precise meaning of: 

 

gets further away from 1 as alpha increases in size 

 

is that the gamma-values (generally) gamma[1], gamma[2], gamma[3], gamma[4], `...` increase in size with alpha.  

 

Moreover, this increase is highly regular (99.999 ... % of the time) - and not just for Gauss quarter-factorials, but generally - as illustrated in the next section, with half- and quarter factorials.