Groups – Additive Notation
Coghetto Roland;
- Publisher: Sciendo
- Journal: Formalized Mathematics (issn: 1898-9934)
Related identifiers: - 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].
- Similar Research Results (1) publicationEmbedded Lattice and Properties of Gram Matrix (2017)78%
- Metrics
Share - Bookmark
- Download from