Related papers: A non-abelian Stickelberger theorem

The Stickelberger elements attached to an abelian extension of number fields conjecturally participate, under certain conditions, in annihilator relations involving higher algebraic K-groups. In [Victor P. Snaith, Stark's conjecture and new…

Let K be a number field containing the group of n-th roots of unity and S a set of primes of K including all those dividing n and all real archimedean places. We consider the cup product on the first Galois cohomology group of the maximal…

In this note, we prove: \medskip \noindent {\bf Theorem A:} \emph{ There is a fixed constant $C$ such that for any positive integer $n$ and prime $p$, every finite subgroup $G$ of order coprime to $p$ of ${\rm GL}(n,\mathbb{C})$ has an…

Let $K$ be an algebraic number field with ring of integers $\Cal{O}_{K}$, $p>2$ be a rational prime and $G$ be the cyclic group of order $p $. Let $\Lambda$ denote the order $\Cal{O}_{K}[G].$ Let $Cl(\Lambda)$ denote the locally free class…

For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph…

We verify a special case of a conjecture of G. Carlsson that describes the $\l$-adic $K$-theory of a field $F$ of characteristic prime to $\l$ in terms of the representation theory of the absolute Galois group $G_F$. This conjecture is…

For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/K$ is an abelian extension if the upper ramification breaks are integers and…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Let $k_\infty$ be the cyclotomic $\mathbb{Z}_p$-extension of an algebraic number field $k$. We denote by $S$ a finite set of prime numbers which does not contain $p$, and $S(k_\infty)$ the set of primes of $k_\infty$ lying above $S$. In the…

Suppose $\mathcal K$ is $N$-dimensional local field of characteristic $p$, $\mathcal G =\mathop{Gal}(\mathcal K_{sep}/\mathcal K)$, $\mathcal G_{<p}$ is the maximal quotient of $\mathcal G$ of period $p$ and nilpotent class $<p$ and…

Given an abelian algebraic group $A$ over a global field $F$, $\alpha \in A(F)$, and a prime $\ell$, the set of all preimages of $\alpha$ under some iterate of $[\ell]$ generates an extension of $F$ that contains all $\ell$-power torsion…

In our previous paper we describe the Galois module structures of $p$th-power class groups $K^\times/{K^{\times p}}$, where $K/F$ is a cyclic extension of degree $p$ over a field $F$ containing a primitive $p$th root of unity. Our…

Let $G$ be a group. We denote by $\nu(G)$ a certain extension of the non-abelian tensor square $[G,G^{\varphi}]$ by $G \times G$. We prove that if $G$ is a finite potent $p$-group, then $[G,G^{\varphi}]$ and the $k$-th term of the lower…

Let $\ell$ and $p$ be distinct primes, and let $\G$ be an abelian pro-$p$-group. We study the structure of the algebra $\L:=\Z_\ell[[\G]]$ and of $\L$-modules. The algebra $\L$ turns out to be a direct product of copies of ring of integers…

Let $k\subseteq K$ be a finite Galois extension of fields with Galois group $G$. Let $\mathscr{G}$ be the automorphism $k$-group scheme of $K$. We construct a canonical $k$-subgroup scheme $\underline{G}\subset\mathscr{G}$ with the property…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a \mbox{finite group of} odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ be the square root of the inverse different of $K_h/K$, which exists by…

For any number field K, it is unknown which finite groups appear as Galois groups of extensions L/K such that L is a maximal subfield of a division algebra with center K (a K-division algebra). For K=Q, the answer is described by the long…

Let $G$ be a finitely generated abelian-by-finite group and $k$ a field of characteristic $p\ge 0$. The Euler class $[k_G]$ of $G$ over $k$ is the class of the trivial $kG$-module in the Grothendieck group $G_0(kG)$. We show that $[k_G]$…

The goal of this paper is to explain how a simple but apparently new fact of linear algebra together with the cohomological interpretation of L-functions allows one to produce many examples of L-functions over function fields vanishing to…

Let $p$ be an odd prime. We study the structure of the cyclotomic Greenberg-Selmer group attached to a general irreducible Artin motive over $\mathbb{Q}$ endowed with an ordinary $p$-stabilization. Under the Leopoldt and the weak $p$-adic…