Groups – Additive Notation
- Publisher: Sciendo
- Journal: Formalized Mathematics (issn: 1898-9934)
- Subject: 20A05 | 20K00 | 03B35 | additive group | subgroup | Lagrange theorem | conjugation | normal subgroup | index | additive topological group | basis | neighborhood | additive abelian group | Z-module | identifier: GROUP_1A | version: 8.1.045.32.1240 | Mathematics | QA1-939
We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz .