I will discuss the boolean algebra of integral sets of a finite group.
DEPT. OF MATHEMATICS/ SAN JOSE STATE UNIVERSITY
SAN JOSE, CA
rcalperin at gmail dot com
The quaternions have the property that acts transitively on the set of ordered pairs with . In , the field of order , a choice of basis uniquely determines an element of and vice versa, a well known fact from linear algebra. We say that and are `homogeneous'. If is a generated group ( minimal), we construct an extension which is homogeneous and is the smallest such extension. These extensions have many interesting properties inherited from their base group and have wide applications in many (seemingly) different areas of mathematics.
BINGHAMTON UNIVERSITY
BINGHAMTON, NY
biddle at math dot binghamton dot edu
In 1949 George Szekeres presented a determination of finite -groups possessing an abelian maximal subgroup. Following Dr. Szekeres' construction, in 1974 Sam Conlon presented a classification of finite -groups possessing an abelian maximal subgroup which have cyclic centers, referred to here as Conlon groups. I will present a separate classification of Conlon groups.
UNIVERSITY OF FLORIDA
GAINESVILLE, FLORIDA
brennanj at ufl dot edu
A subgroup of group satisfies the Frattini argument in provided that for normal subgroup of , where is the normalizer of . One is acquainted with the fact that a Sylow subgroup of always satisfies the Frattini argument in . In a solvable group, any injector for a Fitting set satisfies the Frattini argument in as well. The nature of the subgroups which satisfy the Frattini argument will be probed in this talk.
BINGHAMTON UNIVERSITY
BINGHAMTON, NY
ben at math dot binghamton dot edu
Let be a block of the solvable group , with defect group . Much is already known about the structure of if is known to be cyclic. In particular, the Brauer graph of has diameter 2. In this talk we examine the Brauer graph if is assumed to be abelian, and we give bounds on the diameter. We then extend these results to blocks with normal defect group. This is joint work with I.M. Isaacs and Mark Lewis.
UNIVERSITY OF AKRON
AKRON, OH
cossey at uakron dot edu
What properties of a finite group can be inferred from the structure of an upper interval in its subgroup lattice? Suppose is a group property and suppose there exists a finite lattice such that if is a finite group with then has property . We call such a an interval enforceable (IE) property. We define two related notions, called core-free interval enforceable (cf-IE) and minimal interval enforceable (min-IE). The definitions are similar, but cf-IE requires that be a core-free subgroup of , while min-IE requires that have minimal order among groups which have as an upper interval in their subgroup lattices. If a group property is IE, then it is cf-IE, and if it is cf-IE, then it is min-IE. Proving that a given property is cf-IE is typically easier than proving that it is IE, but we give a simple sufficient condition under which the core-free hypothesis is superfluous. The fact that insolubility is a cf-IE property is well known, and we give an example of a finite lattice which proves this. Insolubility also satisfies the sufficient condition mentioned above, so it is IE. It is easy to see that solubility is not an IE property, and we prove that it also fails to be cf-IE by showing that a cf-IE property cannot preclude certain (insoluble) wreath product groups. We discuss some other properties which are known to be IE, cf-IE, or min-IE, and explain how these ideas relate the most important open problem in universal algebra - the finite lattice representation problem.
UNIVERSITY OF HAWAII
HONOLULU , HI
williamdemeo at gmail dot com
A -group is a group in which normality is a transitive property. We look at various generalizations of -groups and provide some examples to distinguish among them.
FRANKLIN & MARSHALL COLLEGE
LANCASTER, PA
afeldman at fandm dot edu
A set of subgroups of a group is said to be a partition if every nonidentity element belongs to one and only one subgroup in this set. The study of groups with partition dates back to a paper by Miller published in 1906. In this talk we will look at the structure of loops that are partitioned by subgroups.
WESTERN CAROLINA UNIVERSITY
CULLOWHEE, NC
tsfoguel at wcu dot edu
We present a duality for the variety of algebras associated with the three-valued conditional logic. Conditional logic, provides the semantics for programming languages that use short-circuit evaluation. The dual category consists of Stone spaces with a lower bounded partial order. The duality is natural in the sense of Clark and Davey. This is joint work with Gina Kucinski.
BINGHAMTON UNIVERSITY
BINGHAMTON, NY
fer at math dot binghamton dot edu
The purpose of this talk is to construct some finitely generated non-residually finite infinite -groups of intermediate growth. This provides, after Anna Erschler, another yet a different solution to Grigorchuk's problem.
OHIO UNIVERSITY
CHILLICOTHE, OHIO
hammoudi at ohio dot edu
It has recently been shown by Dubuc and Poveda [1] that every MV-algebra is isomorphic to the algebra of global sections on some sheaf space of MV-chains. In the paper, it is claimed that the functors sending MV-algebras to sheaf spaces and vice versa are adjoints. This claim is not needed for their main result. In this talk, we will produce a counterexample to this claim and a way to fix it.
BINGHAMTON UNIVERSITY
BINGHAMTON, NY
hampton at math dot binghamton dot edu
This abstract is an unsolicited ad for what I have found to be an excellent paper in the MATHEMATICS MONTHLY from February, 2012 by the same title. The author of that paper is Dr. Samuel K. Vandervelde, a number and graph theorist, who teaches at St. Lawrence University.
Any entry of a Jacobi sum matrix is a Jacobi sum. A Jacobi sum takes as its arguments a pair of multiplicative characters , on a given finite field and yields a complex number, which is the result of a convoluted sum that resembles a dot product, so sum , where the sum is over all elements of . The fact that the multiplicative group of is cyclic forces the characters to be powers of one character, for which there are several possibilities. Pick one of these and call it the generating character. These powers for and , say and , determine the entry in the Jacobi matrix .
Example. Let be , the finite field with five elements, and take the generating character to be determined by , the complex number. The matrix determined by this choice is the matrix
Any Jacobi matrix is symmetric and has determinant zero, as in this example.
Vandervelde's principal contribution to the topic of Jacobi sums is to use these Jacobi matrices to organize the properties of Jacobi sums, so that the eigenvalues and determinants encode many of the classical properties of Jacobi sums.
Most of my presentation will be devoted to selling Vandervelde's article by trying to make certain all in attendance understand the basics of Jacobi matrices. In other words this talk is mostly expository. There may be a moment or two at the end of the talk to call attention to a few corollaries beyond Vandervelde's article.
MIAMI UNIVERSITY/MATH DEPT--RETIRED
OXFORD, OHIO
holmescs at muohio dot edu
Let be a commutative form ring, and let be a form ideal of . Using principal localization and maximal localization staggered and some new results on localization-completion method in the past twenty years, we obtain a complete description of all subgroups of the generalized unitary group which are normalized by relative elementary subgroup for all .
DEPARTMENT OF MATHEMATICS, SUZHOU UNIVERSITY
SUZHOU, JIANGSU, CHINA
youhong at suda dot edu dot cn
Group representation theory came from the study of group matrices and their determinants. Given a finite group , a group matrix is a matrix encoding the operation of right division in in the following sense. If are the elements of , a set of variables is taken and the entry of is taken to be . For example the group matrix of the symmetric group is
where is used to abbrevate and the elements are listed in the order , , , , , .
A group matrix for with the elements listed as is a circulant, i.e a matrix whose first row is , with each subsequent row obtained from the previous one by shifting entries one place to the right and wrapping around. For example the group matrix for is
In joint work, Vojtechovsky and the presenter showed that given any group of order with a cyclic subgroup of order , can be put in the form of an block matrix all of whose blocks are circulants. Subsequently, I have been able to show that if is an arbitrary subgroup of of order it is always possible to express as an block matrix all of whose blocks are of the form where the -tuple of elements are in . Such matrices are more regular if is normal, of if is a product of two subgroups with .
Group matrices have been used to obtain results on group rings, and appear in work on control theory, wavelets and Fourier analysis on finite groups. The above structure of can be used to efficiently diagonalise a group matrix.
The ``Tannaka-Krein'' duality for non-abelian groups may be stated in several ways, but it seems that the most effective version is given in terms of Hopf algebras. I will try to explain how group matrices may be used to create a category of representations and shed light on this duality.
PENN STATE ABINGTON
ABINGTON, PA
kwj1 at psu dot edu
A -threshold secret sharing scheme is a method to distribute a secret among participants in such a way that any participants can recover the secret, but no participants can. In this paper, we propose two secret sharing schemes using non-abelian groups. One scheme is the special case where all the participants must get together to recover the secret. The other one is a -threshold scheme that is a combination of Shamir's scheme and the group-theoretic scheme proposed in this talk.
CUNY GRADUATE CENTER & NYCCT, CUNY, PHD PROGRAM IN CS
NEW YORK, NY
dkahrobaei at gc dot cuny dot edu
A group is called an -Baer group if all cyclic subgroups are -subnormal; and is called a generalized -Baer group if the subgroup generated by the cyclic subgroups which are not -subnormal is a proper subgroup of the group. The -Baer groups are the familiar Dedekind groups. Generalized -Baer groups, otherwise known as generalized Dedekind groups, have been extensively investigated by D. Cappitt, L.-C. Kappe, and D.M. Reboli. They have nilpotency class as well as cyclic commutator subgroup and the -generator groups among them have been classified.
By results of Heineken and Mahdiavanary, -Baer groups have nilpotency class and the -generator groups in this class have been classified. Our goal is to find out if there is a restriction on the nilpotency class of generalized -Baer groups. In addition, we are exploring whether there are any structural restrictions on this class of groups. We are currently in the process of classifying -generator -Baer groups.
This is joint work with Antonio Tortora of the University of Salerno.
BINGHAMTON UNIVERSITY
BINGHAMTON, NEW YORK
menger at math dot binghamton dot edu
A closure operator on an infinte set is finitary or algebraic if for all , the closure of is equal to the union of the closures of the finite subsets of . I will show if we take the set of all algebraic closure operators on , it forms not only a lattice, but also an algebraic lattice.
BINGHAMTON UNIVERSITY
ENDWELL, NY
kilpack at math dot binghamton dot edu
If is a solvable group and is a prime, then the Fong-Swan Theorem shows that given any irreducible Brauer character of , there exists a character such that , where denotes the restriction of to the -regular elements of . We say that is a lift of in this case. It is known that if is in a block with abelian defect group , then the number of lifts of is bounded above by . In this paper we give a necessary and sufficient condition for this bound to be achieved, in terms of local information in a subgroup determined by the block .
This is joint work with J. P. Cossey.
KENT STATE UNIVERSITY
KENT, OH
lewis at math dot kent dot edu
Let be a subgroup of group . is said to satisfy the -property in if is a -number for any chief factor of , and, if there is a subnormal supplement of in such that for some subgroup satisfying the -property in , then is said to be -normal in . These properties are common properties of many known generalized permutabilities of subgroups. Groups can be described when some primary subgroups are -normal, and many known results are generalized.
SCHOOL OF MATHEMATICS, CHENGDU UNIVERSITY OF INFORMATION TECHNOLOGY
CHENGDU, SICHUAN, CHINA
baojunli at cuit dot edu dot cn
In 2008, R. Blyth, P. Moravec, and R.F. Morse proved that if is the relatively free nilpotent group of class and rank , then its nonabelian tensor square is given by
where is the free abelian group of rank ; they also determined the structure of .
The group is the -nilpotent product of copies of the infinite cyclic group. We consider extensions of the description above when we take -nilpotent products of cyclic groups in the ``small class'' case.
UNIVERSITY OF LOUISIANA AT LAFAYETTE
LAFAYETTE, LOUISIANA
magidin at member dot ams dot org
A group-theoretical property is said to be bigenetic if a group has property , whenever all -generator subgroups of have property . This terminology was introduced by J.C. Lennox in 1972. Commutativity and Engel conditions are examples of bigenetic properties. Surprisingly, in the class of all finite groups also nilpotency and solvability are bigenetic properties. The aim of this talk is essentially to illustrate some results which show how the structure of a group can be influenced by properties satisfied by its -generator subgroups. In particular, we investigate some conditions closely related to Engel conditions.
UNIVERSITÁ DEGLI STUDI DI SALERNO
FISCIANO, SALERNO, ITALY
mmeriano at unisa dot it
Some Galois groups may seem so small that one expects little arithmetic information from them. Yet we shall see how such groups can encode valuations, orderings, and other important invariants of fields.
WESTERN UNIVERSITY (FORMERLY THE UNIVERSITY OF WESTERN ONTARIO)
LONDON , ONTARIO
jminac1811 at gmail dot com
Let be a finite group. Denote by the set of all nilpotent subgroups of of class of maximal order. A quasisimple group is a perfect group such that is simple. A component of is a subnormal quasisimple subgroup.
In my work I have completely classified the action of elements of on the components of .
In my talk I will discuss the prominent subcase for components, which are Chevalley-groups in characteristic two. I will outline the proof of:
UNIVERSITY OF TÜBINGEN
TÜBINGEN, GERMANY
anni.neumann at acvan dot de
Subgroups of the general linear group that are generated by pseudoreflections lead to rings of invariants that are polynomial, and conversely. Well, this result is true in the nonmodular case. In the modular case the classification of groups giving polynomial invariant rings has eluded us so far. In 1980 Nakajima considered modular representations of -groups. He identified the family of such groups leading to polynomial invariant rings. However his characterization is valid only over the prime field as a counterexample by Stong shows. We want to study Nakajima's family of groups a bit closer, and in particular want to show why Stong's counterexample must exit.
TEXAS TECH UNIVERSITY
LUBBOCK, TX
mara.d.neusel at ttu dot edu
A transitive action of a group can be encoded by a triple where is a subgroup of and is a set of coset representatives of in sucht that . The action of is given by
for all . Denoting by the representative of the coset the assignment
describes the given action of .
With the multiplication the set is a left loop, that means:
We call
a left loop folder if the set
generates
.
Conversely, if
is a left loop we define
where the are epimorphisms one can form without difficulties the projective limit.
DEPARTMENT MATHEMATIK, UNIVERSITÄT ERLANGEN-NÜRNBERG
ERLANGEN,
peter.plaumann at mi dot uni-erlangen dot de
In the study of cellular automata, one is interested in predicting the long term behavior of an automaton based on its local rules. In the classical case of additive cellular automata, one relies heavily on the fact that an update rule can be thought of as a group homomorphism. We develop new techniques to study the behavior of cellular automata over non-abelian groups. We develop necessary and sufficient conditions for a state to have a predecessor when the update rule is Wolfram's rule 90 over non abelian groups. We apply our methods to study the fraction of states that are reachable through evolution in automata over finite dihedral groups.
Joint work with Erin Craig.
NEW COLLEGE OF FLORIDA
SARASOTA, FL
poimendou at ncf dot edu
Every group with a finite non-cyclic homomorphic image is a union of finitely many proper subgroups. The minimal number of subgroups needed to cover is called the covering number of , denoted by . Tomkinson showed that for a soluble group , , where is a prime, and he suggested the investigation of the covering number for families of finite non-soluble groups, in particular simple ones. For the symmetric groups Maroti recently showed that if is odd unless , and if is even. We have determined the exact covering number of for some small values of , and found ranges for others.
Joint work with Luise-Charlotte Kappe, Binghamton University.
FLORIDA ATLANTIC UNIVERSITY
BOCA RATON, FL
dpopova at fau dot edu
Let be a finite group and let be an algebraically closed field of characteristic . A block of is an indecomposable direct summand of the group algebra . A block is then an algebra itself. One way to understand the representation theory of any finite dimensional -algebra is to understand its basic algebra. The basic algebra of is a (usually) less complicated algebra, and the representations of share many important properties with the representations of . We will discuss the definition of the basic algebra, techniques for calculating basic algebras of blocks of the group algebra , and give some examples.
UNIVERSITY OF FLORIDA
GAINESVILLE, FLORIDA
raney at ufl dot edu
Let be an odd prime, let denote the cyclic group of order , and let denote the iterated regular wreath product group , which has an easy-to-see normal subgroup that is elementary abelian of rank .
We have developed an algorithm for calculating the number of faithful irreducible ordinary characters of every degree for certain well-behaved subgroups of . This algorithm is computationally practical when the prime is small. We have successfully implemented this algorithm in the cases and for a particular collection of subgroups of which we denote by , where the pair of indices and are integers ranging over and . We mention that splits over its abelian normal subgroup and that the indices and correspond to the facts and . In the case our implementation involved the creation of an extensive and elaborate computer program.
In this talk we present the data that we have obtained using our implementation of the algorithm, namely the number of faithful irreducible characters of every degree for each of the groups in the cases and .
Joint work with Dan Raies of the University of Akron.
UNIVERSITY OF AKRON
AKRON, OH
riedl at uakron dot edu
By a derived subgroup of a group G is meant the commutator subgroup of a subgroup of G. I will discuss the structure of groups in which the number of isomorphism types of derived subgroup is very small.
UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN
URBANA, IL
dsrobins at illinois dot edu
The talk will discuss the classification and some properties of non-associative Moufang Loops of order 243. There are 72 such loops and the list was produced by computer program.
MARQUETTE UNIVERSITY
MILWAUKEE, WI
mikes at mscs dot mu dot edu
Glauberman and I have discovered a new characteristic subgroup of a -stable group with properties analogous to those of , but easier to prove. I will report on this.
THE OHIO STATE UNIVERSITY
COLUMBUS, OHIO
solomon.1 at osu dot edu
We will discuss the definition of locally -arc transitive graphs and methods used to study them, which are closely related to rank 2 amalgams of finite groups. An important subcase in this study arises when the automorphism group of the graph acts faithfully and quasiprimitively with type PA (product action) on two orbits of vertices. Recent and ongoing work will be discussed, in which the first (nontrivial) examples of these graphs with type PA have been constructed.
This is joint work with Michael Giudici (University of Western Australia).
BINGHAMTON UNIVERSITY
BINGHAMTON, NY
eswartz at math dot binghamton dot edu
Endoisomorphisms provide a flexible and convenient way to describe character correspondences which commonly arise in the representation theory of finite groups.
Let , and be finite groups, and let and be surjective group homomorphisms.
Let be a principal ideal domain, let be a finitely generated -module and let be a finitely generated -module. Many characters and Brauer characters of subgroups of are related to and many characters and Brauer characters of subgroups of are related to . An endoisomorphism relates and .
After discussing the definition of endoisomorphism, we will discuss how each endoisomophism provides a unique correspondence from the characters related to the characters related to , and some of the properties of this correspondence.
UNIVERSITY OF FLORIDA
GAINESVILLE, FLORIDA
turull at ufl dot edu
At the 2010 Ohio State-Denison Conference, we asked about a certain condition that arose in an undergraduate research project on Cayley-Sudoku tables. Loop theorists in attendance enthusiastically noted it was a rediscovery of a ``well-known'' 1939 theorem of R. Baer. In this talk, we will review the connection of Baer's Theorem to Cayley-Sukoku Tables and report on the ensuing search for new (in a sense to be described) examples of groups satisfying Baer's condition. A related mistake in the Latin square literature will be discussed. An inductive construction of Cayley-Sudoku tables will be presented along with (time permitting) a Magic Cayley-Sudoku table. In the hope that lightning will strike twice in the same place, the audience will once again be queried about connections with other well-known results.
WESTERN OREGON UNIVERSITY
MONMOUTH, OREGON
wardm at wou dot edu
For a finite group and a subgroup of , the Chermak-Delgado measure of with respect to is . If is the maximal Chermak-Delgado measure across all subgroups of then
is a sublattice within the lattice of all subgroups of . This Chermak-Delgado lattice of is a dual lattice with a unique maximal element and each of its members is actually subnormal in .
This talk will discuss recent results about computing the Chermak-Delgado lattice of wreath products, namely:
We'll discuss why these particular conditions are necessary and avenues for further investigation.
COLGATE UNIVERSITY
HAMILTON, NY
ewilcox at colgate dot edu
A conjecture made by Abdollahi, Akbari, and Maimani asserts that two finite groups having the same non-commuting graph are isomorphic provided one of the groups is assumed non-abelian simple. The conjecture had been previously verified by Han, Chen, and Guo when the simple group is assumed to be sporadic, and by Abdollahi and Shahverdi when it is assumed alternating. Recently, Ron Solomon and the speaker treated the case when one group is assumed to be simple of Lie type, thus completing verification of the conjecture. In our talk, we discuss some of the more salient features of our proof.
VILLANOVA UNIVERSITY
VILLANOVA, PA
andrew.woldar at villanova dot edu
We show the following result. Let be a finite solvable group with , and , then contains a block of defect less or equal to .
UNIVERSITY OF WISCONSIN-PARKSIDE
KENOSHA, WI
yangy at uwp dot edu