Connexion
S'inscrire
Réinitialiser le mot de passe
Publier & Distribuer
Solutions d'édition
Solutions de distribution
Thèmes
Publications
Journaux
Livres
Comptes-rendus
Éditeurs
Blog
Contact
Chercher
Panier
EUR
USD
GBP
Français
English
Deutsch
Polski
Español
Français
Italiano
Home
Journaux
Formalized Mathematics
Édition 24 (2016): Edition 1 (March 2016)
Accès libre
Conservation Rules of Direct Sum Decomposition of Groups
Kazuhisa Nakasho
Kazuhisa Nakasho
,
Hiroshi Yamazaki
Hiroshi Yamazaki
,
Hiroyuki Okazaki
Hiroyuki Okazaki
et
Yasunari Shidama
Yasunari Shidama
| 31 août 2016
Formalized Mathematics
Édition 24 (2016): Edition 1 (March 2016)
À propos de cet article
Article précédent
Article suivant
Résumé
Références
Auteurs
Articles dans cette édition
Aperçu
PDF
Citez
Partagez
Publié en ligne:
31 août 2016
Pages:
81 - 94
Reçu:
31 déc. 2015
DOI:
https://doi.org/10.1515/forma-2016-0007
Mots clés
group theory
,
direct sum decomposition
© by Kazuhisa Nakasho
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.