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).

Find the orders of the subgroups of the group of rotations of the cube, and find its normal subgroups.

$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$

Let be a set $ A\in (0,\infty )\setminus\{ 1\} $ and two operations $ *,\circ :A^2\longrightarrow A $ defined as $$ x*y=x^{2\log_3 y} ,\quad x\circ y= x^{3\log_2y} , $$ and chosen such that $ (A,*) , (A,\circ ) $ are groups. Prove that these groups are isomorphic. [i]Gabriel Iorgulescu[/i]

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\}$.

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.

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$.

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.

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]

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.

Show that for all $n \in \mathbb{N}$, \[n = \sum^{}_{d \vert n}\phi(d).\]

An [I]automorphism[/i] of a group \(\left(G,*\right)\) is a bijective function \(f:G\to G\) satisfying \(f(x*y)=f(x)*f(y)\) for all \(x,y\in G\). Find a group \((G,*)\) with fewer than \((201.6)^2=40642.56\) unique elements and exactly \(2016^2\) unique automorphisms. [i]Proposed by the ICMC Problem Committee[/i]

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)$.

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.

$n$ is a natural number that $\frac{x^{n}+1}{x+1}$ is irreducible over $\mathbb Z_{2}[x]$. Consider a vector in $\mathbb Z_{2}^{n}$ that it has odd number of $1$'s (as entries) and at least one of its entries are $0$. Prove that these vector and its translations are a basis for $\mathbb Z_{2}^{n}$

Let $p$ be a prime number. For any $\sigma \in S_p$ (the permutation group of $\{1,2,...,p \}),$ define the matrix $A_{\sigma}=(a_{ij}) \in \mathcal{M}_p(\mathbb{Z})$ as $a_{ij} = \sigma^{i-1}(j),$ where $\sigma^0$ is the identity permutation and $\sigma^k = \underbrace{\sigma \circ \sigma \circ ... \circ \sigma}_k.$ Prove that $D = \{ |\det A_{\sigma}| : \sigma \in S_p \}$ has at most $1+ (p-2)!$ elements.

Decompose a $5$-dimensional real linear space into the irreducible invariant subspaces of the group generated by cyclic permutations of the basis vectors.

Let $\mathcal K$ be a field of characteristic $p$, $p \equiv 1 \left( \bmod 4 \right)$. (a) Prove that $-1$ is the square of an element from $\mathcal K.$ (b) Prove that any element $\neq 0$ from $\mathcal K$ can be written as the sum of three squares, each $\neq 0$, of elements from $\mathcal K$. (c) Can $0$ be written in the same way? [i]Marian Andronache[/i]

We say that the rank of a group $ G$ is at most $ r$ if every subgroup of $ G$ can be generated by at most $ r$ elements. Prove that here exists an integer $ s$ such that for every finite group $ G$ of rank $ 2$ the commutator series of $ G$ has length less than $ s$. [i]J. Erdos[/i]

Let $ G $ be a finite group of odd order having, at least, three elements. For $ a\in G $ denote $ n(a) $ as the number of ways $ a $ can be written as a product of two distinct elements of $ G. $ Prove that $ \sum_{\substack{a\in G\\a\neq\text{id}}} n(a) $ is a perfect square.

At a certain mathematical conference, every pair of mathematicians are either friends or strangers. At mealtime, every participant eats in one of two large dining rooms. Each mathematician insists upon eating in a room which contains an even number of his or her friends. Prove that the number of ways that the mathematicians may be split between the two rooms is a power of two (i.e., is of the form $ 2^k$ for some positive integer $ k$).

Prove that $ C_G\left( N_G(H) \right)\subset N_G\left( C_G(H) \right) , $ for any subgroup $ H $ of $ G, $ and characterize the groups $ G $ for which equality in this relation holds for all $ H\le G. $ [i]Here,[/i] $ C_G,N_G $ [i]are the centralizer, respectively, the normalizer of[/i] $ G. $

Let $ S $ be a finite [url=https://en.wikipedia.org/wiki/Cancellation_property]cancellative semigroup.[/url] [b]a)[/b] Prove that $ S $ contains an idempotent element. [b]b)[/b] Prove that $ S $ is a group. [b]c)[/b] Disprove subpoint [b]b)[/b] in the case that $ S $ would not be finite. [i]Vlad Mihaly[/i]

Does there exist a finite group $ G$ with a normal subgroup $ H$ such that $ |\text{Aut } H| > |\text{Aut } G|$? Disprove or provide an example. Here the notation $ |\text{Aut } X|$ for some group $ X$ denotes the number of isomorphisms from $ X$ to itself.

[b]a)[/b] Find the group $ H $ that is isomorphic with the multiplicative group of positive real numbers, having an isomorphism $$ \iota :(0,\infty )\longrightarrow H,\quad\iota (x)=\frac{x-1}{x+1} . $$ [b]b)[/b] Calculate the $ 2012\text{-th} $ power of an arbitrary element of $ H. $