Normal forms of matrices with applications to almost completely decomposable groups

MaRDI QIDQ4270335zbMATH OpenFDO

Authors Otto Mutzbauer

Publication date 9 May 2000

zbMATH Keywords

almost completely decomposable groupsclassificationdirect sums of cyclic \(p\)-groupsnear-isomorphism invariantsnormal forms of matricesrepresenting matricesrigid groupsuniform groups

Mathematics Subject Classification ID

Canonical forms, reductions, classification (15A21) Direct sums, direct products, etc. for abelian groups (20K25)

Review text

\textit{M. Dugas} and \textit{E. Oxford} [in Abelian Groups, Proc. Curaçao Conf. 1991, Lect. Notes Pure Appl. Math. 146, 129-150 (1993; Zbl 0806.20042)] classified a special class of almost completely decomposable groups, called uniform groups, up to near-isomorphism by certain invariants. In the present paper the same is achieved by describing the groups, as Dugas and Oxford did, by so-called representing matrices, interpreting near-isomorphism by an equivalence of representing matrices, and establishing normal forms in the equivalence classes. It is a fairly technical process involving many definitions that cannot all be reproduced here. A uniform group \(X\) is an extension of a completely decomposable group \(R=\tau_1x_1\oplus\cdots\oplus\tau_rx_r\) such that \(X/R\) is a finite direct sum of cyclic \(p\)-groups all of the same order \(p^e\), where the \(\tau_j\) are subgroups of the additive group of rational numbers containing \(\mathbb{Z}\) with pairwise incomparable types, and \(X(\tau_j)=\tau_jx_j\). Thus \(X=R+\sum_{i=1}^kp^{-e}a_i\) with \(\text{order}(p^{-e}(a_i+R))=p^e\). It may be assumed that the \(x_j\) are so chosen that the \(x_i+p^eR\) form a basis of the free \(\mathbb{Z}/p^e\mathbb{Z}\)-module \(R/p^eR\). Writing \(a_i+p^eR=\sum_j\alpha_{ij}(x_j+p^eR)\) one obtains the representing matrix \([\alpha_{ij}]\). The representing matrices contain essential information about uniform groups and isomorphism and near-isomorphism of two groups with common ``regulator \(R\) and representing matrices \(A\) and \(B\) translate into a relation \(B=UAV\) for special matrices \(U,V\). This is the fact that turns the study of uniform groups into a study of matrix equivalence. For the entire collection see [Zbl 0921.00018].

Recommendations

• Representing matrices of almost completely decomposable groups
• On semigroups of normal matrices
• Almost completely decomposable groups and integral linear algebra
• Normalisers and centralisers of compact matrix groups. An elementary approach
• Computing matrix group decompositions with respect to a normal subgroup
• scientific article; zbMATH DE number 871860
• CONSTRUCTIVE RECOGNITION OF NORMALIZERS OF SMALL EXTRA-SPECIAL MATRIX GROUPS
• Normal forms and Lie groupoid theory
• Normal forms of generic triangular band matrices and Jordan forms of nilpotent completions
• The normal complement problem in group algebras

Cited in

(5)

• Isomorphism classes of uniform groups.
• Computing matrix group decompositions with respect to a normal subgroup
• Direct decompositions of uniform groups
• Quotient Stable Uniform Groups
• Representing matrices of almost completely decomposable groups

This page was built for publication: Normal forms of matrices with applications to almost completely decomposable groups

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