Nowadays, much of the research in block theory is devoted to prove conjectures which have been introduced in this field by J. Alperin, E. Dade, M. Broue and G. Robinson. The motivation for such work is to satisfy -local theory for a prime number . After a brief introduction, we shall discuss some block theory and then show some examples of these conjectures. In the end, we shall explain a result of a -block with defect group which is an extra-special -group of order and exponent , for an odd prime number .
752 NOBEL DR. UNIT D
SANTA CRUZ, CA 95060
aahmad2 at ucsc.edu
A subgroup of a group is said to be -semipermutable in if for all Sylow subgroups of for which . A group is called an -group if the maximal subgroups of the Sylow subgroups of are -semipermutable in . The class of of -groups is defined to be the class of all groups in which is a -group (Where -groups are groups in which normality is transitive relation). In this talk we introduce some properties of the S-groups. More precisely, we describe the nilpotent residual of -groups and establsh a relation between -groups and -groups.
7061 SENATORS DRIVE
MONTGOMERY, AL 36124
sharo_kh at yahoo.com
We address the problem of studying the toric ideals of phylogenetic invariants for a general group-based model on an arbitrary claw tree. We focus on the group and choose a natural recursive approach that extends to other groups. The study of the lattice associated with each phylogenetic ideal produces a list of circuits that generate the corresponding lattice basis ideal. In addition, we describe explicitly a quadratic lexicographic Gröbner basis of the toric ideal of invariants for the claw tree on an arbitrary number of leaves. Combined with a result of Sturmfels and Sullivant, this implies that the phylogenetic ideal of every tree for the group has a quadratic Gröbner basis.
LEXINGTON, KY 40506-0027
jchifman at ms.uky.edu
A symmetric or projective design, D, arises naturally as an incidence structure whose point set is the set of one dimensional subspaces of a finite vector space V and whose block set is the set of hyperplanes of V. If the dimension of V is 3, D is a projective plane. If the dimension of V is at least 4, D is a projective design. In this talk, we will discuss a generalization of projective designs over finite fields.
DEPARTMENT OF MATHEMATICS
KALAMAZOO, MI
ealy at wmich.edu
Let be the symmetric group of degree and let be a field. For any partition of , let be the corresponding Specht module over . (When has characteristic 0, the Specht modules are the simple -modules; when has finite characteristic , the heads of the Specht modules corresponding to -regular partitions are the simple -modules.) We determine the structure of End when the characteristic of is distinct from 2.
520 N. MAIN ST.
MEADVILLE, PA 16335
hellers at allegheny.edu
Central extensions are easier to understand than general extensions because the kernel becomes a trivial module for the quotient. In particular, the Universal Coefficient Theorem is helpful, and especially so when the kernel is divisible. Moreover, such extensions are "universal" in the sense that they contain copies of all central extensions. We will consider these extensions when the quotient is abelian.
705 EAST COLORADO AVENUE APARTMENT 203
URBANA, IL 61801
jelliot2 at math.uiuc.edu
Cores and closures help reveal structure and relationships in finite groups. For example, if is a finite group, is maximal in , and is the normal core of in , then is a primitive group. And a subgroup is normally embedded in if and only if for each prime , a Sylow -subgroup of is a Sylow -subgroup of its normal closure in . These cores and closures, being defined respectively as joins and intersections of subgroups, have properties stemming from those of the lattice of subgroups of . Hence it is possible to gain insight about them using concepts from lattice theory. We use these concepts to determine some types of subgroups for which the normal core and the subnormal core coincide.
P.O. BOX 3003
LANCASTER, PA 17604-3003
afeldman at fandm.edu
In this talk we look at Bol-loops of odd prime exponent. We give examples of finite centerless Bol-loops of odd prime exponent; we also show that any finite Bol-loops of odd prime exponent are solvable. We end the paper with a proof of the existents of simple finitely generated infinite Bruck-loops of prime exponent for large primes.
DEPARTMENT OF MATHEMATICS
PO BOX 244023
MONTGOMERY, AL 36124-4023
tfoguel at aum.edu
A Moufang loop is a binary system that satisfies a particular weak form of the associative law. We prove that if is a finite Moufang loop and is a ``Sylow prime'' for so that every -subloop of is contained in a Sylow -subloop of then the number of Sylow -subloops of is congruent to one modulo . Here is a Sylow prime for if for all for which a composition factor of is isomorphic to the Paige loop .
617 N. SANTA RITA AVE
TUCSON, AZ 85721
sgagola at math.arizona.edu
The study of associativity of the commutator operation in groups goes back to some work of Levi in 1942. In the 1960's Richard J. Thompson created a group F whose elements are representatives of the generalized associative law for an arbitrary binary operation. In 2006, Geoghegan and Guzman proved that a group G is solvable iff the commutator operation in G eventually satisfies ALL instances of the associative law, and also showed that many non-solvable groups do not satisfy any instance of the generalized associative law. We will address the question: Is there a non-solvable group which satisfies SOME instance of the generalized associative law? For finite groups, we prove that the answer is no.
BINGHAMTON, NY 13902-6000
fer at math.binghamton.edu
The following result is well known for an matrix with entries from a field and having as its minimal polynomial. Result: If is the degree of , then .
The proof of this result usually runs through the Cayley-Hamilton theorem in conjunction with the characteristic polynomial and the determinant. The proof here is independent of the usual proofs. New is always questionable with such classical material, but the proof is more elementary. The definitions of determinant and characteristic polynomial appear long after this result in my next edition of Elementary Linear Algebra with early eigenvalues. I think it interesting and helpful to note that Hans Zassenhaus suggested the broad outlines of this approach to linear algebra.
OXFORD, OH 45056
holmescs at muohio.edu
(Joint work with S. Humphries). If the character table of a finite group satisfies certain "magic rectangle" conditions, then the characters and classes can fuse to the character table of a group of the same order. The general question addressed is: which groups have character tables which fuse from those of abelian groups? The theory is developed in terms of the -rings of Schur and Wielandt which appeared first in the discussion of pemutation groups with a regular subgroup but later were used in the theory of circulant graphs. We discuss certain classes of -groups which fuse from abelian groups and give examples of such groups which do not. We also show that a large class of simple groups do not fuse from abelian groups. Examples show that the groups which fuse from abelian groups do not form a variety. There are many open questions such as whether the class of -groups which fuse from abelian group can be easily described. Some new techniques for -rings are developed. It is possible to ask related questions such as: which association schemes have character tables which fuse from those of abelian groups? The Camina Pair condition on a group extension appears, and also an extension to a Camina Triple condition where pairs of normal subgroups appear. Our techniques may be relevant to work on circulant graphs.
ABINGTON, PA
Kwj1 at psu.edu
We say a group is an -Scorza group if it is the union of proper subgroups and all of its proper homomorphic images are cyclic. It is well known that there are no 2-Scorza groups. According to a 1926 result by Scorza, a group is a 3-Scorza group if and only if it is isomorphic to the Klein Four group. Greco showed that a group is a 4-Scorza group if and only if it is isomorphic to the elementary abelian 3-group of rank 2 or the symmetric group on 3 letters.
In this talk we will give a characterization of the -Scorza groups in the class of solvable groups as well as a classification of these groups for .
BINGHAMTON, NY 13902-6000
menger at math.binghamton.edu
In 2000, L. Héthelyi and B. Külshammer proved that if is a prime number dividing the order of a finite solvable group , then has at least conjugacy classes. We will present a recent extension of this result: If is large, the result remains true for arbitrary finite groups.
601 UNIVERSITY DRIVE
SAN MARCOS, TX 78666
tk04 at txstate.edu
A group G is a central product of subgroups U1 and U2 of G provided that G = U1U2 and [U1,U2] = 1. This definition implies that Ui are normal G for i = 1,2 and that U1 intersect U2 is a subgroup of Z(U1)intersect Z(U2). I am currently working on a characterization of the normal, subnormal, pronormal and abnormal subgroups of a central product. In this talk, I will present a characterization of abnormal subgroups in a finite central product.
100 ROBERTS ST. APT. 12-6
BINGHAMTON, NY 13901
dlewis5 at binghamton.edu
We generalize the definition of Camina groups. We will show that these nilpotent generalized Camina groups have many of the same properties as nilpotent Camina groups. In addition, we will come up with an algebraic classification of the character tables of these groups. This classification generalizes the classification of the character tables for p-groups whose derived subgroups have order p that was done by Nenciu.
DEPARTMENT OF MATHEMATICAL SCIENCES
KENT, OH 44242
lewis at math.kent.edu
A -group is extraspecial if and only if and is elementary abelian. A -group is semiextraspecial if and only if for every maximal subgroup of , is extraspecial. Semiextraspecial groups were introduced by Beisiegel, who proved that the rank of is always even, equal to , and the rank of is at most . When the rank of is equal to , the group is said to be ultraspecial. Among the ultraspecial groups are the -Sylow subgroups of and of .
A group is capable if for some group . It has long been known that the only capable extraspecial group is the nonabelian group of order and exponent . Moreto proved that if is capable and semiextraspecial, then it is ultraspecial. I had previously shown that the ultraspecial groups of order and exponent are all capable, and will report further recent results regarding the full converse of Moreto's necessary condition.
P.O. BOX 41010
LAFAYETTE, LA 70504-1010
magidin at member.ams.org
Let be the class of 2-generator non-torsion groups of nilpotency class 2. Using their classification and non-abelian tensor squares, we determine certain homological invariants of groups in , such as the exterior square, the symmetric square and the Schur multiplier. With the help of GAP, we first compute the invariants for some representative groups, then extrapolate from there to obtain invariants in the general case. This is joint work with Luise-Charlotte Kappe and Nor Haniza Sarmin.
DEPARTMENT OF MATHEMATICS
SKUDAI, JOHOR 81310
MALAYSIA
muhainiah9119 at yahoo.com
The reduced Lefschetz modules associated to complexes of distinguished p-subgroups (those subgroups which contain p-central elements in their centers) are investigated. The case when the underlying group G has parabolic characteristic p is analyzed in detail. We determine the nature of the fixed point sets of subgroups of order p. The p-central elements have contractible fixed point sets. Under certain hypotheses, the noncentral p-elements have fixed points which are equivariantly homotopy equivalent to the corresponding complex for a quotient of the centralizer. For the reduced Lefschetz modules, the vertices of the indecomposable summands and the distribution of these summands into the p-blocks of the group ring are related to the fixed point sets. Applications to the sporadic group geometries are discussed. This is joint work with J. Maginnis.
MANHATTAN, KANSAS 66506
onofrei at math.ksu.edu
Given subgroup properties and , a subgroup of a group may or may not possess one or both of the following properties:
-transitivity: Every -subgroup of is a -subgroup of .
-persistence: Every -subgroup of in is an -subgroup of .
We will present some elementary results and discuss examples of -transitive and -persistent subgroups for various and .
1 SAXON DRIVE
ALFRED, 14802
petrillo at alfred.edu
Hall's theory on finite solvable groups is well known. Every finite solvable group possesses a set of Sylow subgroups, one for each prime, which are pairwise permutable. The converse holds as well. Such a set of Sylows for a group is called a Sylow basis. Two subgroups and of a finite group are said to be mutually permutable provided the subgroups of permute with and the subgroups of permute with . A natural question to ask is what kinds of finite solvable groups possess a Sylow Basis for which the subroups are not just pairwise permutable but pairwise mutually permutable. These groups are precisely the finite solvable -groups, the groups in which Sylow permutability is a transitive relation. We call such a Sylow basis a strong Sylow basis.
Since one can characterize the solvable -groups in terms of their Sylow bases and their should be a way to characterize the solvable -groups in terms of their system normalizers. Using a recent result of Ballester-Bolinches, Cossey, and Soler-Escriva that says subgroups permuting with all system normalizers of a finite solvable group are necessarily subnormal we can show the following: the finite solvable -groups are those finite solvable groups which can be written as with and Hall subgroups which are mutually permutable, the nilpotent residual of , and a system normalizer of .
In this talk we discuss these results and others. This is joint work with Jim Beildeman and Hermann Heineken.
MONTGOMERY, AL
mragland at aum.edu
Let be any prime and let be a Sylow -subgroup of the symmetric group of degree .
Thus is a semidirect product semi where the normal subgroup is elementary abelian, and where is a group of exponent that is isomorphic to a Sylow -subgroup of the symmetric group of degree .
Let be the set consisting of all subgroups of having the property that the group has exponent .
It is clear that the set is a union of conjugacy classes of subgroups of .
We have made progress in describing some of these conjugacy classes of subgroups and their sizes.
AKRON, OH 44325-4002
riedl at uakron.edu
A group is called extended residually finite (ERF) if every subgroup is closed in the profinite topology, i.e., is the intersection of subgroups of finite index. We shall describe characterizations of various classes of groups with the ERF property, particularly locally finite groups and FC-groups.
URBANA, IL 61801
dsrobins at uiuc.edu
Let be an odd prime and let be an algebraically closed field of characteristic . Suppose that is a defect zero block of which is -stable for some -group with , then will be an endo-permutation -module. It is conjectured that such a will always be self-dual. We will show that this conjecture holds for .
1800 LINCOLN AVENUE
EVANSVILLE, IN, 47715
as341 at evansville.edu
Just-non-PT groups are studied to show that finite PT groups are precisely the finite groups in which subnormal subgroups of defect two are permutable, and are precisely the finite groups in which every normal subgroup is permutable sensitive.
LEXINGTON, KY
jack at ms.uky.edu
The norm of a group is the intersection of all the normalizer subgroups with in the group. Dedekind groups are groups in which every subgroup is normal. The structure of Dedekind groups are well known. In this talk I seek to to generalize out the idea of Dedekind groups in which every subgroup of the norm is normal.
MONTGOMERY, AL 36124
jsmith71 at aum.edu
Let G be a finitely generated group. Let be the number of subgroups of of index and let be the number of normal subgroups of of index . The functions
DEPARTMENT OF MATHEMATICAL SCIENCES
BINGHAMTON, NY 13902
snopce at math.binghamton.edu
Let S be a subset of a group G. Then G is said to be S-separable if for all x in G§there exists a normal subgroup N of finite index in G such that in G*=G/N, x* is not in S*. !-relator groups form a very interesting class of groups. They include the fundamental groups of orientable and non-orientable surfaces. These groups have very nice separability properties. On the other hand the well-known Baumslag-Solitar groups are quite nasty. They are not even residually finite i.e. 1-separable. In this talk we shall discuss some separability properties of certain 1-relator groups. In particular we show that outer automorphism groups of certain torsion 1-relator groups are residually finite. These results can be generalized to certain 1-relator products of cyclics.
WATERLOO, N2L 3G1
CANADA
fcytang at math.uwatherloo.ca
R. Brown and J. L. Loday first introduced the non-abelian tensor product for groups and in context with an application in homotopy theory. Let and be groups which act on each other via automorphisms and which act on themselves via conjugation. The actions of and are said to be compatible, if and for all , . The non-abelian tensor product is defined provided and act compatibly. In such a case is the group generated by the symbols with relations and , where and . In their 1987 paper, Some computations of non-abelian tensor products of groups, Brown, Johnson and Robertson mention eight open problems. The first problem is phrased as follows: Let G and H be finite groups acting compatibly on each other. Then is it true that is finite? In the same year, G. J. Ellis answered the question in the affirmative using homological methods. Brown, Johnson and Robertson add that no purely algebraic proof is known. In this talk I will present a homology free and purely group theoretic proof that the non-abelian tensor product of two finite groups is finite.
BINGHAMTON, NY 13902
vthomas at math.binghamton.edu
Clifford Theory provides well behaved character correspondences between different groups which have isomorphic quotients. Given one such quotient group, and a field , we define the Brauer-Clifford group. In the case of a field of characteristic zero, each irreducible character of the original groups gives rise to a specific element of the Brauer-Clifford group. When two characters of different groups yield the same element of the Brauer-Clifford group, we obtain a very well behaved character correspondence between the characters of the different groups, which preserves not only induction, restriction, multiplicities, but also fields of values for the corresponding characters, and Schur indices. In this talk, we explore the modular case, i.e. the case when has characteristic for some prime . We see that irreducible modules over yield specific elements of an appropriate Brauer-Clifford group, and that equality of the elements of the Brauer-Clifford group for different groups yields an isomorphism of certain categories of modules over . This generalizes the result for characters described above.
GAINESVILLE, FL 32605
turull at math.ufl.edu
A complete group is a group with trivial center all of whose automorphisms are inner - thus is isomorphic to . It is known that any finite group can be embedded subnormally in a finite complete group but none of the current proofs give an estimate on the subnormal length of this embedding. We will discuss a sufficient and necessary condition for a finite group to be normal in a complete group when and is relatively prime to its index in .
BINGHAMTON, NY 13905
wilcox at math.binghamton.edu
and are two finite permutation groups on . If and have the same orbits on the power set of , we say and are orbit equivalent, on . In this talk, we will look at a special class of 2-step imprimitive permutation groups and determine the orbit equivalent permutation groups pairs in this class.
DEPARTMENT OF MATHEMATICS
231 W 18TH AVE
COLUMBUS, OH 43210
kyyang@math.ohio-state.edu
Cosmin Roman 2008-05-13