Groups -- additive notation.

DOI10.1515/FORMA-2015-0013zbMath1318.20001OpenAlexW2293507108MaRDI QIDQ491777

Roland Coghetto

Publication date: 19 August 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2015-0013

zbMATH Keywords

normal subgroupsindexbasesconjugationneighborhoodsformalizationLagrange theorem\(\mathbb Z\)-modulesadditive Abelian groupsadditive groupsadditive topological groups

Mathematics Subject Classification ID

Structure of general topological groups (22A05) Mechanization of proofs and logical operations (03B35) Axiomatics and elementary properties of groups (20A05)

Related Items (1)

Summable family in a commutative group

Uses Software

• Isabelle/HOL
• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Group theory and its applications in physics. Transl. by the authors from the Japanese.
• Semantics of MML Query - Ordering
• Z-modules
• Formalization of real analysis: a survey of proof assistants and libraries
• Finitely Generated Abelian Groups and Similarity of Matrices over a Field
• Type Classes and Filters for Mathematical Analysis in Isabelle/HOL

This page was built for publication: Groups -- additive notation.