$n$ being a given integer, find all functions $f\colon \mathbb{Z} \to \mathbb{Z}$, such that for all integers $x,y$ we have $f\left( {x + y + f(y)} \right) = f(x) + ny$.

Let $k$, $n$ be fixed positive integers. In a circular table, there are placed pins numbered successively with the numbers $1, 2 \dots, n$, with $1$ and $n$ neighbors. It is known that pin $1$ is golden and the others are white. Arnaldo and Bernaldo play a game, in which a ring is placed initially on one of the pins and at each step it changes position. The game begins with Bernaldo choosing a starting pin for the ring, and the first step consists of the following: Arnaldo chooses a positive integer $d$ any and Bernaldo moves the ring $d$ pins clockwise or counterclockwise (positions are considered modulo $n$, i.e., pins $x$, $y$ equal if and only if $n$ divides $x-y$). After that, the ring changes its position according to one of the following rules, to be chosen at every step by Arnaldo: [b]Rule 1:[/b] Arnaldo chooses a positive integer $d$ and Bernaldo moves the ring $d$ pins clockwise or counterclockwise. [b]Rule 2:[/b] Arnaldo chooses a direction (clockwise or counterclockwise), and Bernaldo moves the ring in the chosen direction in $d$ or $kd$ pins, where $d$ is the size of the last displacement performed. Arnaldo wins if, after a finite number of steps, the ring is moved to the golden pin. Determine, as a function of $k$, the values of $n$ for which Arnaldo has a strategy that guarantees his victory, no matter how Bernaldo plays.

$L$ is a fullrank lattice in $\mathbb R^{2}$ and $K$ is a sub-lattice of $L$, that $\frac{A(K)}{A(L)}=m$. If $m$ is the least number that for each $x\in L$, $mx$ is in $K$. Prove that there exists a basis $\{x_{1},x_{2}\}$ for $L$ that $\{x_{1},mx_{2}\}$ is a basis for $K$.

There are $n$ boxes ${B_1},{B_2},\ldots,{B_n}$ from left to right, and there are $n$ balls in these boxes. If there is at least $1$ ball in ${B_1}$, we can move one to ${B_2}$. If there is at least $1$ ball in ${B_n}$, we can move one to ${B_{n - 1}}$. If there are at least $2$ balls in ${B_k}$, $2 \leq k \leq n - 1$ we can move one to ${B_{k - 1}}$, and one to ${B_{k + 1}}$. Prove that, for any arrangement of the $n$ balls, we can achieve that each box has one ball in it.

a) If $K$ is a finite extension of the field $F$ and $K=F(\alpha,\beta)$ show that $[K: F]\leq [F(\alpha): F][F(\beta): F]$ b) If $gcd([F(\alpha): F],[F(\beta): F])=1$ then does the above inequality always become equality? c) By giving an example show that if $gcd([F(\alpha): F],[F(\beta): F])\neq 1$ then equality might happen.

Define the operation $ (a,b)\circ (c,d) =(ac,ad+b). $ [b]a)[/b] Prove that $ \left( \mathbb{Q}\setminus\{ 0\}\times\mathbb{Q} ,\circ \right) $ is a group. [b]b)[/b] Let $ H $ be an infinite subgroup of $ \left( \mathbb{Q}\setminus\{ 0\}\times\mathbb{Q} ,\circ \right) $ that is cyclic and doesn't contain any element of the form $ (1,q) , $ where $ q $ is a nonzero rational. Show that there exist two rational numbers $ a,b $ such that $$ H=\left\{ \left.\left( a^n, b\cdot\frac{1-a^n}{1-a} \right)\right| n\in\mathbb{Z} \right\} $$

Is it true that if a subgroup $G \leq \text{Sym}(\mathbb{N})$ is $n$-transitive for every positive integer $n$, then every group automorphism of $G$ extends to a group automorphism of $\text{Sym}(\mathbb{N})$?

Let's say a positive integer $ n$ is [i]atresvido[/i] if the set of its divisors (including 1 and $ n$) can be split in in 3 subsets such that the sum of the elements of each is the same. Determine the least number of divisors an atresvido number can have.

Let $(G,\cdot)$ be a finite group of order $n$. Show that each element of $G$ is a square if and only if $n$ is odd.

Prove that a field $K$ can be ordered if and only if every $A\in M_n(K)$ symmetric matrix can be diagonalized over the algebraic closure of $K$. (In other words, for all $n\in\mathbb{N}$ and all $A\in M_n(K)$, there exists an $S\in GL_n(\overline{K})$ for which $S^{-1}AS$ is diagonal.)

Determine if there exists a (three-variable) polynomial $P(x,y,z)$ with integer coefficients satisfying the following property: a positive integer $n$ is [i]not[/i] a perfect square if and only if there is a triple $(x,y,z)$ of positive integers such that $P(x,y,z) = n$.

Prove that if an infinite, noncommutative group $ G$ contains a proper normal subgroup with a commutative factor group, then $ G$ also contains an infinite proper normal subgroup. [i]B. Csakany[/i]

Call a (non-trivial) lattice class a pseudo-variety if it is closed under taking a homomorphic image, a direct product, and a convex subset. Prove that the smallest distributive pseudo-variety cannot be defined by a first-order set of formulas.

[b]a)[/b] Solve the equation $ x^2-x+2\equiv 0\pmod 7. $ [b]b)[/b] Determine the natural numbers $ n\ge 2 $ for which the equation $ x^2-x+2\equiv 0\pmod n $ has an unique solution modulo $ n. $