Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 120914

Questions about mathematics which don't fall into the other arXiv categories. If you have a general question about mathematics but it is not research level, it's off-topic but it might be welcomed on Mathematics Stack Exchange.

16 votes

Theorems with many distinct proofs

The Nielsen-Schreier theorem from combinatorial group theory ought to qualify, as it is one of the most fundamental theorems of this area. It was originally proved in a restricted form by J. Nielsen i …
13 votes

Conceptual reason why the sign of a permutation is well-defined?

Obviously, there are lots of answers already, but I thought I'd give the proof of (5) as given by Jordan already in 1870 in his Traité des substitutions -- this has the benefit of being quite clear to …
Carl-Fredrik Nyberg Brodda's user avatar
10 votes

When is 4 qualitatively different than $n\leq 3$?

The word problem is decidable in every $\leq3$-manifold group, but can be undecidable in $4$-manifold groups.
6 votes
Accepted

Get the commands history from GAP system

There are three commands that will do all variations of this: LogTo("filename.txt") will save all subsequent input and output to a file with the specified name. InputLogTo("filename.txt") will save a …
Carl-Fredrik Nyberg Brodda's user avatar