Groups – Additive Notation

Article English OPEN
Coghetto Roland;
(2015)
  • Publisher: Sciendo
  • Journal: Formalized Mathematics (issn: 1898-9934)
  • Publisher copyright policies & self-archiving
  • Related identifiers: doi: 10.1515/forma-2015-0013
  • 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 [25].
Share - Bookmark