Source author record

Keir Lockridge

Keir Lockridge appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2026arXiv

Half of finite abelian groups are unit groups

A group is called realizable if it is the group of units in a ring with identity. The classification of realizable groups is a difficult open problem -- originally posed by László Fuchs -- and is an active area of research. Realizable groups seem rare, but their proportion within a fixed class of groups (cyclic, dihedral, finite abelian, etc.) varies. To quantify this proportion, we introduce the realizable density of a class of finite groups as an analog of natural density for subsets of the natural numbers. The realizable finite cyclic groups and the realizable finite abelian $p$-groups for $p$ odd have been classified; we prove that their realizable densities are 1/4 and 0, respectively. The realizable finite abelian 2-groups -- and more generally the realizable finite abelian groups -- have not been fully classified, and these special cases appear quite difficult. Nonetheless, we prove that the realizable density of finite abelian 2-groups is 1 and the realizable density of finite abelian groups is 1/2. Our work combines existing classification theorems for realizable groups with tools from analytic number theory.

preprint2022arXiv

Is there an infinite field whose multiplicative group is indecomposable?

In an earlier paper, we determined the finite fields with indecomposable multiplicative groups and conjectured that there is no infinite field whose multiplicative group is indecomposable. In this paper, we prove this conjecture for several popular classes of fields, including finitely generated fields, discrete valued fields, fields of Hahn series, local fields, global fields, and function fields.

preprint2016arXiv

Fuchs' problem for dihedral groups

More than 50 years ago, Laszlo Fuchs asked which abelian groups can be the group of units of a ring. Though progress has been made, the question remains open. One could equally well pose the question for various classes of nonabelian groups. In this paper, we prove that D_2, D_4, D_6, D_8, and D_12 are the only dihedral groups that appear as the group of units of a ring of positive characteristic (or, equivalently, of a finite ring), and D_2 and D_4k, where k is odd, are the only dihedral groups that appear as the group of units of a ring of characteristic 0.

preprint2014arXiv

When is the multiplicative group of a field indecomposable?

The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as a corollary to Catalan's Conjecture. Turning to infinite fields, we prove that any infinite field whose characteristic is not equal to 2 must have a decomposable multiplicative group. We conjecture that this is also true for infinite fields of characteristic 2 and we narrow the class of possible counter-examples. Finally, using the classification of finite commutative primary rings with cyclic multiplicative groups, we determine all finite commutative rings with indecomposable multiplicative groups.

preprint2010arXiv

Homological dimensions of ring spectra

We define homological dimensions for S-algebras, the generalized rings that arise in algebraic topology. We compute the homological dimensions of a number of examples, and establish some basic properties. The most difficult computation is the global dimension of real K-theory KO and its connective version ko at the prime 2. We show that the global dimension of KO is 1, 2, or 3, and the global dimension of ko is 4 or 5.