Another counterexample to a conjecture of Zassenhaus.

MaRDI QIDQ1856597zbMATH OpenFDO

Authors Martin Hertweck

Publication date 10 February 2003

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/229887, http://www.emis.de/journals/BAG/vol.43/no.2/16.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

automorphismsintegral group ringsunit groupsZassenhaus conjectureZassenhaus factorizations

Mathematics Subject Classification ID

Group rings (16S34) Units, groups of units (associative rings and algebras) (16U60) Automorphisms and endomorphisms (16W20) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Integral representations of finite groups (20C10)

Review text

The Zassenhaus conjecture on automorphisms of the integral group ring \(\mathbb{Z} G\) of a finite group \(G\) says that any augmentation preserving automorphism of \(\mathbb{Z} G\) factors into a composition of an automorphism, extended from a group automorphism of \(G\), and a central one (an automorphism of \(\mathbb{Z} G\) fixing the centre elementwise). K. Roggenkamp and L. Scott constructed a metabelian group \(G\) of order 2880, with \(\mathbb{Z} G\) possessing an automorphism, which violates the Zassenhaus conjecture. Their construction is explicit in the semi-local case, whereas in the global situation rather general theory is used. Slightly modifying \(G\), L. Klingler gave a more explicit proof. In Klingler's work \(|G|\) becomes 6720. In this paper, the author essentially simplifies the construction, dealing with a metabelian group \(G\) of order 1440 (\(=2^5\cdot 3^2\cdot 5\)). The automorphism is constructed by establishing certain congruence relations satisfied by powers of only a few distinguished elements of \(\mathbb{Z} G\). The author also gives a group \(G\) of order \(2^5\cdot 3\) whose group ring \(\mathbb{Z} G\) possesses a group basis \(H\) such that the Sylow \(2\)-subgroups of \(G\) and \(H\) are not conjugate in the unit group of the \(2\)-adic integral group ring \(\mathbb{Z}_2G\).

Recommendations

• Another counterexample to Zygmund's conjecture
• A counterexample to the first Zassenhaus conjecture
• A counterexample to Guillemin's Zollfrei conjecture
• A counter-example to Hausmann's conjecture
• A counterexample to a conjecture of Hasson
• Construction of a counterexample to a conjecture of zassenhaus
• A counterexample to Gurjar–Zhang’s conjectures
• A counterexample to a conjecture by Błocki-Zwonek
• A Counterexample to a Conjecture of Niho

Cited in

(9)

• Integral group ring automorphisms without Zassenhaus factorization
• Autoequivalences of blocks and a conjecture of Zassenhaus
• A counterexample to the first Zassenhaus conjecture
• scientific article; zbMATH DE number 17081 (Why is no real title available?)
• Construction of a counterexample to a conjecture of zassenhaus
• scientific article; zbMATH DE number 88872 (Why is no real title available?)
• Local analysis of the normalizer problem
• Arithmeticity of stabilizers of ideals in group rings
• A counter-example to a conjecture of Lusztig.

This page was built for publication: Another counterexample to a conjecture of Zassenhaus.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1856597)