Name: Groups – Additive Notation
Creator: Coghetto Roland
Keywords: 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

Groups – Additive Notation

Article English OPEN

Coghetto Roland (2015)

Publisher: Sciendo
Journal: Formalized Mathematics (issn: 1898-9934)
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].

Metrics

No metrics available

Share - Bookmark

Download from

Formalized Mathematics via DOAJ-Articles (Article, 2015)

Sciendo/ Formalized Mathematics
Cite this publication