Login
Registrati
Reimposta password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
Carrello
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Home
Riviste
Formalized Mathematics
Volume 22 (2014): Numero 4 (December 2014)
Accesso libero
Torsion Z-module and Torsion-free Z-module
Yuichi Futa
Yuichi Futa
,
Hiroyuki Okazaki
Hiroyuki Okazaki
,
Kazuhisa Nakasho
Kazuhisa Nakasho
e
Yasunari Shidama
Yasunari Shidama
| 31 dic 2014
Formalized Mathematics
Volume 22 (2014): Numero 4 (December 2014)
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Pubblicato online:
31 dic 2014
Pagine:
277 - 289
Ricevuto:
29 nov 2014
DOI:
https://doi.org/10.2478/forma-2014-0028
Parole chiave
free Z-module
,
rank of Z-module
,
homomorphism of Z-module
,
linearly independent
,
linear combination
© by Yuichi Futa
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.
Yuichi Futa
Japan Advanced Institute of Science and Technology Ishikawa, Japan
Hiroyuki Okazaki
Shinshu University Nagano, Japan
Kazuhisa Nakasho
Shinshu University Nagano, Japan
Yasunari Shidama
Shinshu University Nagano, Japan