Found problems: 339
2007 Romania National Olympiad, 4
Let $n\geq 3$ be an integer and $S_{n}$ the permutation group. $G$ is a subgroup of $S_{n}$, generated by $n-2$ transpositions. For all $k\in\{1,2,\ldots,n\}$, denote by $S(k)$ the set $\{\sigma(k) \ : \ \sigma\in G\}$.
Show that for any $k$, $|S(k)|\leq n-1$.
2011 Miklós Schweitzer, 4
Let G, H be two finite groups, and let $\varphi, \psi: G \to H$ be two surjective but non-injective homomorphisms. Prove that there exists an element of G that is not the identity element of G but whose images under $\varphi$ and $\psi$ are the same.
2017 China Team Selection Test, 2
Find the least positive number m such that for any polynimial f(x) with real coefficients, there is a polynimial g(x) with real coefficients (degree not greater than m) such that there exist 2017 distinct number $a_1,a_2,...,a_{2017}$ such that $g(a_i)=f(a_{i+1})$ for i=1,2,...,2017 where indices taken modulo 2017.
1978 Germany Team Selection Test, 4
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.
2011 District Olympiad, 4
Let be a ring $ A. $ Denote with $ N(A) $ the subset of all nilpotent elements of $ A, $ with $ Z(A) $ the center of $ A, $ and with $ U(A) $ the units of $ A. $ Prove:
[b]a)[/b] $ Z(A)=A\implies N(A)+U(A)=U(A) . $
[b]b)[/b] $ \text{card} (A)\in\mathbb{N}\wedge a+U(A)\subset U(A)\implies a\in N(A) . $
1987 Greece National Olympiad, 1
a) Prove that every sub-group $(A,+)$ of group $(\mathbb{Z},+)$ is in the form $A=n \cdot \mathbb{Z}$ for some $n \in \mathbb{Z}$ where $n \cdot \mathbb{Z}=\{n \cdot x/x\in\mathbb{Z}\}$.
b) Using problem (a) , prove that the greatest common divisor $d$ of non zero integers $a_1, a_2,... ,a_n$ is given by relation $d=\lambda_1a_1+\lambda_2 a_2+...\lambda_n a_n$ with $\lambda_i\in\mathbb{Z}, \,\, i=1,2,...,n$
1951 Miklós Schweitzer, 14
For which commutative finite groups is the product of all elements equal to the unit element?
2014 Korea - Final Round, 5
Let $p>5$ be a prime. Suppose that there exist integer $k$ such that $ k^2 + 5 $ is divisible by $p$. Prove that there exist two positive integers $m,n$ satisfying $ p^2 = m^2 + 5n^2 $.
2014 Romania National Olympiad, 4
Let be a finite group $ G $ that has an element $ a\neq 1 $ for which exists a prime number $ p $ such that $ x^{1+p}=a^{-1}xa, $ for all $ x\in G. $
[b]a)[/b] Prove that the order of $ G $ is a power of $ p. $
[b]b)[/b] Show that $ H:=\{x\in G|\text{ord} (x)=p\}\le G $ and $ \text{ord}^2(H)>\text{ord}(G). $
2010 Canada National Olympiad, 4
Each vertex of a finite graph can be coloured either black or white. Initially all vertices are black. We are allowed to pick a vertex $P$ and change the colour of $P$ and all of its neighbours. Is it possible to change the colour of every vertex from black to white by a
sequence of operations of this type?
Note: A finite graph consists of a finite set of vertices and a finite set of edges between vertices. If there is an edge between vertex $A$ and vertex $B,$ then $A$ and $B$ are neighbours of each other.
1985 Traian Lălescu, 2.3
Let $ 0\neq\varrho\in\text{Hom}\left( \mathbb{Z}_4,\mathbb{Z}_2\right) ,$ $ \text{id}\neq\iota\in\text{Aut}\left( \mathbb{Z}_4\right) ,$ $ G:=\left\{ (x,y)\in\mathbb{Z}_4^2\big|x-y\in\ker\varrho\right\} , $ and $ \rho_1,\rho_2, $ the canonic projections of $ G $ into $ \mathbb{Z}_4. $
Prove that there exists an unique $ \nu\in\text{Hom}\left( \mathbb{Z}_4,G\right) $ such that $ \rho_1\circ\nu=\text{id} $ and $ \rho_2\circ\nu =\iota . $ Determine numerically this morphism.
2018 PUMaC Team Round, 16
Let $N$ be the number of subsets $B$ of the set $\{1,2,\dots,2018\}$ such that the sum of the elements of $B$ is congruent to $2018$ modulo $2048$. Find the remainder when $N$ is divided by $1000$.
2020 Miklós Schweitzer, 10
Let $f$ be a polynomial of degree $n$ with integer coefficients and $p$ a prime for which $f$, considered modulo $p$, is a degree-$k$ irreducible polynomial over $\mathbb{F}_p$. Show that $k$ divides the degree of the splitting field of $f$ over $\mathbb{Q}$.
1964 Miklós Schweitzer, 3
Prove that the intersection of all maximal left ideals of a ring is a (two-sided) ideal.
2005 Miklós Schweitzer, 4
Let F be a countable free group and let $F = H_1> H_2> H_3> \cdots$ be a descending chain of finite index subgroups of group F. Suppose that $\cap H_i$ does not contain any nontrivial normal subgroups of F. Prove that there exist $g_i\in F$ for which the conjugated subgroups $H_i^{g_i}$ also form a chain, and $\cap H_i^{g_i}=\{1\}$.
[hide=Note]Nielsen-Schreier Theorem might be useful.[/hide]
1986 Traian Lălescu, 2.2
Prove that $ \left( \left.\left\{\begin{pmatrix} a & b & c \\ 3c & a & b \\ 3b & 3c & a\end{pmatrix} \right| a,b,c\in\mathbb{Q}\right\} ,+,\cdot\right) $ is a field.
2006 Pre-Preparation Course Examination, 4
If $d\in \mathbb{Q}$, is there always an $\omega \in \mathbb{C}$ such that $\omega ^n=1$ for some $n\in \mathbb{N}$ and $\mathbb{Q}(\sqrt{d})\subseteq \mathbb{Q}(\omega)$?
2011 IMC, 5
Let $n$ be a positive integer and let $V$ be a $(2n-1)$-dimensional vector space over the two-element field. Prove that for arbitrary vectors $v_1,\dots,v_{4n-1} \in V,$ there exists a sequence $1\leq i_1<\dots<i_{2n}\leq 4n-1$ of indices such that $v_{i_1}+\dots+v_{i_{2n}}=0.$
1987 Traian Lălescu, 2.1
Any polynom, with coefficients in a given division ring, that is irreducible over it, is also irreducible over a given extension skew ring of it that's finite. Prove that the ring and its extension coincide.
2010 Miklós Schweitzer, 4
Prove that if $ n \geq 2 $ and $ I_ {1}, I_ {2}, \ldots, I_ {n} $ are idealized in a unit-element commutative ring such that any nonempty $ H \subseteq \{ 1,2, \dots, n \} $ then if $ \sum_ {h \in H} I_ {h} $ Is ideal
$$
I_ {2} I_ {3} I_ {4} \dots I_ {n} + I_ {1} I_ {3} I_ {4} \dots I_ {n} + \dots + I_ {1} I_ {2} \dots I_ {n-1}
$$also Is ideal.
2000 Romania National Olympiad, 3
We say that the abelian group $ G $ has property [i](P)[/i] if, for any commutative group $ H, $ any $ H’\le H $ and any momorphism $ \mu’:H\longrightarrow G, $ there exists a morphism $ \mu :H\longrightarrow G $ such that $ \mu\bigg|_{H’} =\mu’ . $ Show that:
[b]a)[/b] the group $ \left( \mathbb{Q}^*,\cdot \right) $ hasn’t property [i](P).[/i]
[b]b)[/b] the group $ \left( \mathbb{Q}, +\right) $ has property [i](P).[/i]
2023 Bulgaria National Olympiad, 3
Let $f(x)$ be a polynomial with positive integer coefficients. For every $n\in\mathbb{N}$, let $a_{1}^{(n)}, a_{2}^{(n)}, \dots , a_{n}^{(n)}$ be fixed positive integers that give pairwise different residues modulo $n$ and let
\[g(n) = \sum\limits_{i=1}^{n} f(a_{i}^{(n)}) = f(a_{1}^{(n)}) + f(a_{2}^{(n)}) + \dots + f(a_{n}^{(n)})\]
Prove that there exists a constant $M$ such that for all integers $m>M$ we have $\gcd(m, g(m))>2023^{2023}$.
2005 District Olympiad, 4
Let $(A,+,\cdot)$ be a finite unit ring, with $n\geq 3$ elements in which there exist [b]exactly[/b] $\dfrac {n+1}2$ perfect squares (e.g. a number $b\in A$ is called a perfect square if and only if there exists an $a\in A$ such that $b=a^2$). Prove that
a) $1+1$ is invertible;
b) $(A,+,\cdot)$ is a field.
[i]Proposed by Marian Andronache[/i]
2009 Putnam, A5
Is there a finite abelian group $ G$ such that the product of the orders of all its elements is $ 2^{2009}?$
2017 Romania Team Selection Test, P1
a) Determine all 4-tuples $(x_0,x_1,x_2,x_3)$ of pairwise distinct intergers such that each $x_k$ is coprime to $x_{k+1}$(indices reduces modulo 4) and the cyclic sum $\frac{x_0}{x_1}+\frac{x_1}{x_2}+\frac{x_2}{x_3}+\frac{x_3}{x_1}$ is an interger.
b)Show that there are infinitely many 5-tuples $(x_0,x_1,x_2,x_3,x_4)$ of pairwise distinct intergers such that each $x_k$ is coprime to $x_{k+1}$(indices reduces modulo 5) and the cyclic sum $\frac{x_0}{x_1}+\frac{x_1}{x_2}+\frac{x_2}{x_3}+\frac{x_3}{x_4}+\frac{x_4}{x_0}$ is an interger.