Showing 1–24 of 24 results for author: Schultz, A

The Bloch--Kato conjecture, decomposing fields, and generating cohomology in degree one

Authors: Sunil K. Chebolu, Ján Mináč, Cihan Okay, Andrew Schultz, Charlotte Ure

Abstract: The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$ th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. As a further step in this program, we study implications of the… ▽ More The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$ th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. As a further step in this program, we study implications of the Bloch--Kato conjecture to cohomological invariants of finite field extensions. Conversely, these cohomological invariants have implications for refining the Bloch--Kato conjecture. In service of such a refinement, we define the notion of a decomposing field for a cohomology class of a finite field extension and study minimal decomposing fields of degree two cohomology classes arising from degree $p$ extensions. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean fields and $p$-rigid fields. Finally, we construct nontrivial examples of cohomology classes and their decomposing fields, which rely on computations by David Benson in the appendix. △ Less

Submitted 5 February, 2025; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: 28 pages, added some new results and an appendix by David Benson

MSC Class: 12F10; 12G05; 19D45; 20E18

Special Functions for Hyperoctahedral Groups Using Bosonic, Trigonometric Six-Vertex Models

Authors: Ben Brubaker, Will Grodzicki, Andrew Schultz

Abstract: Recent works have sought to realize certain families of orthogonal, symmetric polynomials as partition functions of well-chosen classes of solvable lattice models. Many of these use Boltzmann weights arising from the trigonometric six-vertex model $R$-matrix (or generalizations or specializations of these weights). In this paper, we seek new variants of bosonic models on lattices designed for type… ▽ More Recent works have sought to realize certain families of orthogonal, symmetric polynomials as partition functions of well-chosen classes of solvable lattice models. Many of these use Boltzmann weights arising from the trigonometric six-vertex model $R$-matrix (or generalizations or specializations of these weights). In this paper, we seek new variants of bosonic models on lattices designed for type B/C root systems, whose partition functions match the zonal spherical function in type C. Under general assumptions, we find that this is possible for all highest weights in rank $2$ and $3$, but not for higher rank. △ Less

Submitted 19 September, 2023; v1 submitted 24 October, 2022; originally announced October 2022.

Comments: v2 includes significant changes to both the exposition and theoretical content of the paper; 29 pages

MSC Class: 05E10

Galois module structure of some elementary $p$-abelian extensions

Authors: Lauren Heller, Jan Minac, Tung T. Nguyen, Andrew Schultz, Nguyen Duy Tan

Abstract: We determine the Galois module structure of the parameterizing space of elementary $p$-abelian extensions of a field $K$ when $\text{Gal}(K/F)$ is any finite $p$-group, under the assumption that the maximal pro-$p$ quotient of the absolute Galois group of $F$ is a free, finitely generated pro-$p$ group, and that $F$ contains a primitive $p$th root of unity if $\text{char}(F) \neq p$. We determine the Galois module structure of the parameterizing space of elementary $p$-abelian extensions of a field $K$ when $\text{Gal}(K/F)$ is any finite $p$-group, under the assumption that the maximal pro-$p$ quotient of the absolute Galois group of $F$ is a free, finitely generated pro-$p$ group, and that $F$ contains a primitive $p$th root of unity if $\text{char}(F) \neq p$. △ Less

Submitted 6 January, 2023; v1 submitted 4 March, 2022; originally announced March 2022.

Comments: v2: 15 pages. Sharpened exposition in a few places. To appear in Israel Journal of Mathematics. v1: 14 pages

MSC Class: 12F10; 16D10

Quaternion algebras and square power classes over biquadratic extensions

Authors: Frank Chemotti, Jan Minac, Tung T. Nguyen, Andrew Schultz, John Swallow, Nguyen Duy Tan

Abstract: Recently the Galois module structure of square power classes of a field $K$ has been computed under the action of $\text{Gal}(K/F)$ in the case where $\text{Gal}(K/F)$ is the Klein $4$-group. Despite the fact that the modular representation theory over this group ring includes an infinite number of non-isomorphic indecomposable types, the decomposition for square power classes includes at most… ▽ More Recently the Galois module structure of square power classes of a field $K$ has been computed under the action of $\text{Gal}(K/F)$ in the case where $\text{Gal}(K/F)$ is the Klein $4$-group. Despite the fact that the modular representation theory over this group ring includes an infinite number of non-isomorphic indecomposable types, the decomposition for square power classes includes at most $9$ distinct summand types. In this paper we determine the multiplicity of each summand type in terms of a particular subspace of $\text{Br}(F)$, and show that all "unexceptional" summand types are possible. △ Less

Submitted 26 April, 2023; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: v2: 16 pages, to appear in Israel Journal of Mathematics. v1: 16 pages

MSC Class: 12F10; 16D70

On the indecomposability of a remarkable new family of modules appearing in Galois theory

Authors: Jan Minac, Andrew Schultz, John Swallow

Abstract: A powerful new perspective in the analysis of absolute Galois groups has recently emerged from the study of Galois modules related to classical parameterizing spaces of certain Galois extensions. The recurring trend in these decompositions is their stunning simplicity: almost all summands are free over some quotient ring. The non-free summands which appear are exceptional not only because they are… ▽ More A powerful new perspective in the analysis of absolute Galois groups has recently emerged from the study of Galois modules related to classical parameterizing spaces of certain Galois extensions. The recurring trend in these decompositions is their stunning simplicity: almost all summands are free over some quotient ring. The non-free summands which appear are exceptional not only because they are different in form, but because they play the key role in controlling arithmetic conditions that allow the remaining summands to be easily described. In this way, these exceptional summands are the lynchpin for a bevy of new properties of absolute Galois groups that have been gleaned from these surprising decompositions. In one such recent decomposition, a remarkable new exceptional summand was discovered which exhibited interesting properties that have not been seen before. The exceptional summand is drawn from a particular finite family that has not yet been investigated. The main goal of this paper is to introduce this family of modules and verify their indecomposability. We believe this module will be of interest to people working in Galois theory, representation theory, combinatorics, and general algebra. The analysis of these modules includes some interesting new tools, including analogs of $p$-adic expansions. △ Less

Submitted 24 February, 2022; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: v1: 36 pages. v2: 38 pages, includes results on necessity of conditions from main theorem. v3: 38 pages, final version as it will appear in Journal of Algebra

MSC Class: 20C20

Journal ref: Journal of Algebra 598 (2022), 194--235

Arithmetic properties encoded in the Galois module structure of $K^\times/K^{\times p^m}$

Authors: Jan Minac, Andrew Schultz, John Swallow

Abstract: The power classes of a field are well-known for their ability to parameterize elementary $p$-abelian Galois extensions. These classical objects have recently been reexamined through the lens of their Galois module structure. Module decompositions have been computed in several cases, providing deep new insight into absolute Galois groups. The surprising result in each case is that there are far few… ▽ More The power classes of a field are well-known for their ability to parameterize elementary $p$-abelian Galois extensions. These classical objects have recently been reexamined through the lens of their Galois module structure. Module decompositions have been computed in several cases, providing deep new insight into absolute Galois groups. The surprising result in each case is that there are far fewer isomorphism types of indecomposables than one would expect generically, with summands predominately free over associated quotient rings. Though non-free summands are the exception both in their form and prevalence, they play the critical role in controlling arithmetic conditions in the field which allow the rest of the decomposition to be so simple. Suppose $m,n \in \mathbb{N}$ and $p$ is prime. In a recent paper, a surprising and elegant decomposition for $p^m$th power classes has been computed when the underlying Galois group is a cyclic group of order $p^n$. As with previous module decompositions, at most one non-free summand appears. Outside of a particular special case when $p=2$, the structure of this exceptional summand was determined by a vector $\mathbf{a}\in \{-\infty,0,\dots,n\}^m$ and a natural number $d$. In this paper we give field-theoretic interpretations for $\mathbf{a}$ and $d$, showing they are related to the solvability of a family of Galois embedding problems and the cyclotomic character associated to $K/F$. △ Less

Submitted 17 June, 2022; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: v1: 36 pages. v2: 37 pages, to appear in Journal of Number Theory

MSC Class: 12F10; 16D70

Journal ref: Journal of Number Theory, Volume 242, January 2023, Pages 669-708

Galois module structure of the units modulo $p^m$ of cyclic extensions of degree $p^n$

Authors: Jan Minac, Andrew Schultz, John Swallow

Abstract: Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each indecomposable summand is cyclic and free over some quotient group of $\text{Gal}(K/F)$. For fixed values of $m$ and $n$, there are only finitely many possible isomo… ▽ More Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each indecomposable summand is cyclic and free over some quotient group of $\text{Gal}(K/F)$. For fixed values of $m$ and $n$, there are only finitely many possible isomorphism classes for the non-free indecomposable summand. These Galois modules act as parameterizing spaces for solutions to certain inverse Galois problems, and therefore this module computation provides insight into the structure of absolute Galois groups. More immediately, however, these results show that Galois cohomology is a context in which seemingly difficult module decompositions can practically be achieved: when $m,n>1$ the modular representation theory allows for an infinite number of indecomposable summands (with no known classification of indecomposable types), and yet the main result of this paper provides a complete decomposition over an infinite family of modules. △ Less

Submitted 16 March, 2022; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: v1: 42 pages. v2: 44 pages, including expositional changes and some concrete examples. To appear in manuscripta mathematica

MSC Class: 12F10; 16D70

Galois module structure of square power classes for biquadratic extensions

Authors: Frank Chemotti, Jan Minac, Andrew Schultz, John Swallow

Abstract: For a Galois extension $K/F$ with $\text{char}(K)\neq 2$ and $\text{Gal}(K/F) \simeq \mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$, we determine the $\mathbb{F}_2[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times 2}$. Although there are an infinite number of (pairwise non-isomorphic) indecomposable $\mathbb{F}_2[\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}]$-modules, our decomp… ▽ More For a Galois extension $K/F$ with $\text{char}(K)\neq 2$ and $\text{Gal}(K/F) \simeq \mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}$, we determine the $\mathbb{F}_2[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times 2}$. Although there are an infinite number of (pairwise non-isomorphic) indecomposable $\mathbb{F}_2[\mathbb{Z}/2\mathbb{Z}\oplus\mathbb{Z}/2\mathbb{Z}]$-modules, our decomposition includes at most $9$ indecomposable types. This paper marks the first time that the Galois module structure of power classes of a field has been fully determined when the modular representation theory allows for an infinite number of indecomposable types. △ Less

Submitted 22 July, 2021; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: v1: 26 pages. v2: 23 pages. Theorem 1 includes an additional summand type; corresponding adjustments appear in section 3. Section 6 contains new results on realizability. Miscellaneous typos corrected

MSC Class: 12F10; 16D70

Real-time Dynamic-Mode Scheduling Using Single-Integration Hybrid Optimization for Linear Time-Varying Systems

Authors: Anastasia Mavrommati, Jarvis A. Schultz, Todd D. Murphey

Abstract: This paper considers the problem of real-time mode scheduling in linear time-varying switched systems subject to a quadratic cost functional. The execution time of hybrid control algorithms is often prohibitive for real-time applications and typically may only be reduced at the expense of approximation accuracy. We address this trade-off by taking advantage of system linearity to formulate a proje… ▽ More This paper considers the problem of real-time mode scheduling in linear time-varying switched systems subject to a quadratic cost functional. The execution time of hybrid control algorithms is often prohibitive for real-time applications and typically may only be reduced at the expense of approximation accuracy. We address this trade-off by taking advantage of system linearity to formulate a projection-based approach so that no simulation is required during open-loop optimization. A numerical example shows how the proposed open-loop algorithm outperforms methods employing common numerical integration techniques. Additionally, we follow a receding-horizon scheme to apply real-time closed-loop hybrid control to a customized experimental setup, using the Robot Operating System (ROS). In particular, we demonstrate---both in Monte-Carlo simulation and in experiment---that optimal hybrid control efficiently regulates a cart and suspended mass system in real time. △ Less

Submitted 31 August, 2017; originally announced September 2017.

Journal ref: IEEE Transactions on Automation Science and Engineering, vol. 13, no. 3, pp. 1385-1398, 2016

On Hamiltonians for six-vertex models

Authors: Ben Brubaker, Andrew Schultz

Abstract: In this paper, we explain a connection between a family of free-fermionic six-vertex models and a discrete time evolution operator on one-dimensional Fermionic Fock space. The family of ice models generalize those with domain wall boundary, and we focus on two sets of Boltzmann weights whose partition functions were previously shown to generalize a generating function identity of Tokuyama. We prod… ▽ More In this paper, we explain a connection between a family of free-fermionic six-vertex models and a discrete time evolution operator on one-dimensional Fermionic Fock space. The family of ice models generalize those with domain wall boundary, and we focus on two sets of Boltzmann weights whose partition functions were previously shown to generalize a generating function identity of Tokuyama. We produce associated Hamiltonians that recover these Boltzmann weights, and furthermore calculate the partition functions using commutation relations and elementary combinatorics. We give an expression for these partition functions as determinants, akin to the Jacobi-Trudi identity for Schur polynomials. △ Less

Submitted 31 May, 2016; originally announced June 2016.

MSC Class: 05E10 (Primary); 82B20 and 81R10 (Secondary)

Galois p-groups and Galois modules

Authors: Sunil Chebolu, Jan Minac, Andrew Schultz

Abstract: The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups --- as well as other closely related, larger p-groups --- occur as Galois groups over given base fields. We show further how the appearance of some Galoi… ▽ More The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups --- as well as other closely related, larger p-groups --- occur as Galois groups over given base fields. We show further how the appearance of some Galois groups forces the appearance of other Galois groups in an interesting way. △ Less

Submitted 19 October, 2016; v1 submitted 24 November, 2014; originally announced November 2014.

Comments: 28 pages. To appear in Rocky Mountain Journal of Mathematics. Version 2 includes some minor corrections

MSC Class: 12F10; 12F12

The 6-vertex model and deformations of the Weyl character formula

Authors: Ben Brubaker, Andrew Schultz

Abstract: We use statistical mechanics -- variants of the six-vertex model in the plane studied by means of the Yang-Baxter equation -- to give new deformations of Weyl's character formula for classical groups of Cartan type B, C, and D, and a character formula of Proctor for type BC. In each case, the corresponding Boltzmann weights are associated to the free fermion point of the six-vertex model. These de… ▽ More We use statistical mechanics -- variants of the six-vertex model in the plane studied by means of the Yang-Baxter equation -- to give new deformations of Weyl's character formula for classical groups of Cartan type B, C, and D, and a character formula of Proctor for type BC. In each case, the corresponding Boltzmann weights are associated to the free fermion point of the six-vertex model. These deformations add to the earlier known examples in types A and C by Tokuyama and Hamel-King, respectively. A special case for classical types recovers deformations of the Weyl denominator formula due to Okada. △ Less

Submitted 19 May, 2014; v1 submitted 10 February, 2014; originally announced February 2014.

Comments: v2: renamed the last family of models and showed their connection to character formulae for groups of type BC; addressed some issues in the proof of Lemma 6.2; updated abstract

MSC Class: 05E10 (Primary); 82B20 (Secondary)

A generalization of the Gaussian formula and a q-analog of Fleck's congruence

Authors: Andrew Schultz, Robert Walker

Abstract: The q-binomial coefficients are the polynomial cousins of the traditional binomial coefficients, and a number of identities for binomial coefficients can be translated into this polynomial setting. For instance, the familiar vanishing of the alternating sum across row n of Pascal's triangle is captured by the so-called Gaussian Formula. In this paper, we find a q-binomial congruence which synthesi… ▽ More The q-binomial coefficients are the polynomial cousins of the traditional binomial coefficients, and a number of identities for binomial coefficients can be translated into this polynomial setting. For instance, the familiar vanishing of the alternating sum across row n of Pascal's triangle is captured by the so-called Gaussian Formula. In this paper, we find a q-binomial congruence which synthesizes this result and Fleck's congruence for binomial coefficients. △ Less

Submitted 1 February, 2012; originally announced February 2012.

MSC Class: 11B65

Parameterizing solutions to any Galois embedding problem over Z/p^nZ with elementary p-abelian kernel

Authors: Andrew Schultz

Abstract: In this paper we use the Galois module structure for the classical parameterizing spaces for elementary p-abelian extensions of a field K to give necessary and sufficient conditions for the solvability of any embedding problem which is an extension of Z/p^nZ with elementary p-abelian kernel. This allows us to count the total number of solutions to a given embedding problem when the appropriate mod… ▽ More In this paper we use the Galois module structure for the classical parameterizing spaces for elementary p-abelian extensions of a field K to give necessary and sufficient conditions for the solvability of any embedding problem which is an extension of Z/p^nZ with elementary p-abelian kernel. This allows us to count the total number of solutions to a given embedding problem when the appropriate modules are finite, and leads to some nontrivial automatic realization and realization multiplicity results for Galois groups. △ Less

Submitted 27 March, 2014; v1 submitted 19 September, 2011; originally announced September 2011.

Comments: 37 pages; updated references in second version; exposition improved in the third version

MSC Class: 12F10

p-Groups have unbounded realization multiplicity

Authors: Jen Berg, Andrew Schultz

Abstract: In this paper we interpret the solutions to a particular Galois embedding problem over an extension K/F whose Galois group is a finite, cyclic p group in terms of certain Galois submodules within the parameterizing space of elementary p-abelian extensions of K; here p is a prime. Combined with some basic facts about the module structure of this parameterizing space, this allows us to exhibit a cla… ▽ More In this paper we interpret the solutions to a particular Galois embedding problem over an extension K/F whose Galois group is a finite, cyclic p group in terms of certain Galois submodules within the parameterizing space of elementary p-abelian extensions of K; here p is a prime. Combined with some basic facts about the module structure of this parameterizing space, this allows us to exhibit a class of p-groups whose realization multiplicity is unbounded. △ Less

Submitted 19 September, 2011; originally announced September 2011.

Comments: 8 pages

MSC Class: 12F10

An elementary (number theory) proof of Touchard's congruence

Authors: Greg Hurst, Andrew Schultz

Abstract: Let B_n denote the nth Bell number. We use well-known recursive expressions for B_n to give a generalizing recursion that can be used to prove Touchard's congruence. Let B_n denote the nth Bell number. We use well-known recursive expressions for B_n to give a generalizing recursion that can be used to prove Touchard's congruence. △ Less

Submitted 8 June, 2009; v1 submitted 3 June, 2009; originally announced June 2009.

Comments: 5 pages Update: Typo in email address for first author corrected

MSC Class: 05A18

Galois module structure of Galois cohomology for embeddable cyclic extensions of degree p^n

Authors: Nicole Lemire, Jan Minac, Andrew Schultz, John Swallow

Abstract: Let p>2 be prime, and let n,m be positive integers. For cyclic field extensions E/F of degree p^n that contain a primitive pth root of unity, we show that the associated F_p[Gal(E/F)]-modules H^m(G_E,mu_p) have a sparse decomposition. When E/F is additionally a subextension of a cyclic, degree p^{n+1} extension E'/F, we give a more refined F_p[Gal(E/F)]-decomposition of H^m(G_E,mu_p). Let p>2 be prime, and let n,m be positive integers. For cyclic field extensions E/F of degree p^n that contain a primitive pth root of unity, we show that the associated F_p[Gal(E/F)]-modules H^m(G_E,mu_p) have a sparse decomposition. When E/F is additionally a subextension of a cyclic, degree p^{n+1} extension E'/F, we give a more refined F_p[Gal(E/F)]-decomposition of H^m(G_E,mu_p). △ Less

Submitted 23 April, 2009; originally announced April 2009.

MSC Class: 12G05; 19D45

Journal ref: J. London Math. Soc. 81 (2010), no. 3, 525-543

Automatic realizations of Galois groups with cyclic quotient of order p^n

Authors: Jan Minac, Andrew Schultz, John Swallow

Abstract: We establish automatic realizations of Galois groups among groups M\rtimes G, where G is a cyclic group of order p^n for a prime p and M is a quotient of the group ring Fp[G]. We establish automatic realizations of Galois groups among groups M\rtimes G, where G is a cyclic group of order p^n for a prime p and M is a quotient of the group ring Fp[G]. △ Less

Submitted 25 March, 2006; originally announced March 2006.

Comments: 12 pages

MSC Class: 12F10

Journal ref: J. Théor. Nombres Bordeaux 20 (2008), no. 2, 419--430

Galois module structure of Milnor K-theory mod p^s in characteristic p

Authors: Jan Minac, Andrew Schultz, John Swallow

Abstract: Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero summands in the decomposition are indeed nonzero. Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero summands in the decomposition are indeed nonzero. △ Less

Submitted 7 September, 2007; v1 submitted 24 February, 2006; originally announced February 2006.

Comments: v2 (11 pages): minor corrections made

MSC Class: 19D45; 12F10

Journal ref: New York J. Math. 14 (2008), 225-233

Hilbert 90 for Galois cohomology

Authors: Nicole Lemire, Jan Minac, Andrew Schultz, John Swallow

Abstract: Assuming the Bloch-Kato Conjecture, we determine precise conditions under which Hilbert 90 is valid for Milnor k-theory and Galois cohomology. In particular, Hilbert 90 holds for degree n when the cohomological dimension of the Galois group of the maximal p-extension of F is at most n. Assuming the Bloch-Kato Conjecture, we determine precise conditions under which Hilbert 90 is valid for Milnor k-theory and Galois cohomology. In particular, Hilbert 90 holds for degree n when the cohomological dimension of the Galois group of the maximal p-extension of F is at most n. △ Less

Submitted 27 January, 2006; originally announced January 2006.

Comments: 11 pages

MSC Class: 12G05; 19D45

Journal ref: Comm. Algebra 38 (2010), 361--372

Hilbert 90 for biquadratic extensions

Authors: Roman Dwilewicz, Jan Minac, Andrew Schultz, John Swallow

Abstract: Hilbert's Theorem 90 is a classical result in the theory of cyclic extensions. The quadratic case of Hilbert 90, however, generalizes in noncyclic directions as well. Informed by a poem of Richard Wilbur, the article explores several generalizations, discerning connections among multiplicative groups of fields, values of binary quadratic forms, a bit of module theory over group rings, and even G… ▽ More Hilbert's Theorem 90 is a classical result in the theory of cyclic extensions. The quadratic case of Hilbert 90, however, generalizes in noncyclic directions as well. Informed by a poem of Richard Wilbur, the article explores several generalizations, discerning connections among multiplicative groups of fields, values of binary quadratic forms, a bit of module theory over group rings, and even Galois cohomology. △ Less

Submitted 14 July, 2006; v1 submitted 7 October, 2005; originally announced October 2005.

Comments: v2 (15 pages); followed Monthly style sheet and added additional exposition

MSC Class: 12F10; 12G05

Journal ref: Amer. Math. Monthly 114 (2007), no. 7, 577--587

On a Modification of a Problem of Bialostocki, Erdős, and Lefmann

Authors: Andrew Schultz

