MarriageTheoremのこと

_ arXiv:math 11月18日分まで、IACR ePrint 2012/692まで確認済み

_ 気になった論文１：On the subgroups of the group $\Z_m \times \Z_n$, Mario Hampejs, Nicki Holighaus, László Tóth, Christoph Wiesmeyr, http://jp.arxiv.org/abs/1211.1797

We discuss properties of the subgroups of the group $\Z_m \times \Z_n$, where $m$ and $n$ are arbitrary positive integers. Simple formulae for the total number of subgroups and the number of subgroups of a given order are deduced. The cyclic subgroups and subgroups of a given exponent are also considered.

_ 気になった論文２：Copies of classical logic in intuitionistic logic, Jaime Gaspar, http://jp.arxiv.org/abs/1211.1850

Classical logic (the logic of non-constructive mathematics) is stronger than intuitionistic logic (the logic of constructive mathematics). Despite this, there are copies of classical logic in intuitionistic logic. All copies usually found in the literature are the same. This raises the question: is the copy unique? We answer negatively by presenting three different copies.

_ 気になった論文３：C(6) groups do not contain F_2 X F_2, Hadi Bigdely, Daniel T. Wise, http://jp.arxiv.org/abs/1211.1998

We show that a group with a presentation satisfying the C(6) small cancellation condition cannot contain a subgroup isomorphic to F_2 X F_2.