Found problems: 339
1985 Miklós Schweitzer, 6
Determine all finite groups $G$ that have an automorphism $f$ such that $H\not\subseteq f(H)$ for all proper subgroups $H$ of $G$. [B. Kovacs]
2024 India National Olympiad, 5
Let points $A_1$, $A_2$ and $A_3$ lie on the circle $\Gamma$ in a counter-clockwise order, and let $P$ be a point in the same plane. For $i \in \{1,2,3\}$, let $\tau_i$ denote the counter-clockwise rotation of the plane centred at $A_i$, where the angle of rotation is equial to the angle at vertex $A_i$ in $\triangle A_1A_2A_3$. Further, define $P_i$ to be the point $\tau_{i+2}(\tau_{i}(\tau_{i+1}(P)))$, where the indices are taken modulo $3$ (i.e., $\tau_4 = \tau_1$ and $\tau_5 = \tau_2$).
Prove that the radius of the circumcircle of $\triangle P_1P_2P_3$ is at most the radius of $\Gamma$.
[i]Proposed by Anant Mudgal[/i]
1993 Miklós Schweitzer, 3
Let K be the field formed by the addition of a root of the polynomial $x^4 - 2x^2 - 1$ to the rational field. Prove that there are no exceptional units in the ring of integers of K. (A unit $\varepsilon$ is called exceptional if $1-\varepsilon$ is also a unit.)
1969 Miklós Schweitzer, 1
Let $ G$ be an infinite group generated by nilpotent normal subgroups. Prove that every maximal Abelian normal subgroup of $ G$ is infinite. (We call an Abelian normal subgroup maximal if it is not contained in another Abelian normal subgroup.)
[i]P. Erdos[/i]
1990 IMO Longlists, 50
During the class interval, $n$ children sit in a circle and play the game described below. The teacher goes around the children clockwisely and hands out candies to them according to the following regulations: Select a child, give him a candy; and give the child next to the first child a candy too; then skip over one child and give next child a candy; then skip over two children; give the next child a candy; then skip over three children; give the next child a candy;...
Find the value of $n$ for which the teacher can ensure that every child get at least one candy eventually (maybe after many circles).
2011 Gheorghe Vranceanu, 1
[b]a)[/b] Let $ B,A $ be two subsets of a finite group $ G $ such that $ |A|+|B|>|G| . $ Show that $ G=AB. $
[b]b)[/b] Show that the cyclic group of order $ n+1 $ is the product of the sets $ \{ 0,1,2,\ldots ,m \} $ and $ \{ m,m+1,m+2,\ldots ,n\} , $ where $ 0,1,2,\ldots n $ are residues modulo $ n+1 $ and $ m\le n. $
2011 Croatia Team Selection Test, 2
There were finitely many persons at a party among whom some were friends. Among any $4$ of them there were either $3$ who were all friends among each other or $3$ who weren't friend with each other. Prove that you can separate all the people at the party in two groups in such a way that in the first group everyone is friends with each other and that all the people in the second group are not friends to anyone else in second group. (Friendship is a mutual relation).
1991 Arnold's Trivium, 92
Find the orders of the subgroups of the group of rotations of the cube, and find its normal subgroups.
2006 Iran MO (3rd Round), 1
$n$ is a natural number. $d$ is the least natural number that for each $a$ that $gcd(a,n)=1$ we know $a^{d}\equiv1\pmod{n}$. Prove that there exist a natural number that $\mbox{ord}_{n}b=d$
2005 Today's Calculation Of Integral, 44
Evaluate
\[{\int_0^\frac{\pi}{2}} \frac{\sin 2005x}{\sin x}dx\]
2014 IMS, 10
Let $V$ be a $n-$dimensional vector space over a field $F$ with a basis $\{e_1,e_2, \cdots ,e_n\}$.Prove that for any $m-$dimensional linear subspace $W$ of $V$, the number of elements of the set $W \cap P$ is less than or equal to $2^m$ where $P=\{\lambda_1e_1 + \lambda_2e_2 + \cdots + \lambda_ne_n : \lambda_i=0,1\}$.
2021 Science ON grade XII, 2
Consider an odd prime $p$. A comutative ring $(A,+, \cdot)$ has the property that $ab=0$ implies $a^p=0$ or $b^p=0$. Moreover, $\underbrace{1+1+\cdots +1}_{p \textnormal{ times}} =0$. Take $x,y\in A$ such that there exist $m,n\geq 1$, $m\neq n$ with $x+y=x^my=x^ny$, and also $y$ is not invertible. \\ \\
$\textbf{(a)}$ Prove that $(a+b)^p=a^p+b^p$ and $(a+b)^{p^2}=a^{p^2}+b^{p^2}$ for all $a,b\in A$.\\
$\textbf{(b)}$ Prove that $x$ and $y$ are nilpotent.\\
$\textbf{(c)}$ If $y$ is invertible, does the conclusion that $x$ is nilpotent stand true?
\\ \\
[i] (Bogdan Blaga)[/i]
2004 Silk Road, 4
Natural $n \geq 2$ is given. Group of people calls $n-compact$, if for any men from group, we can found $n$ people (without he), each two of there are familiar.
Find maximum $N$ such that for any $n-compact$ group, consisting $N$ people contains subgroup from $n+1$ people, each of two of there are familiar.
2021 IMO Shortlist, N8
Find all positive integers $n$ for which there exists a polynomial $P(x) \in \mathbb{Z}[x]$ such that for every positive integer $m\geq 1$, the numbers $P^m(1), \ldots, P^m(n)$ leave exactly $\lceil n/2^m\rceil$ distinct remainders when divided by $n$. (Here, $P^m$ means $P$ applied $m$ times.)
[i]Proposed by Carl Schildkraut, USA[/i]
2009 Miklós Schweitzer, 7
Let $ H$ be an arbitrary subgroup of the diffeomorphism group $ \mathsf{Diff}^\infty(M)$ of a differentiable manifold $ M$. We say that an $ \mathcal C^\infty$-vector field $ X$ is [i]weakly tangent[/i] to the group $ H$, if there exists a positive integer $ k$ and a $ \mathcal C^\infty$-differentiable map $ \varphi \mathrel{: } \mathord{]} \minus{} \varepsilon,\varepsilon\mathord{[}^k\times M\to M$ such that
(i) for fixed $ t_1,\dots,t_k$ the map
\[ \varphi_{t_1,\dots,t_k} : x\in M\mapsto \varphi(t_1,\dots,t_k,x)\]
is a diffeomorphism of $ M$, and $ \varphi_{t_1,\dots,t_k}\in H$;
(ii) $ \varphi_{t_1,\dots,t_k}\in H \equal{} \mathsf{Id}$ whenever $ t_j \equal{} 0$ for some $ 1\leq j\leq k$;
(iii) for any $ \mathcal C^\infty$-function $ f: M\to \mathbb R$
\[ X f \equal{} \left.\frac {\partial^k(f\circ\varphi_{t_1,\dots,t_k})}{\partial t_1\dots\partial t_k}\right|_{(t_1,\dots,t_k) \equal{} (0,\dots,0)}.\]
Prove, that the commutators of $ \mathcal C^\infty$-vector fields that are weakly tangent to $ H\subset \textsf{Diff}^\infty(M)$ are also weakly tangent to $ H$.
2012 VJIMC, Problem 3
Let $(A,+,\cdot)$ be a ring with unity, having the following property: for all $x\in A$ either $x^2=1$ or $x^n=0$ for some $n\in\mathbb N$. Show that $A$ is a commutative ring.
2016 District Olympiad, 1
A ring $ A $ has property [i](P),[/i] if $ A $ is finite and there exists $ (\{ 0\}\neq R,+)\le (A,+) $ such that $ (U(A),\cdot )\cong (R,+) . $ Show that:
[b]a)[/b] If a ring has property [i](P),[/i] then, the number of its elements is even.
[b]b)[/b] There are infinitely many rings of distinct order that have property [i](P).[/i]
1977 IMO Longlists, 34
Let $B$ be a set of $k$ sequences each having $n$ terms equal to $1$ or $-1$. The product of two such sequences $(a_1, a_2, \ldots , a_n)$ and $(b_1, b_2, \ldots , b_n)$ is defined as $(a_1b_1, a_2b_2, \ldots , a_nb_n)$. Prove that there exists a sequence $(c_1, c_2, \ldots , c_n)$ such that the intersection of $B$ and the set containing all sequences from $B$ multiplied by $(c_1, c_2, \ldots , c_n)$ contains at most $\frac{k^2}{2^n}$ sequences.
PEN J Problems, 2
Show that for all $n \in \mathbb{N}$, \[n = \sum^{}_{d \vert n}\phi(d).\]
2022 China Team Selection Test, 3
Given a positive integer $n \ge 2$. Find all $n$-tuples of positive integers $(a_1,a_2,\ldots,a_n)$, such that $1<a_1 \le a_2 \le a_3 \le \cdots \le a_n$, $a_1$ is odd, and
(1) $M=\frac{1}{2^n}(a_1-1)a_2 a_3 \cdots a_n$ is a positive integer;
(2) One can pick $n$-tuples of integers $(k_{i,1},k_{i,2},\ldots,k_{i,n})$ for $i=1,2,\ldots,M$ such that for any $1 \le i_1 <i_2 \le M$, there exists $j \in \{1,2,\ldots,n\}$ such that $k_{i_1,j}-k_{i_2,j} \not\equiv 0, \pm 1 \pmod{a_j}$.
2024 TASIMO, 6
We call a positive integer $n\ge 4$[i] beautiful[/i] if there exists some permutation $$\{x_1,x_2,\dots ,x_{n-1}\}$$ of $\{1,2,\dots ,n-1\}$ such that $\{x^1_1,\ x^2_2,\ \dots,x^{n-1}_{n-1}\}$ gives all the residues $\{1,2,\dots, n-1\}$ modulo $n$. Prove that if $n$ is beautiful then $n=2p,$ for some prime number $p.$
2009 Romania National Olympiad, 3
Find the natural numbers $ n\ge 2 $ which have the property that the ring of integers modulo $ n $ has exactly an element that is not a sum of two squares.
2006 Iran MO (3rd Round), 5
For each $n$, define $L(n)$ to be the number of natural numbers $1\leq a\leq n$ such that $n\mid a^{n}-1$. If $p_{1},p_{2},\ldots,p_{k}$ are the prime divisors of $n$, define $T(n)$ as $(p_{1}-1)(p_{2}-1)\cdots(p_{k}-1)$.
a) Prove that for each $n\in\mathbb N$ we have $n\mid L(n)T(n)$.
b) Prove that if $\gcd(n,T(n))=1$ then $\varphi(n) | L(n)T(n)$.
1994 Miklós Schweitzer, 2
For which finite group G does there exist natural number s with the following property: for any subgroup H of a finite direct power of G, each subgroup of H is produced as an intersection of subgroups of H with index at most s.
not sure of translation.
2005 All-Russian Olympiad, 1
Find the maximal possible finite number of roots of the equation $|x-a_1|+\dots+|x-a_{50}|=|x-b_1|+\dots+|x-b_{50}|$, where $a_1,\,a_2,\,\dots,a_{50},\,b_1,\dots,\,b_{50}$ are distinct reals.