Abstract: For positive integers m and r, one can easily show there exist integers N such that for every map D:{1,2,...,N} -> {1,2,...,r} there exist 2m integers x_1 < ... < x_m < y_1 < ... < y_m which satisfy: (a) D(x_1) = ... = D(x_m), (b) D(y_1) = ... = D(y_m), and (c) 2(x_m-x_1) \leq y_m-x_1. In this paper we investigate the minimal such integer, which we call g(m,r). We compute g(m,2) for m \geq 2; g(… ▽ More For positive integers m and r, one can easily show there exist integers N such that for every map D:{1,2,...,N} -> {1,2,...,r} there exist 2m integers x_1 < ... < x_m < y_1 < ... < y_m which satisfy: (a) D(x_1) = ... = D(x_m), (b) D(y_1) = ... = D(y_m), and (c) 2(x_m-x_1) \leq y_m-x_1. In this paper we investigate the minimal such integer, which we call g(m,r). We compute g(m,2) for m \geq 2; g(m,3) for m \geq 4; and g(m,4) for m \geq 3. Furthermore, we consider g(m,r) for general r. Along with results that bound g(m,r), we compute g(m,r) exactly for the following infinite families of r: {f_{2n+3}}, {2f_{2n+3}}, {18f_{2n}-7f_{2n-2}}, and {23f_{2n}-9f_{2n-2}}, where here f_i is the ith Fibonacci number defined by f_0 = 0 and f_1=1. △ Less

Submitted 27 June, 2005; originally announced June 2005.

Comments: 17 pages; submitted to Discrete Math

MSC Class: 05D10

Cyclic algebras, Schur indices, norms, and Galois modules

Authors: Jan Minac, Andrew Schultz, John Swallow

Abstract: Let p be a prime and suppose that K/F is a cyclic extension of degree p^n with group G. Let J be the F_pG-module K^*/K^{*p} of pth-power classes. In our previous paper we established precise conditions for J to contain an indecomposable direct summand of dimension not a power of p. At most one such summand exists, and its dimension must be p^i+1 for some 0<=i<n. We show that for all primes p and… ▽ More Let p be a prime and suppose that K/F is a cyclic extension of degree p^n with group G. Let J be the F_pG-module K^*/K^{*p} of pth-power classes. In our previous paper we established precise conditions for J to contain an indecomposable direct summand of dimension not a power of p. At most one such summand exists, and its dimension must be p^i+1 for some 0<=i<n. We show that for all primes p and all 0<=i<n, there exists a field extension K/F with a summand of dimension p^i+1. △ Less

Submitted 21 January, 2010; v1 submitted 25 October, 2004; originally announced October 2004.

Comments: v2 (16 pages); to appear in Annales des sciences mathematiques du Quebec

MSC Class: 12F10 (Primary) 16D70 (Secondary)

Journal ref: Ann. Sci. Math. Quebec 35 (2011), no. 1, 123--136

Galois module structure of pth-power classes of cyclic extensions of degree p^n

Authors: Jan Minac, Andrew Schultz, John Swallow

Abstract: In the mid-1960s Borevic and Faddeev initiated the study of the Galois module structure of groups of pth-power classes of cyclic extensions K/F of pth-power degree. They determined the structure of these modules in the case when F is a local field. In this paper we determine these Galois modules for all base fields F. In the mid-1960s Borevic and Faddeev initiated the study of the Galois module structure of groups of pth-power classes of cyclic extensions K/F of pth-power degree. They determined the structure of these modules in the case when F is a local field. In this paper we determine these Galois modules for all base fields F. △ Less

Submitted 12 April, 2005; v1 submitted 27 September, 2004; originally announced September 2004.

Comments: v2 (45 pages): Corrected minor errors and added Corollary 3. To appear in Proc. London Math. Soc

MSC Class: 12F10 (Primary) 16D70 (Secondary)

Journal ref: Proc. London Math. Soc. 92 (2006), no. 2, 307--341