Structure and finiteness properties of subdirect products of groups

We investigate the structure of subdirect products of groups, particularly their finiteness properties. We pay special attention to the subdirect products of free groups, surface groups and HNN extensions. We prove that a finitely presented subdirect product of free and surface groups virtually contains a term of the lower central series of the direct product or else fails to intersect one of the direct summands. This leads to a characterization of the finitely presented subgroups of the direct product of 3 free or surface groups, and to a solution to the conjugacy problem for arbitrary finitely presented subgroups of direct products of surface groups. We obtain a formula for the first homology of a subdirect product of two free groups and use it to show there is no algorithm to determine the first homology of a finitely generated subgroup.Comment: 29 pages, no figure

AC impedance analysis of polypyrrole thin films

The AC impedance spectra of thin polypyrrole films were obtained at open circuit potentials from -0.4 to 0.4 V vs SCE. Two limiting cases are discussed for which simplified equivalent circuits are applicable. At very positive potentials, the predominantly nonfaradaic AC impedance of polypyrrole is very similar to that observed previously for finite porous metallic films. Modeling of the data with the appropriate equivalent circuit permits effective pore diameter and pore number densities of the oxidized film to be estimated. At potentials from -0.4 to -0.3 V, the polypyrrole film is essentially nonelectronically conductive and diffusion of polymer oxidized sites with their associated counterions can be assumed to be linear from the film/substrate electrode interface. The equivalent circuit for the polypyrrole film at these potentials is that previously described for metal oxide, lithium intercalation thin films. Using this model, counterion diffusion coefficients are determined for both semi-infinite and finite diffusion domains. In addition, the limiting low frequency resistance and capacitance of the polypyrrole thin fims was determined and compared to that obtained previously for thicker films of the polymer. The origin of the observed potential dependence of these low frequency circuit components is discussed

New secondary batteries utilizing electronically conductive polymer cathodes

The objectives are to optimize the transport rates in electronically conductive polypyrrole films by controlling the morphology of the film and to assess the utility of these films as cathodes in a lithium/polypyrrole secondary battery. During this research period, a better understanding was gained of the fundamental electrochemical switching processes within the polypyrrole film. Three publications were submitted based on the work completed

Subgroups of direct products of limit groups

If $G_1,...,G_n$ are limit groups and $S\subset G_1\times...\times G_n$ is of type \FP_n(\mathbb Q) then $S$ contains a subgroup of finite index that is itself a direct product of at most $n$ limit groups. This settles a question of Sela.Comment: 20 pages, no figures. Final version. Accepted by the Annals of Mathematic

On the finite presentation of subdirect products and the nature of residually free groups

We establish {\em{virtual surjection to pairs}} (VSP) as a general criterion for the finite presentability of subdirect products of groups: if $\Gamma_1,...,\Gamma_n$ are finitely presented and $S<\Gamma_1\times...\times\Gamma_n$ projects to a subgroup of finite index in each $\Gamma_i\times\Gamma_j$, then $S$ is finitely presentable, indeed there is an algorithm that will construct a finite presentation for $S$. We use the VSP criterion to characterise the finitely presented residually free groups. We prove that the class of such groups is recursively enumerable. We describe an algorithm that, given a finite presentation of a residually free group, constructs a canonical embedding into a direct product of finitely many limit groups. We solve the (multiple) conjugacy problem and membership problem for finitely presentable subgroups of residually free groups. We also prove that there is an algorithm that, given a finite generating set for such a subgroup, will construct a finite presentation. New families of subdirect products of free groups are constructed, including the first examples of finitely presented subgroups that are neither ${\rm{FP}}_\infty$ nor of Stallings-Bieri typeComment: 44 pages. To appear in American Journal of Mathematics. This is a substantial rewrite of our previous Arxiv article 0809.3704, taking into account subsequent developments, advice of colleagues and referee's comment

Finitely presented subgroups of automatic groups and their isoperimetric functions

We describe a general technique for embedding certain amalgamated products into direct products. This technique provides us with a way of constructing a host of finitely presented subgroups of automatic groups which are not even asynchronously automatic. We can also arrange that such subgroups satisfy, at best, an exponential isoperimetric inequality.Comment: DVI and Post-Script files only. To appear in J. London Math. So

Determination of diffusion coefficients in polypyrrole thin films using a current pulse relaxation method

The current pulse E sub oc relaxation method and its application to the determination of diffusion coefficients in electrochemically synthesized polypyrrole thin films is described. Diffusion coefficients for such films in Et4NBF4 and MeCN are determined for a series of submicron film thicknesses. Measurement of the double-layer capacitance, C sub dl, and the resistance, R sub u, of polypyrrole thin films as a function of potential obtained with the galvanostatic pulse method is reported. Measurements of the electrolyte concentration in reduced polypyrrole films are also presented to aid in the interpretation of the data