REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/6291
Tytuł: Isomorphism Theorem on Vector Spaces over a Ring
Autorzy: Futa, Yuichi
Shidama, Yasunari
Słowa kluczowe: isomorphism theorem
vector space
Data wydania: 2017
Data dodania: 8-lut-2018
Wydawca: DeGruyter Open
Źródło: Formalized Mathematics, Volume 25, Issue 3, Pages 171–178
Abstrakt: SummaryIn this article, we formalize in the Mizar system [1, 4] some properties of vector spaces over a ring. We formally prove the first isomorphism theorem of vector spaces over a ring. We also formalize the product space of vector spaces. ℤ-modules are useful for lattice problems such as LLL (Lenstra, Lenstra and Lovász) [5] base reduction algorithm and cryptographic systems [6, 2].
Afiliacja: Futa Yuichi - Tokyo University of Technology, Tokyo, Japan
Shidama Yasunari - Shinshu University, Nagano, Japan
URI: http://hdl.handle.net/11320/6291
DOI: 10.1515/forma-2017-0016
ISSN: 1426-2630
e-ISSN: 1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2017, Volume 25, Issue 3

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2017-0016.pdf297,42 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons