zbMATH — the first resource for mathematics

Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Cyclotomic integers and finite geometry. (English) Zbl 0939.05016
The author presents a new approach to the study of combinatorial structures via group ring equations. In a fundamental paper of {\it R. J. Turyn} [Character sums and difference sets, Pac. J. Math. 15, 319-346 (1965; Zbl 0135.05403)] it is shown that the character method for the study of group ring equations works nicely under the so-called self-conjugacy condition. Recall that an integer $n$ is called self-conjugate modulo $m$ if all prime ideals above $n$ in the $m$th cyclotomic field ${\bbfQ}(\xi_m)$ (with $\xi_m := e^{2\pi i/m}$) are invariant under complex conjugation. Under this condition all cyclotomic integers in ${\bbfQ}(\xi_m)$ of absolute value $n^{t/2}$ can be determined for any integer $t \ge 1$. The complete knowledge of the cyclotomic integers of prescribed absolute value is the key ingredient making the character method work so well under the self-conjugacy condition. However, self-conjugacy is a very severe restriction, i.e. the self-conjugacy method fails in almost all cases, because the `probability’ that $n$ is self-conjugate modulo $m$ decreases exponentially fast in the number of distinct prime divisors of $n$ and $m$. Knowing the cyclotomic integers of prescribed absolute value completely would lead to an almost complete determination of the class group of the underlying cyclotomic field modulo the class group of its maximal real subfield. This, however, is a problem of algebraic number theory that appears to be far beyond the scope of the methods known today. This demonstrates the needs for more general results about cyclotomic integers of prescribed absolute value. The author presents a new approach to the absolute value problem. Exploiting the decomposition groups of prime ideals the following key result is proved, where $F(m,n)$ is an integral valued function the definition of which is too involved to be restated here. Theorem 3.5. Assume $X{\overline X} = n$ for $X \in {\bbfZ}[\xi_m]$ where $n$ and $m$ are positive integers. Then $X \xi_m^j \in {\bbfZ}[\xi_{F(m,n)}]$ for some $j$. This reduction to subfields is the key to obtain a general bound on the absolute value of cyclotomic integers, the upshot of which is Theorem 4.2. Let $X \in {\bbfZ}[\xi_m]$ be of the form $X = \sum_{i = 0}^{m-1} a_i \xi_m^i$ where $a_0,\dots,a_{m-1}$ are integers with $0 \le a_i \le C$ for some constant $C$. Furthermore, assume that $X {\overline X} = n$ is an integer. Then $n \le 2^{s-1} C^2 F(m,n)$ where $s$ is the number of distinct odd prime divisors of $m$. If the assumption on the coefficients $a_i$ is replaced by $|a_i|\le C$, then $n \le 2^t C^2 F(m,n)$ where $t$ is the number of distinct prime divisors of $m$. The preceeding theorems are applied to derive a new general exponent bound for difference sets in groups: Theorem 5.2. Assume the existence of a $(v,k,\lambda,n)$-difference set $D$ in a group $G$. If $U$ is a normal subgroup of $G$ such that $G/U$ is cyclic of order $e$, then $e \le v ( 2^{s-1} F(e,n)/n)^{1/2} $ where $s$ is the number of distinct odd prime divisors of $e$. This result is then applied to all parameter series corresponding to known difference sets with $\text{gcd}(v,n) > 1$, i.e. to Hadamard, McFarland, Spence and Chen/Davis/Jedwab parameters. The results obtained here have strong implications for the (non-)existence of circulant Hadamard matrices, which is outlined at the end of Section $6$. Section $7$ presents a general exponent bound for groups containing relative difference sets. With this at hand, the author derives strong necessary conditions for the existence of quasiregular projective planes which in turn lead to asymptotic exponent bounds for abelian groups admitting planar functions. Finally, in Section $8$, the methods developed in the paper are utilized for the study of group invariant weighing matrices.

05B10Difference sets
05B20Matrices (incidence, Hadamard, etc.)
Full Text: DOI