arxiv: v1 [math.ac] 30 Nov 2012

Size: px

Start display at page:

Download "arxiv: v1 [math.ac] 30 Nov 2012"

Millicent Reynolds
5 years ago
Views:

1 ON MODULAR INVARIANTS OF A VECTOR AND A COVECTOR YIN CHEN arxiv:73v [mathac 3 Nov Abtract Let S L (F q be the pecial linear group over a finite field F q, V be the -dimenional natural repreentation of S L (F q and V be the dual repreentation We denote by F q [V V S L (F q the correponding invariant ring of a vector and a covector for S L (F q In thi paper, we contruct a free module bai over ome homogeneou ytem of parameter of F q [V V S L (F q We calculate the Hilbert erie of F q [V V S L (F q, and prove that it i a Gorentein algebra A an application, we confirm a pecial cae of the recent conjecture of Bonnafé and Kemper in [ Introduction Let K be a field and V be an n-dimenional faithful repreentation of a finite group G over K Let V be the dual repreentation of V and K[V V be the ymmetric algebra of V V If we chooe x,, x n } a a tandard bai of V andy,, y n } a the dual bai, then K[V V can be identified with the polynomial ring K[x,, x n, y,, y n For every element g G, the action of g on V induce an action on K[V V a a K-algebra automorphim In the language of claical invariant theory, the ubring coniting of all G-invariant polynomial i called the invariant ring of a vector and a covector of G and denoted by K[V V G If the characteritic of K divide the order of G then the invariant ring K[V V G i called modular; otherwie non-modular or ordinary One of the purpoe in invariant theory i to find explicit generator and relation among them for the invariant ring K[V V G We recommend [, 7, 8, 3 a general reference for invariant theory of finite group In thi paper, we hall tudy the modular invariant ring K[V V G for ome finite linear group G with it natural modular -dimenional repreentation V There are two motivation which lead u to conider the modular cae Firtly, the non-modular invariant ring K[V V G i of importance in repreentation theory of Cherednik algebra and the geometry of Hilbert cheme Epecially in the ituation where k i the field of complex number and G i a finite reflection group, it ha been tudied intenively and affected in many reearch paper over the lat twenty year (ee [9,,, and reference therein However, very few reult eem to be known in the modular cae The econd reaon come from the modular vector invariant theory A well-known fact aert that F q [V V U n(f q, the ring of vector invariant of copie of V, i not Cohen-Macaulay where n 3 and V i the natural module of U n (F q, the group of all upper triangular matrice over a finite field F q On the other hand, a recent reult due to Bonnafé and Kemper [ aert that the invariant ring F q [V V P n(f q i complete interection and o Cohen-Macaulay Thi intereting example indicate that there may be a big difference between F q [V V G and F q [V V G for the ame group G and the ame repreentation V In what follow we aume that K F q i a finite field with q p r element, where p i a prime and r i a poitive number We denote by U n (F q the group of all upper triangular matrice in the pecial linear group S L n (F q and by P n (F q the group of all upper triangular matrice with on the Date: May 5, 4 Mathematic Subject Claification 3A5, H3 Key word and phrae Modular invariant; Gorentein algebra; Hilbert erie; Homogeneou ytem of parameter

2 YCHEN main diagonal Recall that P n (F q i the Sylow p-ubgroup of U n (F q, S L n (F q and the general linear group GL n (F q In the recent paper [ by Bonnafé and Kemper, the invariant ring F q [V V U n(f q and F q [V V P n(f q were calculated, and the concluion aert that two invariant ring are both complete interection, where V i the natural repreentation In lat ection of the ame paper, the author have raied the following conjecture Conjecture (Bonnafé-Kemper [ The invariant ring F q [V V GL n(f q i a Gorentein algebra Bonnafé and Kemper verified thi conjecture for ome pecial n and q by variou computation in the computer algebra ytem magma However, they did not give any mathematical proof for thi conjecture (even in the cae n A we know, a baic and very complicated tak in modular invariant theory i to determine the tructure of the invariant ring F q [V V G for a finite group G and a modular repreentation V We conider GS L (F p and F q F p i a prime field Since the -dimenional natural repreentation V i elf-dual, the invariant ring F p [V V S L (F p i iomorphic to the vector invariant ring F p [V S L (F p Recently, the latter wa computed by Campell et al in [6 (Actually, a et of minimal generator for F p [mv S L (F p wa contructed Apart from thi, it eem there are no more advance in invetigating the tructure of the invariant ring F q [V V G for a finite linear group G with it natural module V, even for the mot important group S L n (F q and GL n (F q The main purpoe of thi paper i to contruct a free module bai over ome homogeneou ytem of parameter for F q [V V S L (F q and F q [V V GL (F q repectively Some calculation for the Hilbert erie of the two ring of invariant allow u to how that they are Gorentein algebra A an application, we confirm a pecial cae (n of the above conjecture For implicity, in the ret of thi paper we write P, S L, and GL for P (F q, S L (F q, and GL (F q repectively The ymbol P, S L and GL will be employed to denote the product P P, S L S L and GL GL repectively We write R for the polynomial ring F q [x, x, y, y The reult of Bonnafé and Kemper [ aert that the invariant ring R P i a hyperurface and o i Cohen-Macaulay By a theorem of Campbell, Hughe and Pollack (Theorem in [4, the invariant ring R S L and R GL are both Cohen-Macaulay Thi fact lead u to contruct a free module bai for R S L and R GL over a uitably choen homogeneou ytem of parameter The eence of thi idea i the ame a that of Campbell and Hughe in [3 The econd tep i to compute the correponding Hilbert erie H ( R S L, t and H ( R GL, t Finally, we apply a well-known theorem due to Stanley [4 to prove the Gorenteinne of R S L and R GL Thi paper i organized a follow Section i a preliminary which contain ome baic fact and contruction; more preciely, we contruct a free module bai of R P over RS L In Section 3, we extend ome reult of Campbell and Hughe [3 from a prime field F p to a general finite field F q with q p r ; we contruct a free module bai of R S L over R S L and compute the Hilbert erie of R S L ; we deduce that R S L i a Gorentein algebra In Section 4, we apply the ame technique to the cae of GL and prove that R GL i alo a Gorentein algebra Preliminarie We ue the ame abbreviation a in the Introduction, uch a P, S L, GL, and R For every noningular matrix A, the map A [ (A t A give an embedding of GL into GL 4, where (A t i the invere of the tranpoe of A Thu the group P, S L, and GL can be viewed a ubgroup of P, S L,

3 INVARIANTS OF A VECTOR AND A COVECTOR 3 and GL repectively We write A[ a b c d, the induced action of A on R i given by ( ( A [x x y A [ y (deta [ d c [ a b c d b a [ y y [ ay +by cy +dy [ x [ x (deta dx cx bx +ax We define an involution : R R given by x y, x y, y x, y x Moreover, for G P, S L, GL }, the involution induce an automorphim of the invariant ring R G Recall that the order of group P, S L, and GL are q, q(q, and (q (q q repectively A theorem of Kemper ([, Propoition 6 implie that the invariant ring R S L i a polynomial algebra and generated by the Dickon invariant and their-image: d, det[ x x q x x q [, c, (d, x det x q [ d, det y y q y y q, c, (d, det [ x x q y y q y y q The following two lemma are ueful in our dicuion (ee the proof of Propoition 3 in [3 and Theorem in [4 for the detailed proof Lemma Let R be the polynomial ring over a field K and G act on R a a K-automorphim group If H i a ubgroup of G uch that the ubring of fixed element R H i Cohen-Macaulay and R G a polynomial ring, then R H i a free module over R G of rank [G : H Lemma Let P be a Sylow p-ubgroup of a finite group G acting linearly on R, a polynomial algebra over a field If the invariant ring R P i Cohen-Macaulay, then alo i R G Propoition 3 The invariant ring R P and R S L are free module over R S L with the rank q(q and q(q repectively Proof By the reult of Bonnafé and Kemper ([, Theorem 4, R P i a hyperurface and o Cohen- Macaulay Since the group P i a Sylow p-ubgroup of S L, it follow from Lemma that R S L i alo Cohen-Macaulay Now the invariant ring R S L i a polynomial algebra generated by d,, c,, d,,,} c, and d,, c,, d,,,} c i a homogeneou ytem of parameter for R P and R S L, thu they are free module over R S L By Lemma, the correponding rank are equal to q(q and q(q repectively We defineφ : x,φ : x q x x q, and u : x y + x y Thenφ y,φ yq y y q, and u u In [, it i proved that the invariant ring R P i a hyperurface and generated byφ,φ,φ,φ, u } with the ingle relation (3 u q (φ φ q u +φ q φ + (φ q φ It i eay to verify that (4 (5 (6 (7 (8 φ φ d, φ φ d, φ q(q + φ c, d, φ q (φ q(q + (φ c, d, (φ q φ q φ q(q + c, ;

4 4 YCHEN (9 (φ q (φ q(q + c, Put φ i (φ j u k, i, j q(q, k q ; φ i ( P (φ j u k, i q(q, j q, k q ; (φ i φ j uk, i q(q, j q, k q ; φ i (φ j u k, i, j q, k q Propoition 4 All element in the et P form a free R S L -module bai of R P Proof No lo of generality, we aume that a free R S L -module bai for R P conit of monomial φ i (φ j φ r (φ u t Let I P be the homogeneou ideal generated by d,, c,, d,,,} c in R P We ee that in (4-(7, each monomial on it left-hand ide belong to I and o none of thee monomial and their power will appear in a free bai The (8 and (9 indicate that one ofφ q ( (φ q and (φ q(q may appear in a free bai but not both We chooeφ q andφ q(q a the element in a free bai Moreover, it follow from (3 that the power of u larger than q do not appear in andφ q(q a free bai The et of all monomial not eliminated from a free bai i jut P We oberve that P ha exactly q(q element, thu it mut be a free bai 3 S L -Invariant The purpoe of thi ection i to contruct a free R S L -module bai of R S L and to compute the correponding Hilbert erie H ( R S L, t We define (3 u : x q y +x q y Then u x y q + x y q By ( and (, we ee that u, u, and u are in RGL and thu belong to R S L Moreover, it i not difficult to check the following identitie from the definition: (3 (33 (34 (35 (36 We alo define u q+ u u d,d, u q c,u q (d, q u (u q c, uq (d, q u u φ q u +φ φ u (φ q u +φ φ (37 h : u+ (d, q + (u q d, u q (,,, q Obviouly, h h q for all In particular, h c, and h q c, Lemma 3 Each h i an S L -invariant polynomial Proof It follow from (34 that u + (d, q c, uq u (u q u Thu h u+ (d, q + (u q d, u q

5 INVARIANTS OF A VECTOR AND A COVECTOR 5 u+ (d, q + (u q (d, d, u q (d, c, uq u (u q u + (u q (d, d, u q (d, By (3 we have Hence (38 (d, d, ( u u uq+ h ( ( k k k (u u k( u q+ ( c, uq u + (u q k ( k( k (u u k( u q+ k u q (d, k Every term in the numerator of h contain u q a a factor and uq i prime to (d, Thu the numerator of h i diviible by u q (d,, ie, h i a polynomial The S L -invariance of h hold immediately Lemma 3 For all,,, q, the following identitie hold: (39 In particular, we have (3 (3 u h u u (d, q + d, h u h u (u q d, + d, h + u (u q u h d, h, u u q u h q d, h q Proof Indeed, it follow from (37 that u h u u+ (d, q + (u q + d, u q d, h d,u (d, q + (u q + d, u q Thu u h d, h u u+ (d, q d, u (d, q u q (u u u (d, q d, u (d, q u q (by (3 (uq+ + d, d, u (d, q d, u (d, q u q u u (d, q Similarly, one can prove the other identitie We are now ready to contruct a free R S L -module bai for R S L, ie, to prove the following theorem

6 6 YCHEN Theorem 33 The invariant ring R S L i a free R S L -module on the following et (u i u j, i, j q ; (3 S (u i u j uk, i, j q ; k q; h u k, q ; k q Proof Let I P and I S denote the homogeneou ideal generated by d,, d,, c,, c,} in R P and R S L repectively To prove that the q(q element in S form a free bai, we have to verify two condition: ( thee element do not belong to I S ; and ( they are linearly independent modulo I S Since R S L R P, we have I S I P For the condition (, it uffice to how that every element doe not belong to I P ; namely, to how that (u q u q, (u q u q u q and h u q are not zero modulo I P We now are working on modulo I P, and we check them one by one Firt of all, it follow from (35 and (36 that (u u q (φ φ (q u (q + u q (φ q(q (φ q + (φ q(q φ q (φ φ (q u q u q (φ φ q(q By (3, we have (φ φ (q u q (φ φ (q u q ((φ φ q u +φ q φ + (φ q φ (φ φ q(q u q Thu (u u q (φ φ q(q u q doe not belong to I P becaue the latter i an element of the free bai P by Propoition 4 Secondly, from (3 we have (u q u q u q+ (u u q Thu (u q u q u q i not an element in I P Finally, it follow from (35 and (36 that ( φ + h u q φ (d, q + ( φ φ q d, u By (4 and (5, we eventually deduce that h u q ( φ (φ q u q, which i not in I P Thu the condition ( i atified For the condition (, we need only to how that (u i u j }, (u i u j uk }, and h u k } are all linearly independent modulo I S We are working on modulo I S Firt, we aume that all (u i u j are linearly dependent Then there exit an equation a i j (u i u j where a i j in F q We order the monomial (u i u j lexicographically uing the exponent equence (i, j Let a i j be the coefficient of the mallet monomial Multiplying the left hand ide of the preceding equation by (u q i u q j, we obtain a i j (u q +i i u q + j j a i j (u q u q + a i j (u q +i i u q + j j i>i and j> j Combining thi equation with (33 and (34 we get a i j (u q u q Thu a i j equal zero, and thi i a contradiction Second, aume that there exit an equation a i jk (u i u j uk and let a i j k be the coefficient of the mallet monomial in the lexicographical order Multiplying the left hand ide of thi equation by (u q i u q j, we obtain the reulting um: (u q u q a i j ku k + other higher term with larger power of u and u k It follow from (3 and (3 that u (u q and u u q Thu (33 (u q u q a i j ku k k

7 INVARIANTS OF A VECTOR AND A COVECTOR 7 Let k i the leat integer for which a i j k We then multiply the left ide of (33 by u q+ k Similarly, it follow from (3 that a i j k (u q u q u q+, which implie that a i j k, a contraction The ame method can be applied to h u} k Aume that all h u k are linearly dependent with a relation ak h u k Thi equation can be rewritten a (34 a k h uk + + a km h uk m, where k < < k m q Multiplying the left hand ide of (34 by u q k, we obtain q ( a k h u + t q a t h u t By (37, we ee that for t q, every h u t belong to I S Thu if we write b for a k, then b ( h u q It i eay to ee that all h u q are linearly independent modulo I S ince allφ (φ p u q are linearly independent modulo I P and I S I P Now we can compute the Hilbert erie of R S L We recall that the Hilbert erie of a graded algebra A i A i over a field k i defined to be H(A, t i dim k A i t i The Hilbert erie of a polynomial algebra N F q [ f,,f r with degree f i d i i equal to H(N, t ( r i t d i Moreover, if M i a free N-module withm,, m } a bai element of degree m j e j, we have the Hilbert erie j t e j H(M, t ri ( t d i All element and their degree in the bai S of R S L a a free R S L -module are lited in the following Table Table : S-the econd invariant of S L Bai u u u 3 u q Degree q+ (q+ 3(q+ (q (q+ Bai u u u 3 u q Degree q+ (q+ 3(q+ (q (q+ Bai u u u u u u 3 u u q Degree (q+ 3(q+ 4(q+ q(q+ Bai u u u u u u3 u uq Degree 3(q+ 4(q+ 5(q+ (q+(q+ Bai u q u u q u u q u 3 u q u q Degree (q (q+ q(q+ (q+(q+ (q 3(q+ Bai u q u u q u u q u 3 u q u q Degree q(q+ (q+ (q+ (q+(q+ (q (q+ Bai u k u u k u uk u 3 uk u q u k Degree k k+ q+ k+(q+ k+3(q+ k+(q (q+ Bai u u k u uk u 3 uk u q u k Degree k+ q+ k+(q+ k+3(q+ k+(q (q+ Bai u u u k u u uk u u 3 uk u u q u k Degree k+ (q+ k+3(q+ k+4(q+ k+(q (q+ Bai u u u k u u uk u u3 uk u uq u k Degree k+ 3(q+ k+4(q+ k+5(q+ k+q(q+ Bai u q u u k u q u uk u q u 3 uk u q u q u k Degree k+ (q k+q(q+ k+(q+ k+q q 4 Continued on next page

8 8 YCHEN Table continued from previou page Bai h h u h u h u 3 h u q Degree q q q q+ q q+4 q q+6 q + q Bai h h u h u h u 3 h u q Degree q q q q+ q q+4 q q+6 q + q Bai h q h q u h q u h q u 3 h q u q Degree q q q q+ q q+4 q q+6 q + q Hence we get the Hilbert erie of R S L, where H (t H (k, t H ( R S L, t H (t+ q k H (k, t+h 3 (t, ( t q+ ( t q q +t q+ + 3t q+ + +qt q + (q t q +q + +t q t k + t k+q+ + 3t k+q+ + +(q t k+q q +(q t k+q + +t k+q q 4 H 3 (t (q t q q + (q t q q+ + +(q t q +q We conclude thi ection with an application of the Hilbert erie From a well-known theorem due to Stanley ([4, Theorem 44 or [3, page 45, we deduce that the invariant ring R S L i a Gorentein algebra if and only if H ( R S L, t t i H ( R S L, t, for ome integer i Thu Theorem 34 The invariant ring R S L i a Gorentein algebra Proof Indeed, ( H t q ( H k, t ( H 3 t k t q H (t t q k t q H 3(t q H (k, t Then ( H R S L, t ( t q H (t+ q k H (k, t+h 3 (t t q + ( tq+ ( t q q tq + t q H( R S L, t t 4 H ( R S L, t, a deired

9 INVARIANTS OF A VECTOR AND A COVECTOR 9 Example 35 We conider the invariant ring of S L (F 3 It follow from Theorem 33 that R S L (F 3 i a free R S L (F 3 -module on the following et u i u j, i, j ; (35 u i u j uk, i, j ; k 3; h u k, k Thu H (t +t 4 + 3t 8 + t + t 6 3 ( H (t t k + t k+4 + t k+8 k t + t 4 + 3t 6 + t 8 + 3t + t + t 4 H 3 (t t 6 + t 8 + t The function H (t, H (t and H 3 (t are ymmetric in t and t So H ( R S L (F 3, t t 4 H ( R S L (F 3, t and R S L (F 3 i a Gorentein algebra by Stanley theorem 4 A Special Cae of Bonnafé-Kemper Conjecture In thi ection, we hall apply the ame technique to the cae of GL Firt we need the notion of relative trace map of a group relative to it ubgroup, which i an important tool in calculating the invariant ring Let H G be two finite group acting linearly on the polynomial algebra R andg t } be a et of right repreentative for H in G If the index [G : H i invertible in the ground field, then the relative trace map Tr G H : RH R G i defined by (4 f [G : H g t ( f for all f R H It i eay to verify that Tr G H i an epimorphim of RG -module Propoition 4 The et G (d, α d β, S, α,β q } i a free bai for R S L over R GL Proof It i eay to prove that R GL i alo a polynomial algebra over F q and (d, α d β,, α,β q } i a free bai for R S L over R GL By Theorem 33, R S L i jut the R GL -module panned by G By Lemma and, we know that the rank of R S L a a free R GL -module i q(q (q Thi i jut the ize of G Theorem 4 The invariant ring R GL i a free R GL -module on the following et (u i u j (d, d, α, i, j q, α q, (4 D (u i u j uk (d, d, α, i, j q, k q, α q, h u k (d, β+ (d, β, q, k q, β q Proof We chooe g z S L, z Fq} a a et of right coet repreentative for S L in GL, where g z ( z We writeφ : Tr GL S L for the relative trace map from R S L to R GL, then (43 φ( f g z ( f g z ( f [GL : S L z F q z F q

10 YCHEN i an epimorphim of R GL -module Since the et D ha exactly (q (q q element, it uffice to prove that the image of G lie in the R GL -module panned by D We oberve thatφfixe u, u, u and g z (d, zd,, g z(d, z d,, g z (h z h Aume that a i a poitive integer and recall the following well-known identity (ee ([5, Lemma 94 for a proof z a, a (mod q,, a (mod q Hence Similarly, we have φ ( (u i u j (d, α d β, Thi complete the proof z F q φ ( (u i u j uk (d, α d β, φ ( h u k (d, α d β, z α β (u i u j (d, α d β, z F q (u i u j (d, α d β, z α β z Fq, α β (mod q, (u i u j (d, α d β,, α β (mod q, α β, (u i u j (d, α d, α, αβ, α β, (u i u j uk (d, α d α,, αβ, α β+, h u k (d, β+ d β,, αβ+ Theorem 43 The invariant ring R GL i a Gorentein algebra generated by q d,, c,, (d, q, c,, u, u }, u Proof The imilar argument a in Theorem 34 will imply that H ( R GL, t t 4 H ( R GL, t Stanley theorem yield that R GL i a Gorentein algebra Now we dicu the generator of R GL We employ R to denote the F q -algebra generated by d q,, c,, (d, q, c,, u, u, u }, and we claim that R GL R It follow from (3 that d, d, u u u q+ R Since [ RGL q F q d,, c,, (d, q, c,, and by Theorem 4, it uffice to prove that each h u k (d, α d β, in D i contained in R By (38 we get h (d, (c, uq u + (u q ( k ( k( k Thu h u k (d, β+ d β, (h (d, u k (d, d, β R, a deired We cloe thi paper with two remark u q (u u k( u q+ k Remark 44 When the manucript wa finihed, we ent a copy to David Wehlau He tell u that there maybe exit another way to compute R GL Here we record hi idea: Firt, one hould compute the generator and their relation for R S L (ee (3-(34 and (39-(3 for the required relation, and notice that the factor group GL /S L i iomorphic to Fq Thu one can compute RGL via R GL ( R S L F q However we do not know which method i fater to compute thi invariant ring R

11 INVARIANTS OF A VECTOR AND A COVECTOR Remark 45 In [, Bonnafé and Kemper howed that for G P (F q, U (F q }, the invariant ring F q [V V G i generated by generator of F q [V G, invariant of the form u i, and their-image (actually, they proved that thi reult hold for all ndimv Theorem 43 mean that a imilar reult i alo valid for GL (F q Furthermore, they found that thi tatement i not valid for S L (F 3, ie, F 3 [V V S L (F 3 can not be generated by generator of F 3 [V S L (F 3, invariant of the form u i, and their-image Here we can explain the reaon Indeed, by Theorem 33 (or ee Theorem 8 in [6, we ee that F 3 [V V S L (F 3 F q [ d,, c,, d,, c,, u, u, u, h, and h i not contained in the ubalgebra F q [ d,, c,, d,, c,, u, u, u Acknowledgment The author would like to thank Profeor Hang Gao, Manfred Hartl, and David Wehlau for their help Reference [ D Benon, Polynomial invariant of finite group Cambridge Univerity Pre, Cambridge (993 [ C Bonnafé and G Kemper, Some complete interection ymplectic quotient in poitive characteritic: invariant of a vector and a covector J Algebra 335 ( 96- [3 H Campbell and I Hughe, -Dimenional vector invariant of parabolic ubgroup of GL (F p over the field F p J Pure Appl Algebra (996 - [4 H Campbell, I Hughe and R Pollack, Ring of invariant and p-sylow ubgroup Canad Math Bull 34 ( [5 H Campbell, I Hughe, R Shank, and D Wehlau, Bae for ring of covariant Tranform Group ( [6 H Campbell, R Shank and D Wehlau, Vector invariant for the two dimenional modular repreentation of a cyclic group of prime order Adv Math 5 ( [7 H Campbell and D Wehlau, Modular invariant theory Springer-Verlag, Berlin ( [8 H Derken and G Kemper, Computational invariant theory Springer-Verlag, Berlin ( [9 I Gordon, On the quotient ring by diagonal invariant Invent Math 53 ( [ M Haiman, Conjecture on the quotient ring by diagonal invariant J Algebraic Combin 3 ( [ M Haiman, Vanihing theorem and character formula for the Hilbert cheme of point in the plane Invent Math 49 ( [ G Kemper, Calculating invariant ring of finite group over arbitrary field J Symbolic Comput ( [3 M Neuel and L Smith, Invariant theory of finite group AMS, Providence, Rhode Iland ( [4 R Stanley, Hilbert function of graded algebra Adv Math 8 ( ( Chern Intitute of Mathematic, Nankai Univerity, Tianjin 37, PR China ( School of Mathematic and Statitic, Northeat Normal Univerity, Changchun 34, PR China addre:ychen@nenueducn

LINEAR ALGEBRA METHOD IN COMBINATORICS. Theorem 1.1 (Oddtown theorem). In a town of n citizens, no more than n clubs can be formed under the rules

LINEAR ALGEBRA METHOD IN COMBINATORICS 1 Warming-up example Theorem 11 (Oddtown theorem) In a town of n citizen, no more tha club can be formed under the rule each club have an odd number of member each